[PATCH] D19578: [EarlyCSE] Simplify guard intrinsics

[Sanjoy Das via llvm-commits]

sanjoy created this revision.
sanjoy added reviewers: reames, hfinkel.
sanjoy added a subscriber: llvm-commits.
Herald added a subscriber: mcrosier.

This change teaches EarlyCSE some basic properties of guard intrinsics:

 - Guard intrinsics read all memory, but don't write to any memory
 - After a guard has executed, the condition it was guarding on can be
   assumed to be true
 - Guard intrinsics on a constant `true` are no-ops

http://reviews.llvm.org/D19578

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D19578.55158.patch
Type: text/x-patch
Size: 6625 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160427/5e103244/attachment.bin>