diff options
| author | Chandler Carruth <chandlerc@gmail.com> | 2015-08-05 17:58:30 +0000 |
|---|---|---|
| committer | Chandler Carruth <chandlerc@gmail.com> | 2015-08-05 17:58:30 +0000 |
| commit | 405e4f90519fb6c11246ed2698b6049682601227 (patch) | |
| tree | e2b326dd1dd2c3f353ea775e3ce410afac532979 /llvm/lib/Analysis/TargetTransformInfo.cpp | |
| parent | 92e6412f2901c42599af8f91702f78a1701d70fb (diff) | |
| download | bcm5719-llvm-405e4f90519fb6c11246ed2698b6049682601227.tar.gz bcm5719-llvm-405e4f90519fb6c11246ed2698b6049682601227.zip | |
[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
Diffstat (limited to 'llvm/lib/Analysis/TargetTransformInfo.cpp')
0 files changed, 0 insertions, 0 deletions
