diff --git a/test/Transforms/InstCombine/2008-11-08-FCmp.ll b/test/Transforms/InstCombine/2008-11-08-FCmp.ll index c747e9c77c6..c636288661b 100644 --- a/test/Transforms/InstCombine/2008-11-08-FCmp.ll +++ b/test/Transforms/InstCombine/2008-11-08-FCmp.ll @@ -1,9 +1,4 @@ -; RUN: opt < %s -instcombine -S > %t -; RUN: grep {icmp eq} %t -; RUN: grep {ret i1 false} %t | count 2 -; RUN: grep {ret i1 true} %t | count 2 -; RUN: grep {icmp ne} %t -; RUN: not grep {icmp slt} %t +; RUN: opt < %s -instcombine -S | FileCheck %s ; PR3021 ; When inst combining an FCMP with the LHS coming from a uitofp instruction, we @@ -12,6 +7,7 @@ define i1 @test1(i32 %val) { %1 = uitofp i32 %val to double %2 = fcmp ole double %1, 0.000000e+00 +; CHECK: icmp eq i32 %val, 0 ret i1 %2 } @@ -19,17 +15,20 @@ define i1 @test2(i32 %val) { %1 = uitofp i32 %val to double %2 = fcmp olt double %1, 0.000000e+00 ret i1 %2 +; CHECK: ret i1 false } define i1 @test3(i32 %val) { %1 = uitofp i32 %val to double %2 = fcmp oge double %1, 0.000000e+00 ret i1 %2 +; CHECK: ret i1 true } define i1 @test4(i32 %val) { %1 = uitofp i32 %val to double %2 = fcmp ogt double %1, 0.000000e+00 +; CHECK: icmp ne i32 %val, 0 ret i1 %2 } @@ -37,10 +36,12 @@ define i1 @test5(i32 %val) { %1 = uitofp i32 %val to double %2 = fcmp ogt double %1, -4.400000e+00 ret i1 %2 +; CHECK: ret i1 true } define i1 @test6(i32 %val) { %1 = uitofp i32 %val to double %2 = fcmp olt double %1, -4.400000e+00 ret i1 %2 +; CHECK: ret i1 false }