| Dan Gohman | 72a13d2 | 2009-09-08 22:34:10 +0000 | [diff] [blame^] | 1 | ; RUN: opt < %s -instcombine -S | grep fcmp | count 3 |
| 2 | ; RUN: opt < %s -instcombine -S | grep ret | grep 1 |
| Evan Cheng | d885f6e | 2008-10-14 18:44:08 +0000 | [diff] [blame] | 3 | |
| 4 | define zeroext i8 @t1(float %x, float %y) nounwind { |
| 5 | %a = fcmp ueq float %x, %y ; <i1> [#uses=1] |
| 6 | %b = fcmp uno float %x, %y ; <i1> [#uses=1] |
| 7 | %c = or i1 %a, %b |
| 8 | %retval = zext i1 %c to i8 |
| 9 | ret i8 %retval |
| 10 | } |
| 11 | |
| 12 | define zeroext i8 @t2(float %x, float %y) nounwind { |
| 13 | %a = fcmp olt float %x, %y ; <i1> [#uses=1] |
| 14 | %b = fcmp oeq float %x, %y ; <i1> [#uses=1] |
| 15 | %c = or i1 %a, %b |
| 16 | %retval = zext i1 %c to i8 |
| 17 | ret i8 %retval |
| 18 | } |
| 19 | |
| 20 | define zeroext i8 @t3(float %x, float %y) nounwind { |
| 21 | %a = fcmp ult float %x, %y ; <i1> [#uses=1] |
| 22 | %b = fcmp uge float %x, %y ; <i1> [#uses=1] |
| 23 | %c = or i1 %a, %b |
| 24 | %retval = zext i1 %c to i8 |
| 25 | ret i8 %retval |
| 26 | } |
| 27 | |
| 28 | define zeroext i8 @t4(float %x, float %y) nounwind { |
| 29 | %a = fcmp ult float %x, %y ; <i1> [#uses=1] |
| 30 | %b = fcmp ugt float %x, %y ; <i1> [#uses=1] |
| 31 | %c = or i1 %a, %b |
| 32 | %retval = zext i1 %c to i8 |
| 33 | ret i8 %retval |
| 34 | } |