diff options
| author | Igor Laevsky <igmyrj@gmail.com> | 2017-12-14 09:33:58 +0000 |
|---|---|---|
| committer | Igor Laevsky <igmyrj@gmail.com> | 2017-12-14 09:33:58 +0000 |
| commit | 753395fa0abe3b612e4b6e36c78b516ddad2b2a7 (patch) | |
| tree | f9f4611b7a5d53c94cc0dd5508bdc2e0db466117 /llvm/test/Verifier/non-integer-gep-index.ll | |
| parent | ef12b41ef76eb842c64251fc7ee06ad5d6b850c2 (diff) | |
| download | bcm5719-llvm-753395fa0abe3b612e4b6e36c78b516ddad2b2a7.tar.gz bcm5719-llvm-753395fa0abe3b612e4b6e36c78b516ddad2b2a7.zip | |
[Verifier] Check that GEP indexes has correct types
Differential Revision: https://reviews.llvm.org/D40391
llvm-svn: 320680
Diffstat (limited to 'llvm/test/Verifier/non-integer-gep-index.ll')
| -rw-r--r-- | llvm/test/Verifier/non-integer-gep-index.ll | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/llvm/test/Verifier/non-integer-gep-index.ll b/llvm/test/Verifier/non-integer-gep-index.ll new file mode 100644 index 00000000000..ba2dbeab897 --- /dev/null +++ b/llvm/test/Verifier/non-integer-gep-index.ll @@ -0,0 +1,8 @@ +; RUN: not opt -verify %s.bc -disable-output + +; Test that verifier checks that gep indexes has correct type +; Specifically we want to check for the following pattern: +; %A1 = alloca i64 +; %G = getelementptr i64, i64* %A1, %A1 +; IR parser checks for this pattern independently from the verifier, so it's +; impossible to load from .ll file. Hence in this test we use bytecode input. |
