| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt < %s -instcombine -S | FileCheck %s |
| |
| ; Infinity |
| |
| define i1 @inf0(double %arg) { |
| ; CHECK-LABEL: @inf0( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %tmp = fcmp ogt double %arg, 0x7FF0000000000000 |
| ret i1 %tmp |
| } |
| |
| define i1 @inf1(double %arg) { |
| ; CHECK-LABEL: @inf1( |
| ; CHECK-NEXT: ret i1 true |
| ; |
| %tmp = fcmp ule double %arg, 0x7FF0000000000000 |
| ret i1 %tmp |
| } |
| |
| ; Negative infinity |
| |
| define i1 @ninf0(double %arg) { |
| ; CHECK-LABEL: @ninf0( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %tmp = fcmp olt double %arg, 0xFFF0000000000000 |
| ret i1 %tmp |
| } |
| |
| define i1 @ninf1(double %arg) { |
| ; CHECK-LABEL: @ninf1( |
| ; CHECK-NEXT: ret i1 true |
| ; |
| %tmp = fcmp uge double %arg, 0xFFF0000000000000 |
| ret i1 %tmp |
| } |
| |
| ; NaNs |
| |
| define i1 @nan0(double %arg) { |
| ; CHECK-LABEL: @nan0( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %tmp = fcmp ord double %arg, 0x7FF00000FFFFFFFF |
| ret i1 %tmp |
| } |
| |
| define i1 @nan1(double %arg) { |
| ; CHECK-LABEL: @nan1( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %tmp = fcmp oeq double %arg, 0x7FF00000FFFFFFFF |
| ret i1 %tmp |
| } |
| |
| define i1 @nan2(double %arg) { |
| ; CHECK-LABEL: @nan2( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %tmp = fcmp olt double %arg, 0x7FF00000FFFFFFFF |
| ret i1 %tmp |
| } |
| |
| define i1 @nan3(double %arg) { |
| ; CHECK-LABEL: @nan3( |
| ; CHECK-NEXT: ret i1 true |
| ; |
| %tmp = fcmp uno double %arg, 0x7FF00000FFFFFFFF |
| ret i1 %tmp |
| } |
| |
| define i1 @nan4(double %arg) { |
| ; CHECK-LABEL: @nan4( |
| ; CHECK-NEXT: ret i1 true |
| ; |
| %tmp = fcmp une double %arg, 0x7FF00000FFFFFFFF |
| ret i1 %tmp |
| } |
| |
| define i1 @nan5(double %arg) { |
| ; CHECK-LABEL: @nan5( |
| ; CHECK-NEXT: ret i1 true |
| ; |
| %tmp = fcmp ult double %arg, 0x7FF00000FFFFFFFF |
| ret i1 %tmp |
| } |
| |
| ; Negative NaN. |
| |
| define i1 @nnan0(double %arg) { |
| ; CHECK-LABEL: @nnan0( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %tmp = fcmp ord double %arg, 0xFFF00000FFFFFFFF |
| ret i1 %tmp |
| } |
| |
| define i1 @nnan1(double %arg) { |
| ; CHECK-LABEL: @nnan1( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %tmp = fcmp oeq double %arg, 0xFFF00000FFFFFFFF |
| ret i1 %tmp |
| } |
| |
| define i1 @nnan2(double %arg) { |
| ; CHECK-LABEL: @nnan2( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %tmp = fcmp olt double %arg, 0xFFF00000FFFFFFFF |
| ret i1 %tmp |
| } |
| |
| define i1 @nnan3(double %arg) { |
| ; CHECK-LABEL: @nnan3( |
| ; CHECK-NEXT: ret i1 true |
| ; |
| %tmp = fcmp uno double %arg, 0xFFF00000FFFFFFFF |
| ret i1 %tmp |
| } |
| |
| define i1 @nnan4(double %arg) { |
| ; CHECK-LABEL: @nnan4( |
| ; CHECK-NEXT: ret i1 true |
| ; |
| %tmp = fcmp une double %arg, 0xFFF00000FFFFFFFF |
| ret i1 %tmp |
| } |
| |
| define i1 @nnan5(double %arg) { |
| ; CHECK-LABEL: @nnan5( |
| ; CHECK-NEXT: ret i1 true |
| ; |
| %tmp = fcmp ult double %arg, 0xFFF00000FFFFFFFF |
| ret i1 %tmp |
| } |
| |
| ; Negative zero. |
| |
| define i1 @nzero0() { |
| ; CHECK-LABEL: @nzero0( |
| ; CHECK-NEXT: ret i1 true |
| ; |
| %tmp = fcmp oeq double 0.0, -0.0 |
| ret i1 %tmp |
| } |
| |
| define i1 @nzero1() { |
| ; CHECK-LABEL: @nzero1( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %tmp = fcmp ogt double 0.0, -0.0 |
| ret i1 %tmp |
| } |
| |
| ; Misc. |
| |
| define i1 @misc0(double %arg) { |
| ; CHECK-LABEL: @misc0( |
| ; CHECK-NEXT: [[TMP:%.*]] = fcmp ord double %arg, 0.000000e+00 |
| ; CHECK-NEXT: ret i1 [[TMP]] |
| ; |
| %tmp = fcmp oeq double %arg, %arg |
| ret i1 %tmp |
| } |
| |
| define i1 @misc1(double %arg) { |
| ; CHECK-LABEL: @misc1( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %tmp = fcmp one double %arg, %arg |
| ret i1 %tmp |
| } |
| |