[PATCH] D74817: [MustExecute] Add backward exploration for must-be-executed-context

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

FWIW, the effect of this can be seen in D74888 <https://reviews.llvm.org/D74888> pretty nicely. `llvm.assume` that must have been executed are used to improve the state :)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D74817