Displaying 3 results from an estimated 3 matches for "hypothesistoken".
2019 Sep 17
2
ScalarEvolution invariants around wrapping flags
...achieved by making all expressions
immutable. Sites currently const_casting AddRecExprs instead get a new
one with the flags they want. Sites trying to help out other codepaths
by cacheing this info are out of luck.
4. Speculation scenarios are allowed, and achieved by adding something
like a "HypothesisToken" to SCEV objects, to keep them separate from
each other and guaranteed properties. As in 2, maybe a Loop is enough
if public users can't speculate.
Any ideas gratefully received.
Cheers.
Tim.
Description of bug: the loop gets duplicated, with one copy guarded by
both "x == 0 &...
2019 Sep 19
2
ScalarEvolution invariants around wrapping flags
...pressions
> immutable. Sites currently const_casting AddRecExprs instead get a new
> one with the flags they want. Sites trying to help out other codepaths
> by cacheing this info are out of luck.
> 4. Speculation scenarios are allowed, and achieved by adding something
> like a "HypothesisToken" to SCEV objects, to keep them separate from
> each other and guaranteed properties. As in 2, maybe a Loop is enough
> if public users can't speculate.
>
> Any ideas gratefully received.
>
> Cheers.
>
> Tim.
>
> Description of bug: the loop gets duplicated, wi...
2019 Sep 19
2
ScalarEvolution invariants around wrapping flags
...currently const_casting AddRecExprs instead get a new
>>> one with the flags they want. Sites trying to help out other codepaths
>>> by cacheing this info are out of luck.
>>> 4. Speculation scenarios are allowed, and achieved by adding something
>>> like a "HypothesisToken" to SCEV objects, to keep them separate from
>>> each other and guaranteed properties. As in 2, maybe a Loop is enough
>>> if public users can't speculate.
>>>
>>> Any ideas gratefully received.
>>>
>>> Cheers.
>>>
>>>...