[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / 2008-09-02-VectorCrash.ll
blob7c50141421dcf3e29a6320d5e79d5549a7782a0d
1 ; RUN: opt < %s -instcombine
3 define void @entry(i32 %m_task_id, i32 %start_x, i32 %end_x, i32 %start_y, i32 %end_y) {
4         br label %1
6 ; <label>:1             ; preds = %4, %0
7         %2 = icmp slt i32 0, %end_y             ; <i1> [#uses=1]
8         br i1 %2, label %4, label %3
10 ; <label>:3             ; preds = %1
11         ret void
13 ; <label>:4             ; preds = %6, %1
14         %5 = icmp slt i32 0, %end_x             ; <i1> [#uses=1]
15         br i1 %5, label %6, label %1
17 ; <label>:6             ; preds = %4
18         %7 = srem <2 x i32> zeroinitializer, zeroinitializer            ; <<2 x i32>> [#uses=1]
19         %8 = extractelement <2 x i32> %7, i32 1         ; <i32> [#uses=1]
20         %9 = select i1 false, i32 0, i32 %8             ; <i32> [#uses=1]
21         %10 = insertelement <2 x i32> zeroinitializer, i32 %9, i32 1            ; <<2 x i32>> [#uses=1]
22         %11 = extractelement <2 x i32> %10, i32 1               ; <i32> [#uses=1]
23         %12 = insertelement <4 x i32> zeroinitializer, i32 %11, i32 3           ; <<4 x i32>> [#uses=1]
24         %13 = sitofp <4 x i32> %12 to <4 x float>               ; <<4 x float>> [#uses=1]
25         store <4 x float> %13, <4 x float>* null
26         br label %4