mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-13 20:32:21 +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
161 lines
3.9 KiB
LLVM
161 lines
3.9 KiB
LLVM
; RUN: opt -inline %s -S | FileCheck %s
|
|
; Ensure SSP attributes are propagated correctly when inlining.
|
|
|
|
@.str = private unnamed_addr constant [11 x i8] c"fun_nossp\0A\00", align 1
|
|
@.str1 = private unnamed_addr constant [9 x i8] c"fun_ssp\0A\00", align 1
|
|
@.str2 = private unnamed_addr constant [15 x i8] c"fun_sspstrong\0A\00", align 1
|
|
@.str3 = private unnamed_addr constant [12 x i8] c"fun_sspreq\0A\00", align 1
|
|
|
|
; These first four functions (@fun_sspreq, @fun_sspstrong, @fun_ssp, @fun_nossp)
|
|
; are used by the remaining functions to ensure that the SSP attributes are
|
|
; propagated correctly. The caller should have its SSP attribute set as:
|
|
; strictest(caller-ssp-attr, callee-ssp-attr), where strictness is ordered as:
|
|
; sspreq > sspstrong > ssp > [no ssp]
|
|
define internal void @fun_sspreq() nounwind sspreq uwtable {
|
|
entry:
|
|
%call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str3, i32 0, i32 0))
|
|
ret void
|
|
}
|
|
|
|
define internal void @fun_sspstrong() nounwind sspstrong uwtable {
|
|
entry:
|
|
%call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str2, i32 0, i32 0))
|
|
ret void
|
|
}
|
|
|
|
define internal void @fun_ssp() nounwind ssp uwtable {
|
|
entry:
|
|
%call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str1, i32 0, i32 0))
|
|
ret void
|
|
}
|
|
|
|
define internal void @fun_nossp() nounwind uwtable {
|
|
entry:
|
|
%call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str, i32 0, i32 0))
|
|
ret void
|
|
}
|
|
|
|
; Tests start below
|
|
|
|
define void @inline_req_req() nounwind sspreq uwtable {
|
|
entry:
|
|
; CHECK: @inline_req_req() #0
|
|
call void @fun_sspreq()
|
|
ret void
|
|
}
|
|
|
|
define void @inline_req_strong() nounwind sspstrong uwtable {
|
|
entry:
|
|
; CHECK: @inline_req_strong() #0
|
|
call void @fun_sspreq()
|
|
ret void
|
|
}
|
|
|
|
define void @inline_req_ssp() nounwind ssp uwtable {
|
|
entry:
|
|
; CHECK: @inline_req_ssp() #0
|
|
call void @fun_sspreq()
|
|
ret void
|
|
}
|
|
|
|
define void @inline_req_nossp() nounwind uwtable {
|
|
entry:
|
|
; CHECK: @inline_req_nossp() #0
|
|
call void @fun_sspreq()
|
|
ret void
|
|
}
|
|
|
|
define void @inline_strong_req() nounwind sspreq uwtable {
|
|
entry:
|
|
; CHECK: @inline_strong_req() #0
|
|
call void @fun_sspstrong()
|
|
ret void
|
|
}
|
|
|
|
|
|
define void @inline_strong_strong() nounwind sspstrong uwtable {
|
|
entry:
|
|
; CHECK: @inline_strong_strong() #1
|
|
call void @fun_sspstrong()
|
|
ret void
|
|
}
|
|
|
|
define void @inline_strong_ssp() nounwind ssp uwtable {
|
|
entry:
|
|
; CHECK: @inline_strong_ssp() #1
|
|
call void @fun_sspstrong()
|
|
ret void
|
|
}
|
|
|
|
define void @inline_strong_nossp() nounwind uwtable {
|
|
entry:
|
|
; CHECK: @inline_strong_nossp() #1
|
|
call void @fun_sspstrong()
|
|
ret void
|
|
}
|
|
|
|
define void @inline_ssp_req() nounwind sspreq uwtable {
|
|
entry:
|
|
; CHECK: @inline_ssp_req() #0
|
|
call void @fun_ssp()
|
|
ret void
|
|
}
|
|
|
|
|
|
define void @inline_ssp_strong() nounwind sspstrong uwtable {
|
|
entry:
|
|
; CHECK: @inline_ssp_strong() #1
|
|
call void @fun_ssp()
|
|
ret void
|
|
}
|
|
|
|
define void @inline_ssp_ssp() nounwind ssp uwtable {
|
|
entry:
|
|
; CHECK: @inline_ssp_ssp() #2
|
|
call void @fun_ssp()
|
|
ret void
|
|
}
|
|
|
|
define void @inline_ssp_nossp() nounwind uwtable {
|
|
entry:
|
|
; CHECK: @inline_ssp_nossp() #2
|
|
call void @fun_ssp()
|
|
ret void
|
|
}
|
|
|
|
define void @inline_nossp_req() nounwind uwtable sspreq {
|
|
entry:
|
|
; CHECK: @inline_nossp_req() #0
|
|
call void @fun_nossp()
|
|
ret void
|
|
}
|
|
|
|
|
|
define void @inline_nossp_strong() nounwind sspstrong uwtable {
|
|
entry:
|
|
; CHECK: @inline_nossp_strong() #1
|
|
call void @fun_nossp()
|
|
ret void
|
|
}
|
|
|
|
define void @inline_nossp_ssp() nounwind ssp uwtable {
|
|
entry:
|
|
; CHECK: @inline_nossp_ssp() #2
|
|
call void @fun_nossp()
|
|
ret void
|
|
}
|
|
|
|
define void @inline_nossp_nossp() nounwind uwtable {
|
|
entry:
|
|
; CHECK: @inline_nossp_nossp() #3
|
|
call void @fun_nossp()
|
|
ret void
|
|
}
|
|
|
|
declare i32 @printf(i8*, ...)
|
|
|
|
; CHECK: attributes #0 = { nounwind sspreq uwtable }
|
|
; CHECK: attributes #1 = { nounwind sspstrong uwtable }
|
|
; CHECK: attributes #2 = { nounwind ssp uwtable }
|
|
; CHECK: attributes #3 = { nounwind uwtable }
|