aboutsummaryrefslogtreecommitdiffstats
path: root/test/Verifier
diff options
context:
space:
mode:
authorTorok Edwin <edwintorok@gmail.com>2009-05-22 07:12:05 +0000
committerTorok Edwin <edwintorok@gmail.com>2009-05-22 07:12:05 +0000
commit382cb2189a69d169e3ac8b63498ee838022710b2 (patch)
tree26f9bc41b74f28039dcf0b9543f96f8e78acf826 /test/Verifier
parent9107c546939d02455283214818359c17b3875051 (diff)
downloadexternal_llvm-382cb2189a69d169e3ac8b63498ee838022710b2.zip
external_llvm-382cb2189a69d169e3ac8b63498ee838022710b2.tar.gz
external_llvm-382cb2189a69d169e3ac8b63498ee838022710b2.tar.bz2
Revert this. There's no way to verifiy indirect calls, and an optimizer can turn
indirect call into direct call, thus the verifier would reject something it previously accepted. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@72249 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Verifier')
-rw-r--r--test/Verifier/2009-05-22-CC.ll11
1 files changed, 0 insertions, 11 deletions
diff --git a/test/Verifier/2009-05-22-CC.ll b/test/Verifier/2009-05-22-CC.ll
deleted file mode 100644
index 7775ded..0000000
--- a/test/Verifier/2009-05-22-CC.ll
+++ /dev/null
@@ -1,11 +0,0 @@
-; RUN: not llvm-as < %s |& grep {Calling convention does not match function signature}
-; PR 4239
-
-; Verify that the calling convention on the call instruction matches the
-; declared calling convention
-declare x86_stdcallcc i32 @re_string_construct(i8* inreg %pstr, i8* inreg %str, i32 inreg %len, i8* %trans, i32 %icase, i8* %dfa);
-define void @main() {
-entry:
- %0 = call i32 (...)* bitcast (i32 (i8*, i8*, i32, i8*, i32, i8*)* @re_string_construct to i32 (...)*)(i32 inreg 0, i32 inreg 0, i32 inreg 0, i32 0, i32 0, i8* inttoptr (i32 673194176 to i8*))
- ret void
-}