diff options
| author | Jingyue Wu <jingyue@google.com> | 2015-08-14 02:02:05 +0000 |
|---|---|---|
| committer | Jingyue Wu <jingyue@google.com> | 2015-08-14 02:02:05 +0000 |
| commit | 1238f341bab1541d1160f156319d993be20489ac (patch) | |
| tree | e8fc54357fc4a7368bf5f6013e056e8fee779316 /llvm/lib/Analysis/OrderedBasicBlock.cpp | |
| parent | 45cf0bf117416c1782462ae31c6f7b2a544e9b1f (diff) | |
| download | bcm5719-llvm-1238f341bab1541d1160f156319d993be20489ac.tar.gz bcm5719-llvm-1238f341bab1541d1160f156319d993be20489ac.zip | |
[SeparateConstOffsetFromGEP] sext(a)+sext(b) => sext(a+b) when a+b can't sign-overflow.
Summary:
This patch implements my promised optimization to reunites certain sexts from
operands after we extract the constant offset. See the header comment of
reuniteExts for its motivation.
One key building block that enables this optimization is Bjarke's poison value
analysis (D11212). That helps to prove "a +nsw b" can't overflow.
Reviewers: broune
Subscribers: jholewinski, sanjoy, llvm-commits
Differential Revision: http://reviews.llvm.org/D12016
llvm-svn: 245003
Diffstat (limited to 'llvm/lib/Analysis/OrderedBasicBlock.cpp')
0 files changed, 0 insertions, 0 deletions
