111
|
1 /* { dg-do compile } */
|
|
2 /* { dg-require-effective-target int128 } */
|
|
3 /* { dg-options "-Os -fdump-tree-vrp1-details" } */
|
|
4
|
|
5 #include <stdint.h>
|
|
6 #include <limits.h>
|
|
7
|
|
8 typedef unsigned int word __attribute__((mode(word)));
|
|
9 typedef unsigned __int128 bigger_than_word;
|
|
10
|
|
11 int
|
|
12 foo (bigger_than_word a, word b, uint8_t c)
|
|
13 {
|
|
14 /* Must fold use of t1 into use of b, as b is no wider than word_mode. */
|
|
15 const uint8_t t1 = b % UCHAR_MAX;
|
|
16
|
|
17 /* Must NOT fold use of t2 into use of a, as a is wider than word_mode. */
|
|
18 const uint8_t t2 = a % UCHAR_MAX;
|
|
19
|
|
20 /* Must fold use of t3 into use of c, as c is narrower than t3. */
|
|
21 const uint32_t t3 = (const uint32_t)(c >> 1);
|
|
22
|
|
23 uint16_t ret = 0;
|
|
24
|
|
25 if (t1 == 1)
|
|
26 ret = 20;
|
|
27 else if (t2 == 2)
|
|
28 ret = 30;
|
|
29 else if (t3 == 3)
|
|
30 ret = 40;
|
|
31 /* Th extra condition below is necessary to prevent a prior pass from
|
|
32 folding away the cast. Ignored in scan-tree-dump. */
|
|
33 else if (t3 == 4)
|
|
34 ret = 50;
|
|
35
|
|
36 return ret;
|
|
37 }
|
|
38
|
|
39 /* { dg-final { scan-tree-dump "Folded into: if \\(_\[0-9\]+ == 1\\)" "vrp1" } } */
|
|
40 /* { dg-final { scan-tree-dump-not "Folded into: if \\(_\[0-9\]+ == 2\\)" "vrp1" } } */
|
|
41 /* { dg-final { scan-tree-dump "Folded into: if \\(_\[0-9\]+ == 3\\)" "vrp1" } } */
|