| Mehdi Amini | 8484f92 | 2016-07-14 01:31:25 +0000 | [diff] [blame] | 1 | ; RUN: opt %s -scalarizer -S -o - | FileCheck %s | 
|  | 2 |  | 
|  | 3 | ; Don't crash | 
|  | 4 |  | 
|  | 5 | define void @foo() { | 
|  | 6 | br label %bb1 | 
|  | 7 |  | 
|  | 8 | bb2:                                        ; preds = %bb1 | 
|  | 9 | %bb2_vec = shufflevector <2 x i16> <i16 0, i16 10000>, | 
|  | 10 | <2 x i16> %bb1_vec, | 
|  | 11 | <2 x i32> <i32 0, i32 3> | 
|  | 12 | br label %bb1 | 
|  | 13 |  | 
|  | 14 | bb1:                                        ; preds = %bb2, %0 | 
|  | 15 | %bb1_vec = phi <2 x i16> [ <i16 100, i16 200>, %0 ], [ %bb2_vec, %bb2 ] | 
|  | 16 | ;CHECK: bb1: | 
|  | 17 | ;CHECK: %bb1_vec.i0 = phi i16 [ 100, %0 ], [ 0, %bb2 ] | 
|  | 18 | ;CHECK: %bb1_vec.i1 = phi i16 [ 200, %0 ], [ %bb1_vec.i1, %bb2 ] | 
|  | 19 | br i1 undef, label %bb3, label %bb2 | 
|  | 20 |  | 
|  | 21 | bb3: | 
|  | 22 | ret void | 
|  | 23 | } | 
|  | 24 |  |