/* { dg-do compile } */
/* { dg-options "-O1 -fdump-rtl-loop2_invariant" } */
/* { dg-skip-if "unexpected IV" { "hppa*-*-* mips*-*-* visium-*-* powerpc*-*-* riscv*-*-* mmix-*-* vax-*-* loongarch*-*-*" } } */
/* Load immediate on condition is available from z13 on and prevents moving
   the load out of the loop, so always run this test with -march=zEC12 that
   does not have load immediate on condition.  */
/* { dg-additional-options "-march=zEC12" { target { s390*-*-* } } } */

void
f (int *a, int *b)
{
  int i;

  i = 100;
  if (i > 0)
    {
      do
	{
	  int d = 42;

	  a[i] = d;
	  if (i % 2)
	    d = i;
	  b[i] = d;
	  ++i;
	}
      while (i < 100);
    }
}

/* Load of 42 is moved out of the loop, introducing a new pseudo register.  */
/* { dg-final { scan-rtl-dump-not "without introducing a new temporary register" "loop2_invariant" } } */