1 /* { dg-do compile } */
2 /* { dg-options "-O1 -fdump-tree-optimized -fdump-tree-alias-vops" } */
3 /* Test to make sure that inline-asm causes a VDEF and that we call test_function twice. */
4
5 char test_function(void ) __attribute__((__pure__));
f(char * a)6 char f(char *a)
7 {
8 char b = test_function();
9 asm("":"=m"(*a):"r"(b));
10 b = test_function();
11 return b;
12 }
13
14 /* test_function should be called twice as the inline-asm changes memory. */
15 /* { dg-final { scan-tree-dump-times "test_function" 2 "optimized"} } */
16
17 /* There should a VDEF for the inline-asm. */
18 /* { dg-final { scan-tree-dump-times "VDEF" 1 "alias"} } */
19