1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-22 12:33:33 +02:00
llvm-mirror/test/Analysis/GlobalsModRef
Chandler Carruth 9d06f58b97 [GMR] Teach the conservative path of GMR to catch even more easy cases.
In PR24288 it was pointed out that the easy case of a non-escaping
global and something that *obviously* required an escape sometimes is
hidden behind PHIs (or selects in theory). Because we have this binary
test, we can easily just check that all possible input values satisfy
the requirement. This is done with a (very small) recursion through PHIs
and selects. With this, the specific example from the PR is correctly
folded by GVN.

Differential Revision: http://reviews.llvm.org/D11707

llvm-svn: 244078
2015-08-05 17:58:30 +00:00
..
2008-09-03-ReadGlobals.ll
aliastest.ll [PM/AA] Disable the core unsafe aspect of GlobalsModRef in the face of 2015-07-17 06:58:24 +00:00
atomic-instrs.ll Add a test for r242281 from an old patch of mine. 2015-07-15 23:23:02 +00:00
chaining-analysis.ll
indirect-global.ll [PM/AA] Disable the core unsafe aspect of GlobalsModRef in the face of 2015-07-17 06:58:24 +00:00
modreftest.ll
nonescaping-noalias.ll [GMR] Teach the conservative path of GMR to catch even more easy cases. 2015-08-05 17:58:30 +00:00
pr12351.ll
purecse.ll
volatile-instrs.ll [opaque pointer type] Add textual IR support for explicit type parameter to the call instruction 2015-04-16 23:24:18 +00:00