[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / Scalarizer / phi-bug.ll
blob3fd08130c53634ffb96b127f9345c3fb03c086ee
1 ; RUN: opt %s -scalarizer -verify -S -o - | FileCheck %s
2 ; RUN: opt %s -passes='function(scalarizer,verify)' -S -o - | FileCheck %s
4 define void @f3() local_unnamed_addr {
5 bb1:
6   br label %bb2
8 bb3:
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
14 bb2:
15 ; CHECK-LABEL: bb2:
16 ; CHECK: phi i16
17   %h.10.1 = phi <1 x i16> [ undef, %bb1 ]
18   br label %bb3
20 bb4:
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