Displaying 3 results from an estimated 3 matches for "getextendaddrecstart".
2018 Feb 08
2
[SCEV] Inconsistent SCEV formation for zext
.../ AddRec. Negative step causes unsigned wrap, but it
// still can't self-wrap.
const_cast<SCEVAddRecExpr *>(AR)->setNoWrapFlags(SCEV::FlagNW);
// Return the expression with the addrec on the outside.
return getAddRecExpr(
getExtendAddRecStart<SCEVZeroExtendExpr>(AR, Ty, this,
Depth + 1),
getSignExtendExpr(Step, Ty, Depth + 1), L,
AR->getNoWrapFlags());
}
I believe it is wrong for ScalarEvolution to use a simplified SCEV for inter...
2018 Feb 10
0
[SCEV] Inconsistent SCEV formation for zext
...it
>
> // still can't self-wrap.
>
> const_cast<SCEVAddRecExpr *>(AR)->setNoWrapFlags(SCEV::FlagNW);
>
> // Return the expression with the addrec on the outside.
>
> return getAddRecExpr(
>
> getExtendAddRecStart<SCEVZeroExtendExpr>(AR, Ty, this,
>
> Depth + 1),
>
> getSignExtendExpr(Step, Ty, Depth + 1), L,
>
> AR->getNoWrapFlags());
>
> }
>
>
>
> I believe it is w...
2018 Feb 11
2
[SCEV] Inconsistent SCEV formation for zext
...t;
> // still can't self-wrap.
>
> const_cast<SCEVAddRecExpr
> *>(AR)->setNoWrapFlags(SCEV::FlagNW);
>
> // Return the expression with the addrec on the outside.
>
> return getAddRecExpr(
>
> getExtendAddRecStart<SCEVZeroExtendExpr>(AR, Ty, this,
>
> Depth + 1),
>
> getSignExtendExpr(Step, Ty, Depth + 1), L,
>
> AR->getNoWrapFlags());
>
> }
>
>
>
> I believe it is w...