annotate gcc/testsuite/gcc.dg/tree-ssa/pr88029.c @ 152:2b5abeee2509

update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents 1830386684a0
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 "-O -w -fdump-tree-fre1-vops" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 double foo (double) __attribute__ ((pure));
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5 double (*fp) (double) __attribute__ ((const));
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 double f(double a)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 fp = foo;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 /* Verify when propagating foo to the call we preserve its constness. */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 return fp (a);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 /* { dg-final { scan-tree-dump "foo \\(a" "fre1" } } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 /* { dg-final { scan-tree-dump-times "VUSE" 1 "fre1" } } */