; RUN: opt -instsimplify -S < %s | FileCheck %s | |
define void @foo() nounwind { | |
br i1 undef, label %1, label %4 | |
; <label>:1 ; preds = %1, %0 | |
; CHECK-NOT: phi | |
; CHECK-NOT: sub | |
%2 = phi i32 [ %3, %1 ], [ undef, %0 ] | |
%3 = sub i32 0, undef | |
br label %1 | |
; <label>:4 ; preds = %0 | |
ret void | |
} |