Displaying 4 results from an estimated 4 matches for "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 wh...
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. Consum...
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 wh...
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....