1  /* { dg-options "-O2 -fno-signed-zeros -fdump-tree-phiopt" } */
       2  
       3  float f0(float A)
       4  {
       5  //     A == 0? A : -A    same as -A
       6    if (A == 0)  return A;
       7    return -A;
       8  }
       9  
      10  float f1(float A)
      11  {
      12  //     A != 0? A : -A    same as A
      13    if (A != 0)  return A;
      14    return -A;
      15  }
      16  float f2(float A)
      17  {
      18  //     A >= 0? A : -A    same as abs (A)
      19    if (A >= 0)  return A;
      20    return -A;
      21  }
      22  float f3(float A)
      23  {
      24  //     A > 0?  A : -A    same as abs (A)
      25    if (A > 0)  return A;
      26    return -A;
      27  }
      28  float f4(float A)
      29  {
      30  //     A <= 0? A : -A    same as -abs (A)
      31    if (A <= 0)  return A;
      32    return -A;
      33  }
      34  float f5(float A)
      35  {
      36  //     A < 0?  A : -A    same as -abs (A)
      37    if (A < 0)  return A;
      38    return -A;
      39  }
      40  
      41  /* These should be optimized in phiopt1 but is confused by predicts. */
      42  /* { dg-final { scan-tree-dump-not "if" "phiopt1" { xfail *-*-* } } } */
      43  /* { dg-final { scan-tree-dump-not "if" "phiopt2" } } */
      44