[PATCH] D129874: [SCEV][NFC][CT] Cheaper handling of guards in isBasicBlockEntryGuardedByCond

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

Good question. I guess we just never got to do it. And parallelizing the PM will face much more problem than that. For example, we sometimes see a situation in SCEV when condition A implies B, but when we simplify A (e.g. replace with invariant), B is not always implyable. How many of these do we have - I don't know.


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

https://reviews.llvm.org/D129874