1; RUN: opt %s -scalarizer -verify -S -o - | FileCheck %s
2; RUN: opt %s -passes='function(scalarizer,verify)' -S -o - | FileCheck %s
3
4define void @f3() local_unnamed_addr {
5bb1:
6  br label %bb2
7
8bb3:
9; CHECK-LABEL: bb3:
10; CHECK-NEXT: br label %bb4
11  %h.10.0.vec.insert = shufflevector <1 x i16> %h.10.1, <1 x i16> undef, <1 x i32> <i32 0>
12  br label %bb4
13
14bb2:
15; CHECK-LABEL: bb2:
16; CHECK: phi i16
17  %h.10.1 = phi <1 x i16> [ undef, %bb1 ]
18  br label %bb3
19
20bb4:
21; CHECK-LABEL: bb4:
22; CHECK: phi i16
23  %h.10.2 = phi <1 x i16> [ %h.10.0.vec.insert, %bb3 ]
24  ret void
25}
26