/* Check that eliminable compare-instructions are eliminated. */
/* { dg-do compile } */
/* { dg-options "-O2" } */
/* { dg-final { scan-assembler-not "\tcmp|\ttest" { xfail *-*-* } } } */
/* { dg-final { scan-assembler-not "\tnot" { xfail cc0 } } } */
/* { dg-final { scan-assembler-not "\tlsr" { xfail cc0 } } } */

int f(int a, int b, int *d)
{
  int c = a - b;

  /* Whoops!  We get a cmp.d with the original operands here. */
  *d = (c == 0);

  /* Whoops!  While we don't get a test.d for the result here for cc0,
     we get a sequence of insns: a move, a "not" and a shift of the
     subtraction-result, where a simple "spl" would have done. */
  return c >= 0;
}