Displaying 3 results from an estimated 3 matches for "foldingsetid".
2019 Sep 17
2
ScalarEvolution invariants around wrapping flags
...f must only create expressions it knows hold in all cases. This
sounds too restrictive to me.
2. Speculation not allowed outside ScalarEvolution, but
ScalarEvolution can speculate about a specific Loop. I think this
entails making non-AddRec expressions immutable (with Flags included
as part of the FoldingSetID) and ensuring that any modification of an
AddRec is provable within its Loop.
3. Speculation is allowed, and 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 t...
2019 Sep 19
2
ScalarEvolution invariants around wrapping flags
...sions it knows hold in all cases. This
> sounds too restrictive to me.
> 2. Speculation not allowed outside ScalarEvolution, but
> ScalarEvolution can speculate about a specific Loop. I think this
> entails making non-AddRec expressions immutable (with Flags included
> as part of the FoldingSetID) and ensuring that any modification of an
> AddRec is provable within its Loop.
> 3. Speculation is allowed, and 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 cod...
2019 Sep 19
2
ScalarEvolution invariants around wrapping flags
...gt;>> sounds too restrictive to me.
>>> 2. Speculation not allowed outside ScalarEvolution, but
>>> ScalarEvolution can speculate about a specific Loop. I think this
>>> entails making non-AddRec expressions immutable (with Flags included
>>> as part of the FoldingSetID) and ensuring that any modification of an
>>> AddRec is provable within its Loop.
>>> 3. Speculation is allowed, and achieved by making all expressions
>>> immutable. Sites currently const_casting AddRecExprs instead get a new
>>> one with the flags they want. Si...