diff options
Diffstat (limited to 'test/Concrete/SimpleStoreAndLoad.ll')
| -rw-r--r-- | test/Concrete/SimpleStoreAndLoad.ll | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/test/Concrete/SimpleStoreAndLoad.ll b/test/Concrete/SimpleStoreAndLoad.ll index 1edad038..951a474e 100644 --- a/test/Concrete/SimpleStoreAndLoad.ll +++ b/test/Concrete/SimpleStoreAndLoad.ll @@ -1,3 +1,6 @@ +; LLVM 3.7 requires a type as the first argument to 'getelementptr' +; LLVM 3.7 requires a type as the first argument to 'load' +; REQUIRES: geq-llvm-3.7 ; RUN: %S/ConcreteTest.py --klee='%klee' --lli=%lli %s declare void @print_i32(i32) @@ -5,9 +8,9 @@ declare void @print_i32(i32) define i32 @main() { entry: %a = alloca i32, i32 4 - %tmp1 = getelementptr i32* %a, i32 0 + %tmp1 = getelementptr i32, i32* %a, i32 0 store i32 0, i32* %tmp1 - %tmp2 = load i32* %tmp1 + %tmp2 = load i32, i32* %tmp1 %tmp3 = icmp eq i32 %tmp2, 0 br i1 %tmp3, label %exitTrue, label %exitFalse exitTrue: |