1; RUN: opt -jump-threading -verify-each -S -mtriple=x86_64-- -o - %s
2
3define void @foo() {
4entry:
5  br i1 false, label %A, label %B
6
7A:
8  %x = phi i32 [ undef, %entry ], [ %z, %B ]
9  br label %B
10
11B:
12  %y = phi i32 [ undef, %entry ], [ %x, %A ]
13  %z = add i32 %y, 1
14  %cmp = icmp ne i32 %z, 0
15  br i1 %cmp, label %exit, label %A
16
17exit:
18  ret void
19}
20