; NOTE: Assertions have been autogenerated by utils/update_test_checks.py | |
; RUN: opt -S < %s -passes=jump-threading | FileCheck %s | |
define void @foo() { | |
; CHECK-LABEL: @foo( | |
; CHECK-NEXT: exit2: | |
; CHECK-NEXT: ret void | |
; | |
entry: | |
br label %bb1 | |
entry2: | |
br label %bb1 | |
bb1: | |
%a0 = phi i32 [ undef, %entry2 ], [ 0, %entry ] | |
%b = icmp ne i32 %a0, 0 | |
br i1 %b, label %bb2, label %exit2 | |
bb2: | |
br label %exit1 | |
exit1: | |
%a1 = phi i32 [ %a0, %bb2 ] | |
ret void | |
exit2: | |
ret void | |
} |