annotate gcc/testsuite/gcc.dg/pr80131-1.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
131
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
1 /* { dg-do compile } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
2 /* { dg-require-effective-target int32plus } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
3 /* { dg-options "-fdump-tree-gimple" } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
4
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
5 /* Checks the simplification of:
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
6 1 << (C - x) to (1 << C) >> x, where C = precision (type) - 1
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
7 f1 is not simplified but f2, f3 and f4 are. */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
8
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
9 __INT64_TYPE__ f1 (__INT64_TYPE__ i)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
10 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
11 return (__INT64_TYPE__)1 << (31 - i);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
12 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
13
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
14 __INT64_TYPE__ f2 (__INT64_TYPE__ i)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
15 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
16 return (__INT64_TYPE__)1 << (63 - i);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
17 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
18
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
19 __UINT64_TYPE__ f3 (__INT64_TYPE__ i)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
20 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
21 return (__UINT64_TYPE__)1 << (63 - i);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
22 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
23
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
24 __INT32_TYPE__ f4 (__INT32_TYPE__ i)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
25 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
26 return (__INT32_TYPE__)1 << (31 - i);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
27 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
28
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
29 /* { dg-final { scan-tree-dump-times "= 31 -" 1 "gimple" } } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
30 /* { dg-final { scan-tree-dump-times "9223372036854775808 >>" 2 "gimple" } } */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
31 /* { dg-final { scan-tree-dump "2147483648 >>" "gimple" } } */