[PATCH] D105392: [InstCombine] Add optimization to prevent poison from being propagated.

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

This optimization is unnecessarily specific to the load + and + icmp combination. I would expect it to go something like this: If the freeze operand is a) one-use, b) does not produce poison, c) has all but one guaranteed-non-poison operands, then push the freeze through to the one operand that is not guaranteed-non-poison. Recursively, this will push the freeze first through the icmp and then the and, but also work for other instruction sequences.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D105392/new/

https://reviews.llvm.org/D105392