Relax an invariant that block placement was trying to assert a bit

[oota-llvm.git] / test / CodeGen / X86 / scalar_sse_minmax.ll

diff --git a/test/CodeGen/X86/scalar_sse_minmax.ll b/test/CodeGen/X86/scalar_sse_minmax.ll
index b2217f9975bd2bdfe1ec33b28d7437f156ed11bb..bc4ab5d836c78ce5fc7ebe7532a533f6918d5e57 100644 (file)
--- a/test/CodeGen/X86/scalar_sse_minmax.ll
+++ b/test/CodeGen/X86/scalar_sse_minmax.ll
@@ -1,37 +1,44 @@
-; RUN: llvm-as < %s | llc -march=x86 -mattr=+sse1,+sse2 | grep mins | wc -l | grep 2 &&
-; RUN: llvm-as < %s | llc -march=x86 -mattr=+sse1,+sse2 | grep maxs | wc -l | grep 2
+; RUN: llc < %s -march=x86 -mattr=+sse,+sse2 | \
+; RUN:   grep mins | count 3
+; RUN: llc < %s -march=x86 -mattr=+sse,+sse2 | \
+; RUN:   grep maxs | count 2
 
-declare bool %llvm.isunordered.f64( double %x, double %y )
-declare bool %llvm.isunordered.f32( float %x, float %y )
+declare i1 @llvm.isunordered.f64(double, double)
 
-implementation
+declare i1 @llvm.isunordered.f32(float, float)
 
-float %min1(float %x, float %y) {
-        %tmp = setlt float %x, %y               ; <bool> [#uses=1]
-        %retval = select bool %tmp, float %x, float %y          ; <float> [#uses=1]
-        ret float %retval
-}
-double %min2(double %x, double %y) {
-        %tmp = setlt double %x, %y
-        %retval = select bool %tmp, double %x, double %y
-        ret double %retval
+define float @min1(float %x, float %y) {
+       %tmp = fcmp olt float %x, %y            ; <i1> [#uses=1]
+       %retval = select i1 %tmp, float %x, float %y            ; <float> [#uses=1]
+       ret float %retval
 }
 
-float %max1(float %x, float %y) {
-        %tmp = setge float %x, %y               ; <bool> [#uses=1]
-        %tmp2 = tail call bool %llvm.isunordered.f32( float %x, float %y )
-        %tmp3 = or bool %tmp2, %tmp             ; <bool> [#uses=1]
-        %retval = select bool %tmp3, float %x, float %y         
-        ret float %retval
+define double @min2(double %x, double %y) {
+       %tmp = fcmp olt double %x, %y           ; <i1> [#uses=1]
+       %retval = select i1 %tmp, double %x, double %y          ; <double> [#uses=1]
+       ret double %retval
 }
 
-double %max2(double %x, double %y) {
-        %tmp = setge double %x, %y               ; <bool> [#uses=1]
-        %tmp2 = tail call bool %llvm.isunordered.f64( double %x, double %y )
-        %tmp3 = or bool %tmp2, %tmp             ; <bool> [#uses=1]
-        %retval = select bool %tmp3, double %x, double %y
-        ret double %retval
+define float @max1(float %x, float %y) {
+       %tmp = fcmp oge float %x, %y            ; <i1> [#uses=1]
+       %tmp2 = fcmp uno float %x, %y           ; <i1> [#uses=1]
+       %tmp3 = or i1 %tmp2, %tmp               ; <i1> [#uses=1]
+       %retval = select i1 %tmp3, float %x, float %y           ; <float> [#uses=1]
+       ret float %retval
 }
 
+define double @max2(double %x, double %y) {
+       %tmp = fcmp oge double %x, %y           ; <i1> [#uses=1]
+       %tmp2 = fcmp uno double %x, %y          ; <i1> [#uses=1]
+       %tmp3 = or i1 %tmp2, %tmp               ; <i1> [#uses=1]
+       %retval = select i1 %tmp3, double %x, double %y         ; <double> [#uses=1]
+       ret double %retval
+}
 
+define <4 x float> @min3(float %tmp37) {
+       %tmp375 = insertelement <4 x float> undef, float %tmp37, i32 0          ; <<4 x float>> [#uses=1]
+       %tmp48 = tail call <4 x float> @llvm.x86.sse.min.ss( <4 x float> %tmp375, <4 x float> < float 6.553500e+04, float undef, float undef, float undef > )           ; <<4 x float>> [#uses=1]
+       ret <4 x float> %tmp48
+}
 
+declare <4 x float> @llvm.x86.sse.min.ss(<4 x float>, <4 x float>)