diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-11 16:53:12 +0000 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-12 14:34:14 +0000 |
| commit | 1447ca699f2885fcb1292e40dbfdb46a49c0ea89 (patch) | |
| tree | 9f010af032faa744ea5320ac651b0cf21ff161c5 /test | |
| parent | 59eb5a817471ad0887706637c4e43ff474e7fb63 (diff) | |
| download | klee-1447ca699f2885fcb1292e40dbfdb46a49c0ea89.tar.gz | |
Fixed comments to objectsize.ll and objectsize.leq49.ll
Diffstat (limited to 'test')
| -rw-r--r-- | test/Intrinsics/objectsize.leq49.ll | 4 | ||||
| -rw-r--r-- | test/Intrinsics/objectsize.ll | 4 |
2 files changed, 1 insertions, 7 deletions
diff --git a/test/Intrinsics/objectsize.leq49.ll b/test/Intrinsics/objectsize.leq49.ll index d21b13b4..bb084244 100644 --- a/test/Intrinsics/objectsize.leq49.ll +++ b/test/Intrinsics/objectsize.leq49.ll @@ -1,7 +1,5 @@ -; Unfortunately LLVM 2.9 has a different suffix for the ``llvm.objectsize`` instrinsic -; so this LLVM IR fails to verify for that version. -; ; LLVM 3.7 requires a type as the first argument to 'load' +; LLVM 5 added nullunknown parameter to @llvm.objectsize ; REQUIRES: geq-llvm-3.7 ; REQUIRES: lt-llvm-5.0 ; RUN: %llvmas %s -o=%t.bc diff --git a/test/Intrinsics/objectsize.ll b/test/Intrinsics/objectsize.ll index 733f03b0..4b2110cb 100644 --- a/test/Intrinsics/objectsize.ll +++ b/test/Intrinsics/objectsize.ll @@ -1,7 +1,3 @@ -; Unfortunately LLVM 2.9 has a different suffix for the ``llvm.objectsize`` instrinsic -; so this LLVM IR fails to verify for that version. -; -; LLVM 3.7 requires a type as the first argument to 'load' ; LLVM 5 added nullunknown parameter to @llvm.objectsize ; REQUIRES: geq-llvm-5.0 ; RUN: %llvmas %s -o=%t.bc |