gcc/testsuite/gcc.dg/tree-ssa/inline_asm-1.c

   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__));
   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"} } */