Displaying 7 results from an estimated 7 matches for "extending_load_matchdata".
2018 Nov 30
2
[RFC] Tablegen-erated GlobalISel Combine Rules
...scussed is that the result of extending_load_predicate has been moved to the new 'outs' section of GIMatchPredicate and the code expansion refers to a particular output of the predicate using 'matchinfo.B' similar to a struct member or multi-operand ComplexPatterns.
>> def extending_load_matchdata : GIDefMatchData<"PreferredTuple">;
>> def extending_load_predicate : GIMatchPredicate<
>> bool, (ins reg:$A), (outs extending_load_matchdata:$B), [{
>> return Helper.matchCombineExtendingLoads(${A}, ${B});
>> }]>;
>> de...
2018 Nov 27
3
[RFC] Tablegen-erated GlobalISel Combine Rules
...been discussed is that the result of extending_load_predicate has been moved to the new 'outs' section of GIMatchPredicate and the code expansion refers to a particular output of the predicate using 'matchinfo.B' similar to a struct member or multi-operand ComplexPatterns.
def extending_load_matchdata : GIDefMatchData<"PreferredTuple">;
def extending_load_predicate : GIMatchPredicate<
bool, (ins reg:$A), (outs extending_load_matchdata:$B), [{
return Helper.matchCombineExtendingLoads(${A}, ${B});
}]>;
def extending_loads : GICombineRule<
(...
2018 Nov 27
2
[RFC] Tablegen-erated GlobalISel Combine Rules
...xtValue() }], apint_value:$B):$NB,
(G_ADD $t1, $A, $A),
(G_ADD $D, $t1, $NB))>;
// $D is needed because we wanted operand instead of reg. We could rewrite the predicate to take a reg though.
def extending_loads : GICombineRule<
(defs operand:$D, reg:$A, extending_load_matchdata:$matchinfo),
(match (G_LOAD $D, $A),
(extending_load_predicate operand:$A,
extending_load_matchdata:$matchinfo)),
(apply (exec [{ Helper.applyCombineExtendingLoads(${D}, ${matchinfo.B}); }],
reg:$D, extending_load_ma...
2018 Nov 30
2
[RFC] Tablegen-erated GlobalISel Combine Rules
...}], apint_value:$B):$NB,
>> (G_ADD $t1, $A, $A),
>> (G_ADD $D, $t1, $NB))>;
>> // $D is needed because we wanted operand instead of reg. We could rewrite the predicate to take a reg though.
>> def extending_loads : GICombineRule<
>> (defs operand:$D, reg:$A, extending_load_matchdata:$matchinfo),
>> (match (G_LOAD $D, $A),
>> (extending_load_predicate operand:$A,
>> extending_load_matchdata:$matchinfo)),
>> (apply (exec [{ Helper.applyCombineExtendingLoads(${D}, ${matchinfo.B}); }],
>> reg:$D, extending_load_matchdata:$matchinfo)>;
>>...
2018 Nov 09
5
[RFC] Tablegen-erated GlobalISel Combine Rules
...ously and decides on the best way to rewrite it to minimize the sign/zero/any-extend operations. This rule passes a struct (PreferredTuple) between the current C++ equivalent for the match to the current C++ equivalent to the apply. Converting that into this tablegen syntax, we'd write:
def extending_load_matchdata : GIDefMatchData<"PreferredTuple">;
def extending_load_predicate : GIMatchPredicate<
(ins reg:$A, extending_load_matchdata:$B), bool, [{
return Helper.matchCombineExtendingLoads(${A}, ${matchinfo});
}]>;
def extending_loads : GICombineRule<...
2018 Nov 10
3
[RFC] Tablegen-erated GlobalISel Combine Rules
...decides on the best way to rewrite it to minimize the sign/zero/any-extend operations. This rule passes a struct (PreferredTuple) between the current C++ equivalent for the match to the current C++ equivalent to the apply. Converting that into this tablegen syntax, we'd write:
>> def extending_load_matchdata : GIDefMatchData<"PreferredTuple">;
>> def extending_load_predicate : GIMatchPredicate<
>> (ins reg:$A, extending_load_matchdata:$B), bool, [{
>> return Helper.matchCombineExtendingLoads(${A}, ${matchinfo});
>
> I assume this was intend...
2018 Nov 12
3
[RFC] Tablegen-erated GlobalISel Combine Rules
...a common mistake otherwise:
let ApplyCannotUseMatchedOperand = 1;
I'd also be inclined to make it a warning for this to be unset if the result has a name.
>>>> }]>;
>>>> def extending_loads : GICombineRule<
>>>> (defs root:$root, reg:$A, extending_load_matchdata:$matchinfo),
>>>> (match [{MIR %root = G_LOAD %A }],
>>>> (extending_load_predicate root:$A,
>>>> extending_load_matchdata:$matchinfo)),
>>>> (apply (exec [{ Helper.applyCombineExtending...