1; RUN: opt -instsimplify -S < %s | FileCheck %s
2
3define void @foo() nounwind {
4  br i1 undef, label %1, label %4
5
6; <label>:1                                       ; preds = %1, %0
7; CHECK-NOT: phi
8; CHECK-NOT: sub
9  %2 = phi i32 [ %3, %1 ], [ undef, %0 ]
10  %3 = sub i32 0, undef
11  br label %1
12
13; <label>:4                                       ; preds = %0
14  ret void
15}
16