6 Commits

Author	SHA1	Message	Date
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	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	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
Kaelyn Uhrain	148e4135bf	Fix typo in flag to opt, and also a CHECK-NEXT that doesn't follow a ... CHECK. The latter error was hidden by the former, and the test harness used by e.g. "make check" silently ignored that opt was printing an error message about an unknown flag instead of running on the test file. llvm-svn: 157341	2012-05-23 20:21:36 +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