[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 110837.
spatel added a comment.

Patch updated - sorry, the last diff was not the one I intended to upload. This is NFC from the last rev, but:

1. Includes Hal's comment about range metadata.
2. Has CHECK lines for the poison_on_call_user_is_ok() test.

I'm still not sure how to test the llvm.assume case - any ideas?


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.110837.patch
Type: text/x-patch
Size: 6397 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170812/7653e932/attachment.bin>