Displaying 2 results from an estimated 2 matches for "scevcommutativeexpr".
2010 Jun 29
2
[LLVMdev] Confuse on getSCEVAtScope
...computable backedge taken count, some_value should not be a
SCEVAddRec.
and later i have a look computeSCEVAtScope, and see the function do
not do any thing when AddRec->getLoop()->contains(L).
why computeSCEVAtScope not try to get the operands in the current
scope like the function do with SCEVCommutativeExpr, like:
if (const SCEVAddRecExpr *AddRec = dyn_cast<SCEVAddRecExpr>(V)) {
if (!L || !AddRec->getLoop()->contains(L)) {
...
// Then, evaluate the AddRec.
AddRec = AddRec->evaluateAtIteration(BackedgeTakenCount, *this);
}
try to evalue every operand of Ad...
2010 Jun 29
0
[LLVMdev] Confuse on getSCEVAtScope
On Jun 29, 2010, at 7:08 AM, ether zhhb wrote:
>
> why computeSCEVAtScope not try to get the operands in the current
> scope like the function do with SCEVCommutativeExpr, like:
>
> if (const SCEVAddRecExpr *AddRec = dyn_cast<SCEVAddRecExpr>(V)) {
> if (!L || !AddRec->getLoop()->contains(L)) {
> ...
> // Then, evaluate the AddRec.
> AddRec = AddRec->evaluateAtIteration(BackedgeTakenCount, *this);
> }
>
&g...