diff options
author | Piotr Padlewski <prazek@google.com> | 2015-08-28 01:01:57 +0000 |
---|---|---|
committer | Piotr Padlewski <prazek@google.com> | 2015-08-28 01:01:57 +0000 |
commit | 63cc5d462753f6d17d030821b850f59d89613f43 (patch) | |
tree | b08949ed8050e0381ffe68f05528bb545ee328d7 /llvm/lib/IR/Dominators.cpp | |
parent | 261ac3f4b5b98d02dd8718078015a92cf07df736 (diff) | |
download | bcm5719-llvm-63cc5d462753f6d17d030821b850f59d89613f43.tar.gz bcm5719-llvm-63cc5d462753f6d17d030821b850f59d89613f43.zip |
Constant propagation after hiting llvm.assume
After hitting @llvm.assume(X) we can:
- propagate equality that X == true
- if X is icmp/fcmp (with eq operation), and one of operand
is constant we can change all variables with constants in the same BasicBlock
http://reviews.llvm.org/D11918
llvm-svn: 246243
Diffstat (limited to 'llvm/lib/IR/Dominators.cpp')
0 files changed, 0 insertions, 0 deletions