| Bjorn Steinbrink | 3c33150 | 2014-09-09 17:10:21 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -simplifycfg -S | FileCheck %s |
| 2 | |
| 3 | define void @foo(i1 %c, i8* %p) { |
| 4 | ; CHECK: if: |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 5 | ; CHECK-NEXT: load i8, i8* %p, !range !0 |
| Duncan P. N. Exon Smith | be7ea19 | 2014-12-15 19:07:53 +0000 | [diff] [blame] | 6 | ; CHECK: !0 = !{i8 0, i8 1, i8 3, i8 5} |
| Bjorn Steinbrink | 3c33150 | 2014-09-09 17:10:21 +0000 | [diff] [blame] | 7 | if: |
| 8 | br i1 %c, label %then, label %else |
| 9 | then: |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 10 | %t = load i8, i8* %p, !range !0 |
| Bjorn Steinbrink | 3c33150 | 2014-09-09 17:10:21 +0000 | [diff] [blame] | 11 | br label %out |
| 12 | else: |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 13 | %e = load i8, i8* %p, !range !1 |
| Bjorn Steinbrink | 3c33150 | 2014-09-09 17:10:21 +0000 | [diff] [blame] | 14 | br label %out |
| 15 | out: |
| 16 | ret void |
| 17 | } |
| 18 | |
| Duncan P. N. Exon Smith | be7ea19 | 2014-12-15 19:07:53 +0000 | [diff] [blame] | 19 | !0 = !{ i8 0, i8 1 } |
| 20 | !1 = !{ i8 3, i8 5 } |