projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 287942a) | patch
[EarlyCSE] Mark the condition of assume intrinsic as true
authorMax Kazantsev <max.kazantsev@azul.com>
Fri, 28 Apr 2017 06:25:39 +0000 (06:25 +0000)
committerMax Kazantsev <max.kazantsev@azul.com>
Fri, 28 Apr 2017 06:25:39 +0000 (06:25 +0000)
commit531db9a5046a6bd06c2f0dfadcc933ad070068fb
treeab7cc857a15cca86d160736ddc91d0b8b6ca2527tree | snapshot
parent287942ae8278f81ee81ca248c88f5bf5f70f5147commit | diff
[EarlyCSE] Mark the condition of assume intrinsic as true

EarlyCSE should not just ignore assumes. It should use the fact that its condition is true for all dominated instructions.

Reviewers: sanjoy, reames, apilipenko, anna, skatkov

Reviewed By: reames, sanjoy

Subscribers: llvm-commits

Differential Revision: https://reviews.llvm.org/D32482

llvm-svn: 301625
llvm/lib/Transforms/Scalar/EarlyCSE.cpp diff | blob | history
llvm/test/Transforms/EarlyCSE/guards.ll diff | blob | history
Domain: System / Toolchain;