| Krzysztof Parzyszek | 167d918 | 2016-07-28 20:01:59 +0000 | [diff] [blame] | 1 | ; RUN: llc -O2 -march hexagon < %s | FileCheck %s |
| 2 | |||||
| 3 | define i32 @foo(i32 %x) { | ||||
| 4 | %p = icmp eq i32 %x, 0 | ||||
| 5 | br i1 %p, label %zero, label %nonzero | ||||
| 6 | nonzero: | ||||
| 7 | %v1 = add i32 %x, 1 | ||||
| 8 | %c = icmp eq i32 %x, %v1 | ||||
| 9 | ; This branch will be rewritten by HCP. A bug would cause both branches to | ||||
| 10 | ; go away, leaving no path to "ret -1". | ||||
| 11 | br i1 %c, label %zero, label %other | ||||
| 12 | zero: | ||||
| 13 | ret i32 0 | ||||
| 14 | other: | ||||
| 15 | ; CHECK: -1 | ||||
| 16 | ret i32 -1 | ||||
| 17 | } | ||||