| commit | 0f4937c49201ea1044fb6359111728ebb68a0a68 | [log] [tgz] |
|---|---|---|
| author | Piotr Padlewski <prazek@google.com> | Fri Aug 28 01:01:57 2015 +0000 |
| committer | Piotr Padlewski <prazek@google.com> | Fri Aug 28 01:01:57 2015 +0000 |
| tree | d3fdc4e2567c50cd850344074a9cfee27c95c09b | |
| parent | 87a13599bb036b93dd8a5c0a98efde09e62f7198 [diff] |
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 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@246243 91177308-0d34-0410-b5e6-96231b3b80d8