diff options
| author | Nuno Lopes <nunoplopes@sapo.pt> | 2012-05-25 21:15:17 +0000 |
|---|---|---|
| committer | Nuno Lopes <nunoplopes@sapo.pt> | 2012-05-25 21:15:17 +0000 |
| commit | d72d67da07299d7773bfd97f75a469accfdc58de (patch) | |
| tree | 1c3a18e48cb45b88fc9df023aef94ea9e70a5b3e /test/Transforms | |
| parent | 06a2f42d11512ff0bbcb5b5f3299988bbc3bbec6 (diff) | |
| download | external_llvm-d72d67da07299d7773bfd97f75a469accfdc58de.zip external_llvm-d72d67da07299d7773bfd97f75a469accfdc58de.tar.gz external_llvm-d72d67da07299d7773bfd97f75a469accfdc58de.tar.bz2 | |
bounds checking: add support for byval arguments
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157498 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms')
| -rw-r--r-- | test/Transforms/BoundsChecking/simple.ll | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/Transforms/BoundsChecking/simple.ll b/test/Transforms/BoundsChecking/simple.ll index f24d9e1..62c2e90 100644 --- a/test/Transforms/BoundsChecking/simple.ll +++ b/test/Transforms/BoundsChecking/simple.ll @@ -107,3 +107,12 @@ define void @f10(i64 %x, i64 %y) nounwind { %4 = load i128* %3, align 4 ret void } + +; CHECK: @f11 +define void @f11(i128* byval %x) nounwind { + %1 = bitcast i128* %x to i8* + %2 = getelementptr inbounds i8* %1, i64 16 +; CHECK: br label + %3 = load i8* %2, align 4 + ret void +} |