gcc/testsuite/gcc.dg/old-style-asm-1.c

   1 /* PR inline-asm/8832 */
   2 /* { dg-do compile } */
   3 /* { dg-options "-O2 -dP -fdisable-tree-ethread -fdisable-tree-thread1 -fdisable-tree-thread2 -fdisable-tree-thread3 -fdisable-tree-thread4" } */
   4
   5 /* Note: Threader will duplicate BBs and replace one conditional branch by an
   6    unconditional one.  */
   7
   8 /* Verify that GCC doesn't optimize
   9    old style asm instructions.  */
  10
  11 void foo(int v)
  12 {
  13   if (v)
  14     asm ("dummy1");
  15
  16   asm ("dummy2");
  17
  18   if (v)
  19     asm ("dummy3");
  20 }
  21
  22 /* The purpose of the test below is to check that there are two branches
  23    in the generated code, supposedly corresponding to the if-statements.
  24    It tries to check for jump_insn (set (pc) pattern, so that jump_insns
  25    corresponding to return are not taken into account.  */
  26 /* { dg-final { scan-assembler "jump_insn.*set \\(pc\\).*jump_insn.*set \\(pc\\)"} } */