New testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6781 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Transforms/InstCombine/call.ll b/test/Transforms/InstCombine/call.ll
new file mode 100644 (file)
index 0000000..39b82bf
--- /dev/null
+++ b/test/Transforms/InstCombine/call.ll
@@ -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
+}
+