annotate gcc/testsuite/gcc.dg/div-cmp-1.c @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 /* { dg-do compile } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 /* { dg-options "-O2 -funsafe-math-optimizations -fdump-tree-optimized-raw" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 int
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5 cmp_mul_1 (float x)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7 return x * 3 <= 100;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 int
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 cmp_mul_2 (float x)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 return x * -5 > 100;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 int
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 div_cmp_1 (float x, float y)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 return x / 3 <= y;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22 int
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23 div_cmp_2 (float x, float y)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25 return x / 3 <= 1;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 /* { dg-final { scan-tree-dump-times "mult_expr" 1 "optimized" } } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 /* { dg-final { scan-tree-dump-not "rdiv_expr" "optimized" } } */