search for: axiomaticflag

Displaying 4 results from an estimated 4 matches for "axiomaticflag".

Did you mean: axiomaticflags
2017 Aug 08
2
Improving SCEV's behavior around IR level no-wrap
...xpression to indicate no-wrap; since the no-wrap flag is just a "cache" of a proof based on the structure of the SCEV expression, and _does_ apply to all SCEV expressions with the same shapes. Concretely, we'll endow relevant SCEV expression types with two sets distinct of flags: - AxiomaticFlags: These flags follow from nsw/nuw annotations in the IR. These will be part of the key the SCEV expression is unique'd on. - ComputedFlags: These flags are derived from the structure of the SCEV expression, and they're *not* a part of the key the SCEV expression is unique'...
2017 Aug 09
2
Improving SCEV's behavior around IR level no-wrap
...e the no-wrap flag is just a "cache" of a proof based on the structure of the SCEV expression, and _does_ apply to all SCEV expressions with the same shapes. >> >> Concretely, we'll endow relevant SCEV expression types with two sets distinct of flags: >> >> - AxiomaticFlags: These flags follow from nsw/nuw annotations in the >> IR. These will be part of the key the SCEV expression is unique'd >> on. >> - ComputedFlags: These flags are derived from the structure of the >> SCEV expression, and they're *not* a part of the key the S...
2016 Sep 23
6
Improving SCEV's behavior around IR level no-wrap flags
...xpression to indicate no-wrap; since the no-wrap flag is just a "cache" of a proof based on the structure of the SCEV expression, and _does_ apply to all SCEV expressions with the same shapes. Concretely, we'll endow relevant SCEV expression types with two sets distinct of flags: - AxiomaticFlags: These flags follow from nsw/nuw annotations in the IR. These will be part of the key the SCEV expression is unique'd on. - ComputedFlags: These flags are derived from the structure of the SCEV expression, and they're *not* a part of the key the SCEV expression is unique'...
2016 Sep 23
3
Improving SCEV's behavior around IR level no-wrap flags
...hat problem. I hope that I understood Sanjoy its attempt correctly. I belief that a non-wrap and a wrap instruction result into two different SCEV expressions. > >> Concretely, we'll endow relevant SCEV expression types with two sets >> distinct of flags: >> >> - AxiomaticFlags: These flags follow from nsw/nuw annotations in the >> IR. These will be part of the key the SCEV expression is unique'd >> on. >> - ComputedFlags: These flags are derived from the structure of the >> SCEV expression, and they're *not* a part of the key the SCEV...