[PATCH] D110518: [SCEV] Prove isKnown(Non)Negative using CtxI when possible

Max Kazantsev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Sun Sep 26 23:06:06 PDT 2021


mkazantsev added a comment.

Theoretically can be costly in terms of CT. Nikita, could you pls check?


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

https://reviews.llvm.org/D110518



More information about the llvm-commits mailing list