Displaying 5 results from an estimated 5 matches for "scevinitrewriter".
2018 May 10
0
ScalarEvolution questions
...; cast(sext, zext, truc)
>
> SCEV: (2 + (sext i32 (-1 + %n.addr.0) to i64))
>
> After force addition expecting something like: “(1 + %n.addr.0)”
You can't ask SCEV to do this directly, but you can rewrite SCEV
expressions to substitute subexpressions in any way you like. E.g.
see SCEVInitRewriter.
-- Sanjoy
2018 May 10
2
ScalarEvolution questions
...e cast(sext, zext, truc)
>
> SCEV: (2 + (sext i32 (-1 + %n.addr.0) to i64))
>
> After force addition expecting something like: “(1 + %n.addr.0)”
You can't ask SCEV to do this directly, but you can rewrite SCEV expressions to substitute subexpressions in any way you like. E.g.
see SCEVInitRewriter.
-- Sanjoy
2018 May 09
2
ScalarEvolution questions
Hi,
I'm new to ScalarEvolution and wanted to explore its capabilities.
I have following few questions:
1) How to compare SCEV expressions.
I have a situation to compare two SCEV to find the min among them.
Found an existing function(getMinFromExprs) in LoopAccessAnalysis which compares two SCEVs.
getMinFromExprs function finds the diff between two SCEV's and then checks for the negative
2018 May 16
0
ScalarEvolution questions
...e cast(sext, zext, truc)
>
> SCEV: (2 + (sext i32 (-1 + %n.addr.0) to i64))
>
> After force addition expecting something like: “(1 + %n.addr.0)”
You can't ask SCEV to do this directly, but you can rewrite SCEV expressions to substitute subexpressions in any way you like. E.g.
see SCEVInitRewriter.
-- Sanjoy
2018 May 16
1
ScalarEvolution questions
...gt;
>> SCEV: (2 + (sext i32 (-1 + %n.addr.0) to i64))
>>
>> After force addition expecting something like: “(1 + %n.addr.0)”
>
> You can't ask SCEV to do this directly, but you can rewrite SCEV expressions to substitute subexpressions in any way you like. E.g.
> see SCEVInitRewriter.
>
> -- Sanjoy