| Eric Christopher | cee313d | 2019-04-17 04:52:47 +0000 | [diff] [blame] | 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 | } | ||||