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 /lib | |
| 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 'lib')
| -rw-r--r-- | lib/Transforms/Scalar/BoundsChecking.cpp | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/lib/Transforms/Scalar/BoundsChecking.cpp b/lib/Transforms/Scalar/BoundsChecking.cpp index 4c3dea2..7b1a417 100644 --- a/lib/Transforms/Scalar/BoundsChecking.cpp +++ b/lib/Transforms/Scalar/BoundsChecking.cpp @@ -104,7 +104,6 @@ void BoundsChecking::emitBranchToTrap(Value *Cmp) { BasicBlock *Cont = OldBB->splitBasicBlock(Inst); OldBB->getTerminator()->eraseFromParent(); - // FIXME: add unlikely branch taken metadata? if (Cmp) BranchInst::Create(getTrapBB(), Cont, Cmp, OldBB); else @@ -152,6 +151,15 @@ ConstTriState BoundsChecking::computeAllocSize(Value *Alloc, uint64_t &Size, SizeValue = Builder->CreateMul(SizeValue, ArraySize); return NotConst; + // function arguments + } else if (Argument *A = dyn_cast<Argument>(Alloc)) { + if (!A->hasByValAttr()) + return Dunno; + + PointerType *PT = cast<PointerType>(A->getType()); + Size = TD->getTypeAllocSize(PT->getElementType()); + return Const; + // ptr = select(ptr1, ptr2) } else if (SelectInst *SI = dyn_cast<SelectInst>(Alloc)) { uint64_t SizeFalse; |