| Chandler Carruth | 7376ae8 | 2017-09-14 08:33:57 +0000 | [diff] [blame] | 1 | ; Test that patterns of transformations which disconnect a region of the call |
| 2 | ; graph mid-traversal and then invalidate it function correctly. |
| 3 | ; |
| 4 | ; RUN: opt -S -passes='cgscc(inline,function(simplify-cfg))' < %s | FileCheck %s |
| 5 | |
| 6 | define internal void @test_scc_internal(i1 %flag) { |
| 7 | ; CHECK-NOT: @test_scc_internal |
| 8 | entry: |
| 9 | br i1 %flag, label %then, label %else |
| 10 | |
| 11 | then: |
| 12 | call void @test_scc_internal(i1 false) |
| 13 | call void @test_scc_external() |
| 14 | br label %else |
| 15 | |
| 16 | else: |
| 17 | ret void |
| 18 | } |
| 19 | |
| 20 | define void @test_scc_external() { |
| 21 | ; CHECK-LABEL: define void @test_scc_external() |
| 22 | entry: |
| 23 | call void @test_scc_internal(i1 false) |
| 24 | ret void |
| 25 | } |
| 26 | |
| 27 | define internal void @test_refscc_internal(i1 %flag, i8* %ptr) { |
| 28 | ; CHECK-NOT: @test_refscc_internal |
| 29 | entry: |
| 30 | br i1 %flag, label %then, label %else |
| 31 | |
| 32 | then: |
| 33 | call void @test_refscc_internal(i1 false, i8* bitcast (i8* ()* @test_refscc_external to i8*)) |
| 34 | br label %else |
| 35 | |
| 36 | else: |
| 37 | ret void |
| 38 | } |
| 39 | |
| 40 | define i8* @test_refscc_external() { |
| 41 | ; CHECK-LABEL: define i8* @test_refscc_external() |
| 42 | entry: |
| 43 | br i1 true, label %then, label %else |
| 44 | ; CHECK-NEXT: entry: |
| 45 | ; CHECK-NEXT: ret i8* null |
| 46 | ; CHECK-NEXT: } |
| 47 | ; CHECK-NOT: @test_refscc_internal |
| 48 | |
| 49 | then: |
| 50 | ret i8* null |
| 51 | |
| 52 | else: |
| 53 | ret i8* bitcast (void (i1, i8*)* @test_refscc_internal to i8*) |
| 54 | } |