[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / 2012-08-28-UnsafeMathCrash.ll
blob6ebbb2e97d1393e982a99d04294e476555ceb3d4
1 ; RUN: llc < %s -enable-unsafe-fp-math
2 ; <rdar://problem/12180135>
3 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32-S128"
4 target triple = "i386-apple-macosx10.8.0"
6 define i32 @foo(float %mean) nounwind readnone ssp align 2 {
7 entry:
8   %cmp = fcmp olt float %mean, -3.000000e+00
9   %f.0 = select i1 %cmp, float -3.000000e+00, float %mean
10   %cmp2 = fcmp ult float %f.0, 3.000000e+00
11   %f.1 = select i1 %cmp2, float %f.0, float 0x4007EB8520000000
12   %add = fadd float %f.1, 3.000000e+00
13   %div = fdiv float %add, 2.343750e-02
14   %0 = fpext float %div to double
15   %conv = select i1 undef, double 2.550000e+02, double %0
16   %add8 = fadd double %conv, 5.000000e-01
17   %conv9 = fptosi double %add8 to i32
18   %.conv9 = select i1 undef, i32 255, i32 %conv9
19   ret i32 %.conv9