Displaying 1 result from an estimated 1 matches for "isknownnotfullpoison".
2016 Apr 10
2
ScalarEvolution "add nsw" question
Hey Sanjoy,
Thanks for the quick repsonse.
On 04/10, Sanjoy Das wrote:
> [+CC Bjarke who wrote getNoWrapFlagsFromUB + related bits]
Also thanks.
> One fundamental reason why we cannot reason about NoWrap flags in SCEV
> for arithmetic outside of loops is to avoid issues like this:
>
> if (cond) {
> val[x +nsw y] = 42;
> } else {
> val[x + y] = 42;
> }
>
>