[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / Scalarizer / crash-bug.ll
blobd0d019564977c3d4a8b2d2e8fd8b76398de741d1
1 ; RUN: opt %s -scalarizer -S -o - | FileCheck %s
2 ; RUN: opt %s -passes='function(scalarizer)' -S -o - | FileCheck %s
4 ; Don't crash
6 define void @foo() {
7   br label %bb1
9 bb2:                                        ; preds = %bb1
10   %bb2_vec = shufflevector <2 x i16> <i16 0, i16 10000>,
11                            <2 x i16> %bb1_vec,
12                            <2 x i32> <i32 0, i32 3>
13   br label %bb1
15 bb1:                                        ; preds = %bb2, %0
16   %bb1_vec = phi <2 x i16> [ <i16 100, i16 200>, %0 ], [ %bb2_vec, %bb2 ]
17 ;CHECK: bb1:
18 ;CHECK: %bb1_vec.i0 = phi i16 [ 100, %0 ], [ 0, %bb2 ]
19 ;CHECK: %bb2_vec.i1 = phi i16 [ 200, %0 ], [ %bb2_vec.i1, %bb2 ]
20   br i1 undef, label %bb3, label %bb2
22 bb3:
23   ret void