xref: /llvm-project/llvm/test/Transforms/Scalarizer/phi-bug.ll (revision e9320b1a95a69652bba9b3ba66900b1c0e8f6b0a)
1*cee313d2SEric Christopher; RUN: opt %s -passes='function(scalarizer,verify)' -S -o - | FileCheck %s
2*cee313d2SEric Christopher
3*cee313d2SEric Christopherdefine void @f3() local_unnamed_addr {
4*cee313d2SEric Christopherbb1:
5*cee313d2SEric Christopher  br label %bb2
6*cee313d2SEric Christopher
7*cee313d2SEric Christopherbb3:
8*cee313d2SEric Christopher; CHECK-LABEL: bb3:
9*cee313d2SEric Christopher; CHECK-NEXT: br label %bb4
10*cee313d2SEric Christopher  %h.10.0.vec.insert = shufflevector <1 x i16> %h.10.1, <1 x i16> undef, <1 x i32> <i32 0>
11*cee313d2SEric Christopher  br label %bb4
12*cee313d2SEric Christopher
13*cee313d2SEric Christopherbb2:
14*cee313d2SEric Christopher; CHECK-LABEL: bb2:
15*cee313d2SEric Christopher; CHECK: phi i16
16*cee313d2SEric Christopher  %h.10.1 = phi <1 x i16> [ undef, %bb1 ]
17*cee313d2SEric Christopher  br label %bb3
18*cee313d2SEric Christopher
19*cee313d2SEric Christopherbb4:
20*cee313d2SEric Christopher; CHECK-LABEL: bb4:
21*cee313d2SEric Christopher; CHECK: phi i16
22*cee313d2SEric Christopher  %h.10.2 = phi <1 x i16> [ %h.10.0.vec.insert, %bb3 ]
23*cee313d2SEric Christopher  ret void
24*cee313d2SEric Christopher}
25