annotate gcc/testsuite/gcc.dg/tree-ssa/20030807-6.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do compile } */
kono
parents:
diff changeset
2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 void
kono
parents:
diff changeset
6 foo (distance, i, j)
kono
parents:
diff changeset
7 int distance[13][13];
kono
parents:
diff changeset
8 int i, j;
kono
parents:
diff changeset
9 {
kono
parents:
diff changeset
10 if (distance[i][j] < 0)
kono
parents:
diff changeset
11 distance[i][0] = ((distance[i][j]) < 0 ? -(distance[i][j]) : (distance[i][j]));
kono
parents:
diff changeset
12 }
kono
parents:
diff changeset
13
kono
parents:
diff changeset
14 void
kono
parents:
diff changeset
15 foo2 (distance, i, j)
kono
parents:
diff changeset
16 int distance[13][13];
kono
parents:
diff changeset
17 int i, j;
kono
parents:
diff changeset
18 {
kono
parents:
diff changeset
19 if (distance[i][j] <= 0)
kono
parents:
diff changeset
20 distance[i][0] = ((distance[i][j]) < 0 ? -(distance[i][j]) : (distance[i][j]));
kono
parents:
diff changeset
21 }
kono
parents:
diff changeset
22
kono
parents:
diff changeset
23 void
kono
parents:
diff changeset
24 foo3 (distance, i, j)
kono
parents:
diff changeset
25 int distance[13][13];
kono
parents:
diff changeset
26 int i, j;
kono
parents:
diff changeset
27 {
kono
parents:
diff changeset
28 if (distance[i][j] > 0)
kono
parents:
diff changeset
29 distance[i][0] = ((distance[i][j]) < 0 ? -(distance[i][j]) : (distance[i][j]));
kono
parents:
diff changeset
30 }
kono
parents:
diff changeset
31
kono
parents:
diff changeset
32 void
kono
parents:
diff changeset
33 foo4 (distance, i, j)
kono
parents:
diff changeset
34 double distance[13][13];
kono
parents:
diff changeset
35 int i, j;
kono
parents:
diff changeset
36 {
kono
parents:
diff changeset
37 if (distance[i][j] >= 0)
kono
parents:
diff changeset
38 distance[i][0] = ((distance[i][j]) < 0 ? -(distance[i][j]) : (distance[i][j]));
kono
parents:
diff changeset
39 }
kono
parents:
diff changeset
40
kono
parents:
diff changeset
41 /* There should be no ABS_EXPR. */
kono
parents:
diff changeset
42 /* { dg-final { scan-tree-dump-times "ABS_EXPR " 0 "vrp1"} } */