[PATCH] D32586: [EarlyCSE] Teach EarlyCSE to work with non-instruction values

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev created this revision.

Conditional branching, intrinsics experimental_guard and assume may state that their arguments are true/false. In fact, these arguments are not necessarily instructions. This patch teaches EarlyCSE to work with non-instruction values by changing semantics of SimpleValue. Now SimpleValue contains a value which is not always an instruction.


https://reviews.llvm.org/D32586

Files:
  lib/Transforms/Scalar/EarlyCSE.cpp
  test/Transforms/EarlyCSE/guards.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D32586.96886.patch
Type: text/x-patch
Size: 11298 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170427/47945b19/attachment.bin>