1 /* PR tree-optimization/67953 */
2 /* { dg-do run } */
3
4 unsigned int
fn1(signed int a)5 fn1 (signed int a)
6 {
7 return (unsigned int) a - ((a / 3) * 3);
8 }
9
10 unsigned int
fn2(signed int a)11 fn2 (signed int a)
12 {
13 return a - ((a / 3) * 3);
14 }
15
16 unsigned int
fn3(int a)17 fn3 (int a)
18 {
19 return a - (unsigned) ((a / 3) * 3);
20 }
21
22 signed int
fn4(int a)23 fn4 (int a)
24 {
25 return (unsigned) a - (unsigned) ((a / 3) * 3);
26 }
27
28 int
main()29 main ()
30 {
31 if (fn1 (-5) != -2
32 || fn2 (-5) != -2
33 || fn3 (-5) != -2
34 || fn4 (-5) != -2)
35 __builtin_abort ();
36 }
37