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