RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-26 06:22:56 +02:00
Code Issues Projects Releases Wiki Activity
83,706 Commits 4 Branches 5 Tags 704 MiB
87e459b047
Commit Graph

14 Commits

Author SHA1 Message Date
Nuno Lopes
eac3a6d03c BoundsChecking: optimize out the check for offset < 0 if size is known to be >= 0 (signed). 
(LLVM optimizers cannot do this optimization by themselves)

llvm-svn: 159668
 2012-07-03 17:30:18 +00:00
Chandler Carruth
4b51f99c87 Move llvm/Support/IRBuilder.h -> llvm/IRBuilder.h 
This was always part of the VMCore library out of necessity -- it deals
entirely in the IR. The .cpp file in fact was already part of the VMCore
library. This is just a mechanical move.

I've tried to go through and re-apply the coding standard's preferred
header sort, but at 40-ish files, I may have gotten some wrong. Please
let me know if so.

I'll be committing the corresponding updates to Clang and Polly, and
Duncan has DragonEgg.

Thanks to Bill and Eric for giving the green light for this bit of cleanup.

llvm-svn: 159421
 2012-06-29 12:38:19 +00:00
Nuno Lopes
9f2753368b BoundsChecking: attach debug info to traps to make my life a bit more sane 
llvm-svn: 159055
 2012-06-23 00:12:34 +00:00
Nuno Lopes
0861020fd8 port the BoundsChecking patch to the new MemoryBuiltin API (i.e., remove most of the code from here). 
Remove the alloc_size.ll test until we settle on a metadata format that makes everyone happy..

llvm-svn: 158920
 2012-06-21 15:59:53 +00:00
Nuno Lopes
c6a0165f7f BoundsChecking: add support for ConstantPointerNull. fixes a bunch of instrumentation failures in loops with reallocs 
llvm-svn: 158210
 2012-06-08 16:31:42 +00:00
Nuno Lopes
5d4b3d1e56 BoundsChecking: fix a bug when the handling of recursive PHIs failed and could leave dangling references in the cache 
add regression tests for this problem.

Can already compile & run: PHP, PCRE, and ICU  (i.e., all the software I tried)

llvm-svn: 157822
 2012-06-01 17:43:31 +00:00
Nuno Lopes
3a79c6f953 add -bounds-checking-multiple-traps option to make one trap BB per check 
disabled by default for now; we can discusse the default value (& name) later

llvm-svn: 157777
 2012-05-31 22:58:48 +00:00
Nuno Lopes
baa73f38ba revamp BoundsChecking considerably: 
- compute size & offset at the same time. The side-effects of this are that we now support negative GEPs. It's now approaching a phase that it can be reused by other passes (e.g., lowering of the objectsize intrinsic)
 - use APInt throughout to handle wrap-arounds
 - add support for PHI instrumentation
 - add a cache (required for recursive PHIs anyway)
 - remove hoisting support for now, since it was wrong in a few cases

sorry for the churn here.. tests will follow soon.

llvm-svn: 157775
 2012-05-31 22:45:40 +00:00
Nuno Lopes
cfa4538f05 bounds checking: 
- hoist checks out of loops where SCEV is smart enough
 - add additional statistics to measure how much we loose for not supporting interprocedural and pointers loaded from memory

llvm-svn: 157649
 2012-05-29 22:32:51 +00:00
Nuno Lopes
eadb471c54 bounds checking: add support for byval arguments 
llvm-svn: 157498
 2012-05-25 21:15:17 +00:00
Nuno Lopes
58a55999d4 boundschecking: 
add support for select
add experimental support for alloc_size metadata

llvm-svn: 157481
 2012-05-25 16:54:04 +00:00
Nuno Lopes
36f35477a1 BoundsChecking: add a couple of simple tests and fix a bug in branch emition 
llvm-svn: 157329
 2012-05-23 16:24:52 +00:00
Nuno Lopes
1a989d236d address some of John Criswell's comments 
teach computeAllocSize about realloc, reallocf, and valloc

llvm-svn: 157298
 2012-05-22 22:02:19 +00:00
Nuno Lopes
114b8eaa9c add a new pass to instrument loads and stores for run-time bounds checking 
move EmitGEPOffset from InstCombine to Transforms/Utils/Local.h

(a draft of this) patch reviewed by Andrew, thanks.

llvm-svn: 157261
 2012-05-22 17:19:09 +00:00