search for: computedflag

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

Did you mean: computedflags
2017 Aug 08
2
Improving SCEV's behavior around IR level no-wrap
...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'd on. For the purposes of consumption, there will be no difference between AxiomaticFlags and ComputedFlags. Consumers will get a union of the two w...
2017 Aug 09
2
Improving SCEV's behavior around IR level no-wrap
...; >> 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'd on. >> >> For the purposes of consumption, there will be no difference between AxiomaticFlags and ComputedFlags. Consu...
2016 Sep 23
6
Improving SCEV's behavior around IR level no-wrap flags
...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'd on. For the purposes of consumption, there will be no difference between AxiomaticFlags and ComputedFlags. Consumers will get a union of the two w...
2016 Sep 23
3
Improving SCEV's behavior around IR level no-wrap flags
...> 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'd on. >> >> For the purposes of consumption, there will be no difference between >> AxiomaticFlags and ComputedFlags....