Extend the statepoint intrinsic to allow statepoints to be marked as transitions...
[oota-llvm.git] / test / CodeGen / X86 / pr3457.ll
1 ; RUN: llc < %s -mtriple=i386-apple-darwin -mcpu=corei7 | not grep fstpt
2 ; PR3457
3 ; rdar://6548010
4
5 define void @foo(double* nocapture %P) nounwind {
6 entry:
7         %0 = tail call double (...) @test() nounwind            ; <double> [#uses=2]
8         %1 = tail call double (...) @test() nounwind            ; <double> [#uses=2]
9         %2 = fmul double %0, %0         ; <double> [#uses=1]
10         %3 = fmul double %1, %1         ; <double> [#uses=1]
11         %4 = fadd double %2, %3         ; <double> [#uses=1]
12         store double %4, double* %P, align 8
13         ret void
14 }
15
16 declare double @test(...)