| /* { dg-options "-O2 -fno-signed-zeros -fdump-tree-phiopt" } */ |
| |
| float f0(float A) |
| { |
| // A == 0? A : -A same as -A |
| if (A == 0) return A; |
| return -A; |
| } |
| |
| float f1(float A) |
| { |
| // A != 0? A : -A same as A |
| if (A != 0) return A; |
| return -A; |
| } |
| float f2(float A) |
| { |
| // A >= 0? A : -A same as abs (A) |
| if (A >= 0) return A; |
| return -A; |
| } |
| float f3(float A) |
| { |
| // A > 0? A : -A same as abs (A) |
| if (A > 0) return A; |
| return -A; |
| } |
| float f4(float A) |
| { |
| // A <= 0? A : -A same as -abs (A) |
| if (A <= 0) return A; |
| return -A; |
| } |
| float f5(float A) |
| { |
| // A < 0? A : -A same as -abs (A) |
| if (A < 0) return A; |
| return -A; |
| } |
| |
| /* These should be optimized in phiopt1 but is confused by predicts. */ |
| /* { dg-final { scan-tree-dump-not "if" "phiopt1" { xfail *-*-* } } } */ |
| /* { dg-final { scan-tree-dump-not "if" "phiopt2" } } */ |
| |
