[PATCH] D36592: [BDCE] clear poison generators after turning a value into zero (PR33695, PR34037)

[Sanjay Patel via Phabricator via llvm-commits]

spatel updated this revision to Diff 110786.
spatel added a comment.

Patch updated - mostly just cutting and pasting the code Hal posted:

1. Make isExternallyVisible() check the calculated demanded bits rather than a list of opcodes.
2. Add a check for and delete llvm.assume.

I've been trying to find a test for the llvm.assume part, but I haven't gotten anywhere, so I'm probably not understanding that case. An assume takes an i1 param, so it always demands all the bits of that param. And therefore, the assume will never be added to the worklist?


https://reviews.llvm.org/D36592

Files:
  lib/Transforms/Scalar/BDCE.cpp
  test/Transforms/BDCE/invalidate-assumptions.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D36592.110786.patch
Type: text/x-patch
Size: 5677 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170811/70fc4ce7/attachment.bin>