mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-02-26 10:29:36 +00:00
5a70dd1d82
Similar to gep (r230786) and load (r230794) changes.
Similar migration script can be used to update test cases, which
successfully migrated all of LLVM and Polly, but about 4 test cases
needed manually changes in Clang.
(this script will read the contents of stdin and massage it into stdout
- wrap it in the 'apply.sh' script shown in previous commits + xargs to
apply it over a large set of test cases)
import fileinput
import sys
import re
rep = re.compile(r"(getelementptr(?:\s+inbounds)?\s*\()((<\d*\s+x\s+)?([^@]*?)(|\s*addrspace\(\d+\))\s*\*(?(3)>)\s*)(?=$|%|@|null|undef|blockaddress|getelementptr|addrspacecast|bitcast|inttoptr|zeroinitializer|<|\[\[[a-zA-Z]|\{\{)", re.MULTILINE | re.DOTALL)
def conv(match):
line = match.group(1)
line += match.group(4)
line += ", "
line += match.group(2)
return line
line = sys.stdin.read()
off = 0
for match in re.finditer(rep, line):
sys.stdout.write(line[off:match.start()])
sys.stdout.write(conv(match))
off = match.end()
sys.stdout.write(line[off:])
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@232184 91177308-0d34-0410-b5e6-96231b3b80d8
177 lines
3.5 KiB
LLVM
177 lines
3.5 KiB
LLVM
; RUN: opt -disable-output -passes=print-cg %s 2>&1 | FileCheck %s
|
|
;
|
|
; Basic validation of the call graph analysis used in the new pass manager.
|
|
|
|
define void @f() {
|
|
; CHECK-LABEL: Call edges in function: f
|
|
; CHECK-NOT: ->
|
|
|
|
entry:
|
|
ret void
|
|
}
|
|
|
|
; A bunch more functions just to make it easier to test several call edges at once.
|
|
define void @f1() {
|
|
ret void
|
|
}
|
|
define void @f2() {
|
|
ret void
|
|
}
|
|
define void @f3() {
|
|
ret void
|
|
}
|
|
define void @f4() {
|
|
ret void
|
|
}
|
|
define void @f5() {
|
|
ret void
|
|
}
|
|
define void @f6() {
|
|
ret void
|
|
}
|
|
define void @f7() {
|
|
ret void
|
|
}
|
|
define void @f8() {
|
|
ret void
|
|
}
|
|
define void @f9() {
|
|
ret void
|
|
}
|
|
define void @f10() {
|
|
ret void
|
|
}
|
|
define void @f11() {
|
|
ret void
|
|
}
|
|
define void @f12() {
|
|
ret void
|
|
}
|
|
|
|
declare i32 @__gxx_personality_v0(...)
|
|
|
|
define void @test0() {
|
|
; CHECK-LABEL: Call edges in function: test0
|
|
; CHECK-NEXT: -> f
|
|
; CHECK-NOT: ->
|
|
|
|
entry:
|
|
call void @f()
|
|
call void @f()
|
|
call void @f()
|
|
call void @f()
|
|
ret void
|
|
}
|
|
|
|
define void ()* @test1(void ()** %x) {
|
|
; CHECK-LABEL: Call edges in function: test1
|
|
; CHECK-NEXT: -> f12
|
|
; CHECK-NEXT: -> f11
|
|
; CHECK-NEXT: -> f10
|
|
; CHECK-NEXT: -> f7
|
|
; CHECK-NEXT: -> f9
|
|
; CHECK-NEXT: -> f8
|
|
; CHECK-NEXT: -> f6
|
|
; CHECK-NEXT: -> f5
|
|
; CHECK-NEXT: -> f4
|
|
; CHECK-NEXT: -> f3
|
|
; CHECK-NEXT: -> f2
|
|
; CHECK-NEXT: -> f1
|
|
; CHECK-NOT: ->
|
|
|
|
entry:
|
|
br label %next
|
|
|
|
dead:
|
|
br label %next
|
|
|
|
next:
|
|
phi void ()* [ @f1, %entry ], [ @f2, %dead ]
|
|
select i1 true, void ()* @f3, void ()* @f4
|
|
store void ()* @f5, void ()** %x
|
|
call void @f6()
|
|
call void (void ()*, void ()*)* bitcast (void ()* @f7 to void (void ()*, void ()*)*)(void ()* @f8, void ()* @f9)
|
|
invoke void @f10() to label %exit unwind label %unwind
|
|
|
|
exit:
|
|
ret void ()* @f11
|
|
|
|
unwind:
|
|
%res = landingpad { i8*, i32 } personality i32 (...)* @__gxx_personality_v0
|
|
cleanup
|
|
resume { i8*, i32 } { i8* bitcast (void ()* @f12 to i8*), i32 42 }
|
|
}
|
|
|
|
@g = global void ()* @f1
|
|
@g1 = global [4 x void ()*] [void ()* @f2, void ()* @f3, void ()* @f4, void ()* @f5]
|
|
@g2 = global {i8, void ()*, i8} {i8 1, void ()* @f6, i8 2}
|
|
@h = constant void ()* @f7
|
|
|
|
define void @test2() {
|
|
; CHECK-LABEL: Call edges in function: test2
|
|
; CHECK-NEXT: -> f7
|
|
; CHECK-NEXT: -> f6
|
|
; CHECK-NEXT: -> f5
|
|
; CHECK-NEXT: -> f4
|
|
; CHECK-NEXT: -> f3
|
|
; CHECK-NEXT: -> f2
|
|
; CHECK-NEXT: -> f1
|
|
; CHECK-NOT: ->
|
|
|
|
load i8*, i8** bitcast (void ()** @g to i8**)
|
|
load i8*, i8** bitcast (void ()** getelementptr ([4 x void ()*], [4 x void ()*]* @g1, i32 0, i32 2) to i8**)
|
|
load i8*, i8** bitcast (void ()** getelementptr ({i8, void ()*, i8}, {i8, void ()*, i8}* @g2, i32 0, i32 1) to i8**)
|
|
load i8*, i8** bitcast (void ()** @h to i8**)
|
|
ret void
|
|
}
|
|
|
|
; Verify the SCCs formed.
|
|
;
|
|
; CHECK-LABEL: SCC with 1 functions:
|
|
; CHECK-NEXT: f7
|
|
;
|
|
; CHECK-LABEL: SCC with 1 functions:
|
|
; CHECK-NEXT: f6
|
|
;
|
|
; CHECK-LABEL: SCC with 1 functions:
|
|
; CHECK-NEXT: f5
|
|
;
|
|
; CHECK-LABEL: SCC with 1 functions:
|
|
; CHECK-NEXT: f4
|
|
;
|
|
; CHECK-LABEL: SCC with 1 functions:
|
|
; CHECK-NEXT: f3
|
|
;
|
|
; CHECK-LABEL: SCC with 1 functions:
|
|
; CHECK-NEXT: f2
|
|
;
|
|
; CHECK-LABEL: SCC with 1 functions:
|
|
; CHECK-NEXT: f1
|
|
;
|
|
; CHECK-LABEL: SCC with 1 functions:
|
|
; CHECK-NEXT: test2
|
|
;
|
|
; CHECK-LABEL: SCC with 1 functions:
|
|
; CHECK-NEXT: f12
|
|
;
|
|
; CHECK-LABEL: SCC with 1 functions:
|
|
; CHECK-NEXT: f11
|
|
;
|
|
; CHECK-LABEL: SCC with 1 functions:
|
|
; CHECK-NEXT: f10
|
|
;
|
|
; CHECK-LABEL: SCC with 1 functions:
|
|
; CHECK-NEXT: f9
|
|
;
|
|
; CHECK-LABEL: SCC with 1 functions:
|
|
; CHECK-NEXT: f8
|
|
;
|
|
; CHECK-LABEL: SCC with 1 functions:
|
|
; CHECK-NEXT: test1
|
|
;
|
|
; CHECK-LABEL: SCC with 1 functions:
|
|
; CHECK-NEXT: f
|
|
;
|
|
; CHECK-LABEL: SCC with 1 functions:
|
|
; CHECK-NEXT: test0
|