1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -S < %s -jump-threading | FileCheck %s
3
4define void @foo() {
5; CHECK-LABEL: @foo(
6; CHECK-NEXT:  exit2:
7; CHECK-NEXT:    ret void
8;
9entry:
10  br label %bb1
11
12entry2:
13  br label %bb1
14
15bb1:
16  %a0 = phi i32 [ undef, %entry2 ], [ 0, %entry ]
17  %b = icmp ne i32 %a0, 0
18  br i1 %b, label %bb2, label %exit2
19
20bb2:
21  br label %exit1
22
23exit1:
24  %a1 = phi i32 [ %a0, %bb2 ]
25  ret void
26
27exit2:
28  ret void
29}
30