[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / LCSSA / 2007-07-12-LICM-2.ll
blobf5d3f7e2b1c880b7b61e89c4ca8969245ec04cd0
1 ; RUN: opt < %s -loop-rotate -licm -loop-unswitch -disable-output
2 define i32 @main(i32 %argc, i8** %argv) {
3 entry:
4         br label %bb7
6 bb7:            ; preds = %bb7, %entry
7         %tmp39 = load <4 x float>, <4 x float>* null            ; <<4 x float>> [#uses=1]
8         %tmp40 = fadd <4 x float> %tmp39, < float 2.000000e+00, float 3.000000e+00, float 1.000000e+00, float 0.000000e+00 >            ; <<4 x float>> [#uses=1]
9         %tmp43 = fadd <4 x float> %tmp40, < float 1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 2.000000e+00 >            ; <<4 x float>> [#uses=1]
10         %tmp46 = fadd <4 x float> %tmp43, < float 3.000000e+00, float 0.000000e+00, float 2.000000e+00, float 4.000000e+00 >            ; <<4 x float>> [#uses=1]
11         %tmp49 = fadd <4 x float> %tmp46, < float 0.000000e+00, float 4.000000e+00, float 6.000000e+00, float 1.000000e+00 >            ; <<4 x float>> [#uses=1]
12         store <4 x float> %tmp49, <4 x float>* null
13         br i1 false, label %bb7, label %bb56
15 bb56:           ; preds = %bb7
16         ret i32 0