[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / pr27332.ll
blob87e440eed1cf12c87877390005af4c2875537953
1 ; RUN: opt -instcombine -S -o - < %s | FileCheck %s
2 declare <4 x float> @llvm.fabs.v4f32(<4 x float>)
4 define <4 x i1> @test1(<4 x float> %V) {
5 entry:
6   %abs = call <4 x float> @llvm.fabs.v4f32(<4 x float> %V)
7   %cmp = fcmp olt <4 x float> %abs, zeroinitializer
8   ret <4 x i1> %cmp
10 ; CHECK-LABEL: define <4 x i1> @test1(
11 ; CHECK:   ret <4 x i1> zeroinitializer
13 declare float @fabsf()
15 define i1 @test2() {
16   %call = call float @fabsf()
17   %cmp = fcmp olt float %call, 0.000000e+00
18   ret i1 %cmp
20 ; CHECK-LABEL: define i1 @test2(
21 ; CHECK:  %[[call:.*]] = call float @fabsf()
22 ; CHECK:  %[[cmp:.*]] = fcmp olt float %[[call]], 0.000000e+00
23 ; CHECK:  ret i1 %[[cmp]]