1 ; RUN: opt -jump-threading -verify-each -S -mtriple=x86_64-- -o - %s 2 3 define void @foo() { 4 entry: 5 br i1 false, label %A, label %B 6 7 A: 8 %x = phi i32 [ undef, %entry ], [ %z, %B ] 9 br label %B 10 11 B: 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 17 exit: 18 ret void 19 } 20
