diff options
Diffstat (limited to 'test/CodeGen/X86/sse-minmax.ll')
-rw-r--r-- | test/CodeGen/X86/sse-minmax.ll | 212 |
1 files changed, 168 insertions, 44 deletions
diff --git a/test/CodeGen/X86/sse-minmax.ll b/test/CodeGen/X86/sse-minmax.ll index 17ffb5e..2cc31c6 100644 --- a/test/CodeGen/X86/sse-minmax.ll +++ b/test/CodeGen/X86/sse-minmax.ll @@ -1,4 +1,5 @@ ; RUN: llc < %s -march=x86-64 -asm-verbose=false | FileCheck %s +; RUN: llc < %s -march=x86-64 -asm-verbose=false -enable-unsafe-fp-math | FileCheck -check-prefix=uNSAFE %s ; Some of these patterns can be matched as SSE min or max. Some of ; then can be matched provided that the operands are swapped. @@ -12,6 +13,9 @@ ; CHECK: ogt: ; CHECK-NEXT: maxsd %xmm1, %xmm0 ; CHECK-NEXT: ret +; uNSAFE: ogt: +; uNSAFE-NEXT: maxsd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @ogt(double %x, double %y) nounwind { %c = fcmp ogt double %x, %y %d = select i1 %c, double %x, double %y @@ -21,6 +25,9 @@ define double @ogt(double %x, double %y) nounwind { ; CHECK: olt: ; CHECK-NEXT: minsd %xmm1, %xmm0 ; CHECK-NEXT: ret +; uNSAFE: olt: +; uNSAFE-NEXT: minsd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @olt(double %x, double %y) nounwind { %c = fcmp olt double %x, %y %d = select i1 %c, double %x, double %y @@ -31,6 +38,10 @@ define double @olt(double %x, double %y) nounwind { ; CHECK-NEXT: minsd %xmm0, %xmm1 ; CHECK-NEXT: movapd %xmm1, %xmm0 ; CHECK-NEXT: ret +; uNSAFE: ogt_inverse: +; uNSAFE-NEXT: minsd %xmm0, %xmm1 +; uNSAFE-NEXT: movapd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @ogt_inverse(double %x, double %y) nounwind { %c = fcmp ogt double %x, %y %d = select i1 %c, double %y, double %x @@ -41,6 +52,10 @@ define double @ogt_inverse(double %x, double %y) nounwind { ; CHECK-NEXT: maxsd %xmm0, %xmm1 ; CHECK-NEXT: movapd %xmm1, %xmm0 ; CHECK-NEXT: ret +; uNSAFE: olt_inverse: +; uNSAFE-NEXT: maxsd %xmm0, %xmm1 +; uNSAFE-NEXT: movapd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @olt_inverse(double %x, double %y) nounwind { %c = fcmp olt double %x, %y %d = select i1 %c, double %y, double %x @@ -49,6 +64,9 @@ define double @olt_inverse(double %x, double %y) nounwind { ; CHECK: oge: ; CHECK-NEXT: ucomisd %xmm1, %xmm0 +; uNSAFE: oge: +; uNSAFE-NEXT: maxsd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @oge(double %x, double %y) nounwind { %c = fcmp oge double %x, %y %d = select i1 %c, double %x, double %y @@ -57,6 +75,8 @@ define double @oge(double %x, double %y) nounwind { ; CHECK: ole: ; CHECK-NEXT: ucomisd %xmm0, %xmm1 +; uNSAFE: ole: +; uNSAFE-NEXT: minsd %xmm1, %xmm0 define double @ole(double %x, double %y) nounwind { %c = fcmp ole double %x, %y %d = select i1 %c, double %x, double %y @@ -65,6 +85,10 @@ define double @ole(double %x, double %y) nounwind { ; CHECK: oge_inverse: ; CHECK-NEXT: ucomisd %xmm1, %xmm0 +; uNSAFE: oge_inverse: +; uNSAFE-NEXT: minsd %xmm0, %xmm1 +; uNSAFE-NEXT: movapd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @oge_inverse(double %x, double %y) nounwind { %c = fcmp oge double %x, %y %d = select i1 %c, double %y, double %x @@ -73,6 +97,10 @@ define double @oge_inverse(double %x, double %y) nounwind { ; CHECK: ole_inverse: ; CHECK-NEXT: ucomisd %xmm0, %xmm1 +; uNSAFE: ole_inverse: +; uNSAFE-NEXT: maxsd %xmm0, %xmm1 +; uNSAFE-NEXT: movapd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @ole_inverse(double %x, double %y) nounwind { %c = fcmp ole double %x, %y %d = select i1 %c, double %y, double %x @@ -83,6 +111,10 @@ define double @ole_inverse(double %x, double %y) nounwind { ; CHECK-NEXT: pxor %xmm1, %xmm1 ; CHECK-NEXT: maxsd %xmm1, %xmm0 ; CHECK-NEXT: ret +; uNSAFE: x_ogt: +; uNSAFE-NEXT: pxor %xmm1, %xmm1 +; uNSAFE-NEXT: maxsd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @x_ogt(double %x) nounwind { %c = fcmp ogt double %x, 0.000000e+00 %d = select i1 %c, double %x, double 0.000000e+00 @@ -93,6 +125,10 @@ define double @x_ogt(double %x) nounwind { ; CHECK-NEXT: pxor %xmm1, %xmm1 ; CHECK-NEXT: minsd %xmm1, %xmm0 ; CHECK-NEXT: ret +; uNSAFE: x_olt: +; uNSAFE-NEXT: pxor %xmm1, %xmm1 +; uNSAFE-NEXT: minsd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @x_olt(double %x) nounwind { %c = fcmp olt double %x, 0.000000e+00 %d = select i1 %c, double %x, double 0.000000e+00 @@ -104,6 +140,11 @@ define double @x_olt(double %x) nounwind { ; CHECK-NEXT: minsd %xmm0, %xmm1 ; CHECK-NEXT: movapd %xmm1, %xmm0 ; CHECK-NEXT: ret +; uNSAFE: x_ogt_inverse: +; uNSAFE-NEXT: pxor %xmm1, %xmm1 +; uNSAFE-NEXT: minsd %xmm0, %xmm1 +; uNSAFE-NEXT: movapd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @x_ogt_inverse(double %x) nounwind { %c = fcmp ogt double %x, 0.000000e+00 %d = select i1 %c, double 0.000000e+00, double %x @@ -115,6 +156,11 @@ define double @x_ogt_inverse(double %x) nounwind { ; CHECK-NEXT: maxsd %xmm0, %xmm1 ; CHECK-NEXT: movapd %xmm1, %xmm0 ; CHECK-NEXT: ret +; uNSAFE: x_olt_inverse: +; uNSAFE-NEXT: pxor %xmm1, %xmm1 +; uNSAFE-NEXT: maxsd %xmm0, %xmm1 +; uNSAFE-NEXT: movapd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @x_olt_inverse(double %x) nounwind { %c = fcmp olt double %x, 0.000000e+00 %d = select i1 %c, double 0.000000e+00, double %x @@ -122,9 +168,11 @@ define double @x_olt_inverse(double %x) nounwind { } ; CHECK: x_oge: -; CHECK-NEXT: pxor %xmm1, %xmm1 -; CHECK-NEXT: maxsd %xmm1, %xmm0 -; CHECK-NEXT: ret +; CHECK: ucomisd %xmm1, %xmm0 +; uNSAFE: x_oge: +; uNSAFE-NEXT: pxor %xmm1, %xmm1 +; uNSAFE-NEXT: maxsd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @x_oge(double %x) nounwind { %c = fcmp oge double %x, 0.000000e+00 %d = select i1 %c, double %x, double 0.000000e+00 @@ -132,9 +180,11 @@ define double @x_oge(double %x) nounwind { } ; CHECK: x_ole: -; CHECK-NEXT: pxor %xmm1, %xmm1 -; CHECK-NEXT: minsd %xmm1, %xmm0 -; CHECK-NEXT: ret +; CHECK: ucomisd %xmm0, %xmm1 +; uNSAFE: x_ole: +; uNSAFE-NEXT: pxor %xmm1, %xmm1 +; uNSAFE-NEXT: minsd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @x_ole(double %x) nounwind { %c = fcmp ole double %x, 0.000000e+00 %d = select i1 %c, double %x, double 0.000000e+00 @@ -142,10 +192,12 @@ define double @x_ole(double %x) nounwind { } ; CHECK: x_oge_inverse: -; CHECK-NEXT: pxor %xmm1, %xmm1 -; CHECK-NEXT: minsd %xmm0, %xmm1 -; CHECK-NEXT: movapd %xmm1, %xmm0 -; CHECK-NEXT: ret +; CHECK: ucomisd %xmm1, %xmm0 +; uNSAFE: x_oge_inverse: +; uNSAFE-NEXT: pxor %xmm1, %xmm1 +; uNSAFE-NEXT: minsd %xmm0, %xmm1 +; uNSAFE-NEXT: movapd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @x_oge_inverse(double %x) nounwind { %c = fcmp oge double %x, 0.000000e+00 %d = select i1 %c, double 0.000000e+00, double %x @@ -153,10 +205,12 @@ define double @x_oge_inverse(double %x) nounwind { } ; CHECK: x_ole_inverse: -; CHECK-NEXT: pxor %xmm1, %xmm1 -; CHECK-NEXT: maxsd %xmm0, %xmm1 -; CHECK-NEXT: movapd %xmm1, %xmm0 -; CHECK-NEXT: ret +; CHECK: ucomisd %xmm0, %xmm1 +; uNSAFE: x_ole_inverse: +; uNSAFE-NEXT: pxor %xmm1, %xmm1 +; uNSAFE-NEXT: maxsd %xmm0, %xmm1 +; uNSAFE-NEXT: movapd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @x_ole_inverse(double %x) nounwind { %c = fcmp ole double %x, 0.000000e+00 %d = select i1 %c, double 0.000000e+00, double %x @@ -164,7 +218,10 @@ define double @x_ole_inverse(double %x) nounwind { } ; CHECK: ugt: -; CHECK-NEXT: ucomisd %xmm0, %xmm1 +; CHECK: ucomisd %xmm0, %xmm1 +; uNSAFE: ugt: +; uNSAFE-NEXT: maxsd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @ugt(double %x, double %y) nounwind { %c = fcmp ugt double %x, %y %d = select i1 %c, double %x, double %y @@ -172,7 +229,10 @@ define double @ugt(double %x, double %y) nounwind { } ; CHECK: ult: -; CHECK-NEXT: ucomisd %xmm1, %xmm0 +; CHECK: ucomisd %xmm1, %xmm0 +; uNSAFE: ult: +; uNSAFE-NEXT: minsd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @ult(double %x, double %y) nounwind { %c = fcmp ult double %x, %y %d = select i1 %c, double %x, double %y @@ -180,7 +240,11 @@ define double @ult(double %x, double %y) nounwind { } ; CHECK: ugt_inverse: -; CHECK-NEXT: ucomisd %xmm0, %xmm1 +; CHECK: ucomisd %xmm0, %xmm1 +; uNSAFE: ugt_inverse: +; uNSAFE-NEXT: minsd %xmm0, %xmm1 +; uNSAFE-NEXT: movapd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @ugt_inverse(double %x, double %y) nounwind { %c = fcmp ugt double %x, %y %d = select i1 %c, double %y, double %x @@ -188,7 +252,11 @@ define double @ugt_inverse(double %x, double %y) nounwind { } ; CHECK: ult_inverse: -; CHECK-NEXT: ucomisd %xmm1, %xmm0 +; CHECK: ucomisd %xmm1, %xmm0 +; uNSAFE: ult_inverse: +; uNSAFE-NEXT: maxsd %xmm0, %xmm1 +; uNSAFE-NEXT: movapd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @ult_inverse(double %x, double %y) nounwind { %c = fcmp ult double %x, %y %d = select i1 %c, double %y, double %x @@ -196,9 +264,11 @@ define double @ult_inverse(double %x, double %y) nounwind { } ; CHECK: uge: -; CHECK-NEXT: maxsd %xmm0, %xmm1 -; CHECK-NEXT: movapd %xmm1, %xmm0 +; CHECK-NEXT: maxsd %xmm1, %xmm0 ; CHECK-NEXT: ret +; uNSAFE: uge: +; uNSAFE-NEXT: maxsd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @uge(double %x, double %y) nounwind { %c = fcmp uge double %x, %y %d = select i1 %c, double %x, double %y @@ -206,9 +276,11 @@ define double @uge(double %x, double %y) nounwind { } ; CHECK: ule: -; CHECK-NEXT: minsd %xmm0, %xmm1 -; CHECK-NEXT: movapd %xmm1, %xmm0 +; CHECK-NEXT: minsd %xmm1, %xmm0 ; CHECK-NEXT: ret +; uNSAFE: ule: +; uNSAFE-NEXT: minsd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @ule(double %x, double %y) nounwind { %c = fcmp ule double %x, %y %d = select i1 %c, double %x, double %y @@ -216,8 +288,13 @@ define double @ule(double %x, double %y) nounwind { } ; CHECK: uge_inverse: -; CHECK-NEXT: minsd %xmm1, %xmm0 +; CHECK-NEXT: minsd %xmm0, %xmm1 +; CHECK-NEXT: movapd %xmm1, %xmm0 ; CHECK-NEXT: ret +; uNSAFE: uge_inverse: +; uNSAFE-NEXT: minsd %xmm0, %xmm1 +; uNSAFE-NEXT: movapd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @uge_inverse(double %x, double %y) nounwind { %c = fcmp uge double %x, %y %d = select i1 %c, double %y, double %x @@ -225,8 +302,13 @@ define double @uge_inverse(double %x, double %y) nounwind { } ; CHECK: ule_inverse: -; CHECK-NEXT: maxsd %xmm1, %xmm0 +; CHECK-NEXT: maxsd %xmm0, %xmm1 +; CHECK-NEXT: movapd %xmm1, %xmm0 ; CHECK-NEXT: ret +; uNSAFE: ule_inverse: +; uNSAFE-NEXT: maxsd %xmm0, %xmm1 +; uNSAFE-NEXT: movapd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @ule_inverse(double %x, double %y) nounwind { %c = fcmp ule double %x, %y %d = select i1 %c, double %y, double %x @@ -234,10 +316,11 @@ define double @ule_inverse(double %x, double %y) nounwind { } ; CHECK: x_ugt: -; CHECK-NEXT: pxor %xmm1, %xmm1 -; CHECK-NEXT: maxsd %xmm0, %xmm1 -; CHECK-NEXT: movapd %xmm1, %xmm0 -; CHECK-NEXT: ret +; CHECK: ucomisd %xmm0, %xmm1 +; uNSAFE: x_ugt: +; uNSAFE-NEXT: pxor %xmm1, %xmm1 +; uNSAFE-NEXT: maxsd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @x_ugt(double %x) nounwind { %c = fcmp ugt double %x, 0.000000e+00 %d = select i1 %c, double %x, double 0.000000e+00 @@ -245,10 +328,11 @@ define double @x_ugt(double %x) nounwind { } ; CHECK: x_ult: -; CHECK-NEXT: pxor %xmm1, %xmm1 -; CHECK-NEXT: minsd %xmm0, %xmm1 -; CHECK-NEXT: movapd %xmm1, %xmm0 -; CHECK-NEXT: ret +; CHECK: ucomisd %xmm1, %xmm0 +; uNSAFE: x_ult: +; uNSAFE-NEXT: pxor %xmm1, %xmm1 +; uNSAFE-NEXT: minsd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @x_ult(double %x) nounwind { %c = fcmp ult double %x, 0.000000e+00 %d = select i1 %c, double %x, double 0.000000e+00 @@ -256,9 +340,12 @@ define double @x_ult(double %x) nounwind { } ; CHECK: x_ugt_inverse: -; CHECK-NEXT: pxor %xmm1, %xmm1 -; CHECK-NEXT: minsd %xmm1, %xmm0 -; CHECK-NEXT: ret +; CHECK: ucomisd %xmm0, %xmm1 +; uNSAFE: x_ugt_inverse: +; uNSAFE-NEXT: pxor %xmm1, %xmm1 +; uNSAFE-NEXT: minsd %xmm0, %xmm1 +; uNSAFE-NEXT: movapd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @x_ugt_inverse(double %x) nounwind { %c = fcmp ugt double %x, 0.000000e+00 %d = select i1 %c, double 0.000000e+00, double %x @@ -266,9 +353,12 @@ define double @x_ugt_inverse(double %x) nounwind { } ; CHECK: x_ult_inverse: -; CHECK-NEXT: pxor %xmm1, %xmm1 -; CHECK-NEXT: maxsd %xmm1, %xmm0 -; CHECK-NEXT: ret +; CHECK: ucomisd %xmm1, %xmm0 +; uNSAFE: x_ult_inverse: +; uNSAFE-NEXT: pxor %xmm1, %xmm1 +; uNSAFE-NEXT: maxsd %xmm0, %xmm1 +; uNSAFE-NEXT: movapd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @x_ult_inverse(double %x) nounwind { %c = fcmp ult double %x, 0.000000e+00 %d = select i1 %c, double 0.000000e+00, double %x @@ -277,9 +367,12 @@ define double @x_ult_inverse(double %x) nounwind { ; CHECK: x_uge: ; CHECK-NEXT: pxor %xmm1, %xmm1 -; CHECK-NEXT: maxsd %xmm0, %xmm1 -; CHECK-NEXT: movapd %xmm1, %xmm0 +; CHECK-NEXT: maxsd %xmm1, %xmm0 ; CHECK-NEXT: ret +; uNSAFE: x_uge: +; uNSAFE-NEXT: pxor %xmm1, %xmm1 +; uNSAFE-NEXT: maxsd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @x_uge(double %x) nounwind { %c = fcmp uge double %x, 0.000000e+00 %d = select i1 %c, double %x, double 0.000000e+00 @@ -288,9 +381,12 @@ define double @x_uge(double %x) nounwind { ; CHECK: x_ule: ; CHECK-NEXT: pxor %xmm1, %xmm1 -; CHECK-NEXT: minsd %xmm0, %xmm1 -; CHECK-NEXT: movapd %xmm1, %xmm0 +; CHECK-NEXT: minsd %xmm1, %xmm0 ; CHECK-NEXT: ret +; uNSAFE: x_ule: +; uNSAFE-NEXT: pxor %xmm1, %xmm1 +; uNSAFE-NEXT: minsd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @x_ule(double %x) nounwind { %c = fcmp ule double %x, 0.000000e+00 %d = select i1 %c, double %x, double 0.000000e+00 @@ -299,8 +395,14 @@ define double @x_ule(double %x) nounwind { ; CHECK: x_uge_inverse: ; CHECK-NEXT: pxor %xmm1, %xmm1 -; CHECK-NEXT: minsd %xmm1, %xmm0 +; CHECK-NEXT: minsd %xmm0, %xmm1 +; CHECK-NEXT: movapd %xmm1, %xmm0 ; CHECK-NEXT: ret +; uNSAFE: x_uge_inverse: +; uNSAFE-NEXT: pxor %xmm1, %xmm1 +; uNSAFE-NEXT: minsd %xmm0, %xmm1 +; uNSAFE-NEXT: movapd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @x_uge_inverse(double %x) nounwind { %c = fcmp uge double %x, 0.000000e+00 %d = select i1 %c, double 0.000000e+00, double %x @@ -309,8 +411,14 @@ define double @x_uge_inverse(double %x) nounwind { ; CHECK: x_ule_inverse: ; CHECK-NEXT: pxor %xmm1, %xmm1 -; CHECK-NEXT: maxsd %xmm1, %xmm0 +; CHECK-NEXT: maxsd %xmm0, %xmm1 +; CHECK-NEXT: movapd %xmm1, %xmm0 ; CHECK-NEXT: ret +; uNSAFE: x_ule_inverse: +; uNSAFE-NEXT: pxor %xmm1, %xmm1 +; uNSAFE-NEXT: maxsd %xmm0, %xmm1 +; uNSAFE-NEXT: movapd %xmm1, %xmm0 +; uNSAFE-NEXT: ret define double @x_ule_inverse(double %x) nounwind { %c = fcmp ule double %x, 0.000000e+00 %d = select i1 %c, double 0.000000e+00, double %x @@ -321,6 +429,8 @@ define double @x_ule_inverse(double %x) nounwind { ; CHECK: clampTo3k_a: ; CHECK: minsd +; uNSAFE: clampTo3k_a: +; uNSAFE: minsd define double @clampTo3k_a(double %x) nounwind readnone { entry: %0 = fcmp ogt double %x, 3.000000e+03 ; <i1> [#uses=1] @@ -330,6 +440,8 @@ entry: ; CHECK: clampTo3k_b: ; CHECK: minsd +; uNSAFE: clampTo3k_b: +; uNSAFE: minsd define double @clampTo3k_b(double %x) nounwind readnone { entry: %0 = fcmp uge double %x, 3.000000e+03 ; <i1> [#uses=1] @@ -339,6 +451,8 @@ entry: ; CHECK: clampTo3k_c: ; CHECK: maxsd +; uNSAFE: clampTo3k_c: +; uNSAFE: maxsd define double @clampTo3k_c(double %x) nounwind readnone { entry: %0 = fcmp olt double %x, 3.000000e+03 ; <i1> [#uses=1] @@ -348,6 +462,8 @@ entry: ; CHECK: clampTo3k_d: ; CHECK: maxsd +; uNSAFE: clampTo3k_d: +; uNSAFE: maxsd define double @clampTo3k_d(double %x) nounwind readnone { entry: %0 = fcmp ule double %x, 3.000000e+03 ; <i1> [#uses=1] @@ -357,6 +473,8 @@ entry: ; CHECK: clampTo3k_e: ; CHECK: maxsd +; uNSAFE: clampTo3k_e: +; uNSAFE: maxsd define double @clampTo3k_e(double %x) nounwind readnone { entry: %0 = fcmp olt double %x, 3.000000e+03 ; <i1> [#uses=1] @@ -366,6 +484,8 @@ entry: ; CHECK: clampTo3k_f: ; CHECK: maxsd +; uNSAFE: clampTo3k_f: +; uNSAFE: maxsd define double @clampTo3k_f(double %x) nounwind readnone { entry: %0 = fcmp ule double %x, 3.000000e+03 ; <i1> [#uses=1] @@ -375,6 +495,8 @@ entry: ; CHECK: clampTo3k_g: ; CHECK: minsd +; uNSAFE: clampTo3k_g: +; uNSAFE: minsd define double @clampTo3k_g(double %x) nounwind readnone { entry: %0 = fcmp ogt double %x, 3.000000e+03 ; <i1> [#uses=1] @@ -384,6 +506,8 @@ entry: ; CHECK: clampTo3k_h: ; CHECK: minsd +; uNSAFE: clampTo3k_h: +; uNSAFE: minsd define double @clampTo3k_h(double %x) nounwind readnone { entry: %0 = fcmp uge double %x, 3.000000e+03 ; <i1> [#uses=1] |