Displaying 2 results from an estimated 2 matches for "innermostcontainingloop".
2016 Apr 10
2
ScalarEvolution "add nsw" question
...e output looks like this:
Classifying expressions for: @add
%add = add nsw i32 %x, %y
--> (%x + %y) U: full-set S: full-set
The piece of code that causes this (for me) unexpected result is located
in the ScalarEvolution::getNoWrapFlagsFromUB(...) function and looks
like this:
if (InnermostContainingLoop == nullptr ||
InnermostContainingLoop->getHeader() != BinOp->getParent())
return SCEV::FlagAnyWrap;
If the "InnermostContainingLoop" is a nullptr, thus if the binary
operator is not contained in a loop, all overflow annotations are simply
discarded.
I do not know if I am...
2016 Apr 10
2
ScalarEvolution "add nsw" question
...%add = add nsw i32 %x, %y
> > --> (%x + %y) U: full-set S: full-set
> >
> >The piece of code that causes this (for me) unexpected result is located
> >in the ScalarEvolution::getNoWrapFlagsFromUB(...) function and looks
> >like this:
> >
> > if (InnermostContainingLoop == nullptr ||
> > InnermostContainingLoop->getHeader() != BinOp->getParent())
> > return SCEV::FlagAnyWrap;
> >
> >If the "InnermostContainingLoop" is a nullptr, thus if the binary
> >operator is not contained in a loop, all overflow annotatio...