Displaying 2 results from an estimated 2 matches for "assumptiontrack".
Did you mean:
assumptiontracker
2018 Mar 28
0
Evaluate SCEV on "typically expected value"
Hi,
As far as I understand, AssumptionTracker is just a compile-time
optimization to avoid having to iterate over instructions to find a
relevant @llvm.assume. In case of @llvm.expect, one can just look up
the definition, which would be the @llvm.expect. Some time ago there
was a patch that replaced AssumptionTracker but got reverted.
I see...
2018 Mar 28
2
Evaluate SCEV on "typically expected value"
Hello,
We have some transformations based on SCEV and they usually end-up making
heuristic decision based on SCEV comparison. While there are some
situations where the comparison is trivial (subtract then look at the sign
of the range), there are also a lot of situation where it is not (the range
contains 0 strictly [aka. not on the boundary]). And we then take a
"default" choice.
To