[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / old-style-asm-1.c

/* PR inline-asm/8832 */
/* { dg-do compile } */
/* { dg-options "-O2 -dP" } */

/* Verify that GCC doesn't optimize
   old style asm instructions.  */

void foo(int v)
{
  if (v)
    asm ("dummy1");

  asm ("dummy2");

  if (v)
    asm ("dummy3");
}

/* The purpose of the test below is to check that there are two branches
   in the generated code, supposedly corresponding to the if-statements.
   It tries to check for jump_insn (set (pc) pattern, so that jump_insns
   corresponding to return are not taken into account.  */
/* { dg-final { scan-assembler "jump_insn.*set \\(pc\\).*jump_insn.*set \\(pc\\)"} } */
Commit	Line	Data
4c46ea23 EB	1	/* PR inline-asm/8832 */
4c46ea23 EB	2	/* { dg-do compile } */
adccacc4	3	/* { dg-options "-O2 -dP" } */
4c46ea23 EB	4
	5	/* Verify that GCC doesn't optimize
	6	old style asm instructions. */
	7
	8	void foo(int v)
	9	{
	10	if (v)
	11	asm ("dummy1");
	12
	13	asm ("dummy2");
	14
	15	if (v)
	16	asm ("dummy3");
	17	}
	18
af812813 HPN	19	/* The purpose of the test below is to check that there are two branches
af812813 HPN	20	in the generated code, supposedly corresponding to the if-statements.
adccacc4 ZD	21	It tries to check for jump_insn (set (pc) pattern, so that jump_insns
adccacc4 ZD	22	corresponding to return are not taken into account. */
1b251a0c	23	/* { dg-final { scan-assembler "jump_insn.set \\(pc\\).jump_insn.set \\(pc\\)"} } /