8 Commits

Author	SHA1	Message	Date
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