mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-18 12:29:21 +00:00
New testcase
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6781 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
5ce1a585df
commit
037b568e63
59
test/Transforms/InstCombine/call.ll
Normal file
59
test/Transforms/InstCombine/call.ll
Normal file
@ -0,0 +1,59 @@
|
||||
; RUN: if as < %s | opt -instcombine -die | dis | grep call | grep cast
|
||||
; RUN: then exit 1
|
||||
; RUN: else exit 0
|
||||
; RUN: fi
|
||||
|
||||
implementation
|
||||
|
||||
; Simple case, argument translatable without changing the value
|
||||
declare void %test1a(sbyte *%A)
|
||||
void %test1(int *%A) {
|
||||
call void(int*)* cast (void(sbyte*)* %test1a to void(int*)*)(int* %A)
|
||||
ret void
|
||||
}
|
||||
|
||||
; More complex case, translate argument because of resolution. This is safe
|
||||
; because we have the body of the function
|
||||
void %test2a(sbyte %A) { ret void }
|
||||
int %test2(int %A) {
|
||||
call void(int)* cast (void(sbyte)* %test2a to void(int)*)(int %A)
|
||||
ret int %A
|
||||
}
|
||||
|
||||
; Resolving this should insert a cast from sbyte to int, following the C
|
||||
; promotion rules.
|
||||
declare void %test3a(sbyte %A, ...)
|
||||
void %test3(sbyte %A, sbyte %B) {
|
||||
call void(sbyte, sbyte)* cast (void(sbyte,...)* %test3a to void(sbyte,sbyte)*)(sbyte %A, sbyte %B)
|
||||
ret void
|
||||
}
|
||||
|
||||
; test conversion of return value...
|
||||
sbyte %test4a() { ret sbyte 0 }
|
||||
int %test4() {
|
||||
%X = call int()* cast (sbyte()* %test4a to int()*)()
|
||||
ret int %X
|
||||
}
|
||||
|
||||
; test conversion of return value... no value conversion occurs so we can do
|
||||
; this with just a prototype...
|
||||
declare uint %test5a()
|
||||
int %test5() {
|
||||
%X = call int()* cast (uint()* %test5a to int()*)()
|
||||
ret int %X
|
||||
}
|
||||
|
||||
; test addition of new arguments...
|
||||
declare int %test6a(int %X)
|
||||
int %test6() {
|
||||
%X = call int()* cast (int(int)* %test6a to int()*)()
|
||||
ret int %X
|
||||
}
|
||||
|
||||
; test removal of arguments, only can happen with a function body
|
||||
void %test7a() { ret void }
|
||||
void %test7() {
|
||||
call void(int)* cast (void()* %test7a to void(int)*)(int 5)
|
||||
ret void
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user