/* { dg-do compile } */
/* { dg-options "-Os -march=r2 -mcdx" } */

/* Check generation of R2 CDX br.n, beqz.n, bnez.n instructions.  */

int f (int a, int b, int c)
{
  if (a == 0)
    return b;
  else
    return c;
}

int g (int a, int b, int c)
{
  if (a != 0)
    return b;
  else
    return c;
}

extern int i (int);
extern int j (int);
extern int k (int);

int h (int a, int b)
{
  int x;

  /* As well as the conditional branch for the "if", there has to be
     an unconditional branch from one branch of the "if" to
     the return statement.  We compile this testcase with -Os to
     avoid insertion of a duplicate epilogue in place of the branch.  */
  if (a == b)
    x = i (37);
  else
    x = j (42);
  return x + a + k (x);
}

/* { dg-final { scan-assembler "\tbeqz\\.n\t.*" } } */
/* { dg-final { scan-assembler "\tbnez\\.n\t.*" } } */
/* { dg-final { scan-assembler "\tbeq\t|\tbne\t" } } */
/* { dg-final { scan-assembler "\tbr\\.n\t.*" } } */