[PATCH] D98697: [IndVars] Provide eliminateIVComparison with context

Tue Mar 16 05:09:45 PDT 2021

mkazantsev added a comment.

In D98697#2628661 <https://reviews.llvm.org/D98697#2628661>, @lebedev.ri wrote:

> And that's what i was expecting to see: https://llvm-compile-time-tracker.com/compare.php?from=9575c48b8959dae3c3e39e0227435ae6ebd71443&to=c0e80b44e3c80fa9f344b14cbb8435c15f75f94e&stat=instructions
> Are the checks already ordered from less costly to more costly?

That's sad. I think this is happening because, when `false` is trivially provable without context, we still spend a lot of time proving `true` via context. I'll try to find a way around it...

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

https://reviews.llvm.org/D98697