[PATCH] D37215: [ValueTracking] improve reverse assumption inference

[Nikita Popov via Phabricator via llvm-commits]

nikic requested review of this revision.
nikic added a comment.

In the meantime additional users of `isAssumeLikeIntrinsic()` have been added, so I've switched this to call `isAssumeLikeIntrinsic()` from `isGuaranteedToTransferExecutionToSuccessor()` instead. Does this still look good?


Repository:
  rL LLVM

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

https://reviews.llvm.org/D37215