summaryrefslogtreecommitdiffstats
path: root/llvm/test/Transforms/GVN/equality-assume.ll
Commit message (Collapse)AuthorAgeFilesLines
* [GVN] Propagate simple equalities from assumes within the tail of the blockPhilip Reames2019-09-031-10/+24
| | | | | | | | | | | | This extends the existing logic for propagating constant expressions in an analogous manner for what we do across basic blocks. The core point is that we chose some order of operands, and canonicalize uses towards that one. The heuristic used is inspired by the one used across blocks; in a follow up change, I'd plan to common them so that the cross block version uses the slightly stronger ordering herein. As noted by the TODOs in the code, there's a good amount of room for improving the existing code and making it more powerful. Some follow up work planned. Differential Revision: https://reviews.llvm.org/D66977 llvm-svn: 370791
* [Tests/GVN] Precommit requested test additions from D66977Philip Reames2019-09-031-0/+88
| | | | llvm-svn: 370784
* [Tests] Precommit a few cases where we're missing oppurtunities for block ↵Philip Reames2019-08-291-0/+66
local simplications off assumes. llvm-svn: 370414
OpenPOWER on IntegriCloud