diff options
author | Torok Edwin <edwintorok@gmail.com> | 2009-05-22 07:12:05 +0000 |
---|---|---|
committer | Torok Edwin <edwintorok@gmail.com> | 2009-05-22 07:12:05 +0000 |
commit | 382cb2189a69d169e3ac8b63498ee838022710b2 (patch) | |
tree | 26f9bc41b74f28039dcf0b9543f96f8e78acf826 /test/Verifier | |
parent | 9107c546939d02455283214818359c17b3875051 (diff) | |
download | external_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.ll | 11 |
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 -} |