[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / 2009-02-12-SpillerBug.ll
blobacf2f6d65122d861425bddd57a4f9a432a636019
1 ; RUN: llc < %s -mtriple=i386-apple-darwin8
2 ; PR3561
4 define hidden void @__mulxc3({ x86_fp80, x86_fp80 }* noalias nocapture sret %agg.result, x86_fp80 %a, x86_fp80 %b, x86_fp80 %c, x86_fp80 %d) nounwind {
5 entry:
6         %0 = fmul x86_fp80 %b, %d               ; <x86_fp80> [#uses=1]
7         %1 = fsub x86_fp80 0xK00000000000000000000, %0          ; <x86_fp80> [#uses=1]
8         %2 = fadd x86_fp80 0xK00000000000000000000, 0xK00000000000000000000             ; <x86_fp80> [#uses=1]
9         %3 = fcmp uno x86_fp80 %1, 0xK00000000000000000000              ; <i1> [#uses=1]
10         %4 = fcmp uno x86_fp80 %2, 0xK00000000000000000000              ; <i1> [#uses=1]
11         %or.cond = and i1 %3, %4                ; <i1> [#uses=1]
12         br i1 %or.cond, label %bb47, label %bb71
14 bb47:           ; preds = %entry
15         %5 = fcmp uno x86_fp80 %a, 0xK00000000000000000000              ; <i1> [#uses=1]
16         br i1 %5, label %bb60, label %bb62
18 bb60:           ; preds = %bb47
19         %6 = tail call x86_fp80 @copysignl(x86_fp80 0xK00000000000000000000, x86_fp80 %a) nounwind readnone             ; <x86_fp80> [#uses=0]
20         br label %bb62
22 bb62:           ; preds = %bb60, %bb47
23         unreachable
25 bb71:           ; preds = %entry
26         ret void
29 declare x86_fp80 @copysignl(x86_fp80, x86_fp80) nounwind readnone