[PATCH] D11707: [GMR] Teach the conservative path of GMR to catch even more easy cases.

[Chandler Carruth]

chandlerc created this revision.
chandlerc added reviewers: mkuper, hfinkel.
chandlerc added a subscriber: llvm-commits.

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.

http://reviews.llvm.org/D11707

Files:
  lib/Analysis/IPA/GlobalsModRef.cpp
  test/Analysis/GlobalsModRef/nonescaping-noalias.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D11707.31199.patch
Type: text/x-patch
Size: 10003 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150802/9bdfaa11/attachment.bin>