| Artur Pilipenko | 5c5011d | 2015-11-02 17:53:51 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -simplifycfg -S | FileCheck %s |
| 2 | |
| 3 | declare void @bar(i32*) |
| 4 | declare void @baz(i32*) |
| 5 | |
| 6 | ; CHECK-LABEL: @test_load_combine_metadata( |
| 7 | ; Check that dereferenceable metadata is combined |
| 8 | ; CHECK: load i32*, i32** %p |
| 9 | ; CHECK-SAME: !dereferenceable ![[DEREF:[0-9]+]] |
| 10 | ; CHECK: t: |
| 11 | ; CHECK: f: |
| 12 | define void @test_load_combine_metadata(i1 %c, i32** %p) { |
| 13 | br i1 %c, label %t, label %f |
| 14 | |
| 15 | t: |
| 16 | %v1 = load i32*, i32** %p, !dereferenceable !0 |
| 17 | call void @bar(i32* %v1) |
| 18 | br label %cont |
| 19 | |
| 20 | f: |
| 21 | %v2 = load i32*, i32** %p, !dereferenceable !1 |
| 22 | call void @baz(i32* %v2) |
| 23 | br label %cont |
| 24 | |
| 25 | cont: |
| 26 | ret void |
| 27 | } |
| 28 | |
| 29 | ; CHECK: ![[DEREF]] = !{i64 8} |
| 30 | |
| 31 | !0 = !{i64 8} |
| 32 | !1 = !{i64 16} |