Mercurial > hg > CbC > CbC_llvm

comparison test/Other/cgscc-disconnected-invalidation.ll @ 121:803732b1fca8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 5.0
author kono
date Fri, 27 Oct 2017 17:07:41 +0900
parents
children
comparison
equal deleted inserted replaced
120:1172e4bd9c6f 121:803732b1fca8
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 }