Displaying 3 results from an estimated 3 matches for "irindependentadd".
2018 Nov 28
3
[RFC] Tablegen-erated GlobalISel Combine Rules
...as they see fit.
>
> The idea of sharing code between InstCombine and MIR for combines that make sense to both isn't something I intend to work on but it does fit within the syntax proposed.
> It would be something along the lines of:
> class IRIndependentBinaryOp;
> def IRIndependentAdd;
> def IRIndependentMul;
> def : GICombineRule<(defs ...), (match (IRIndependentMul $C, $A, 2)), (apply (IRIndependentAdd $C, $A, $A))>;
> The backend(s) would need to know how to match and create LLVM-IR and MIR versions of IRIndependentMul and IRIndependentAdd much like the...
2018 Nov 26
2
[RFC] Tablegen-erated GlobalISel Combine Rules
Hi Daniel,
Thanks for the reply!
Le lun. 26 nov. 2018 à 10:00, Daniel Sanders
<daniel_l_sanders at apple.com> a écrit :
>
> Hi Quentin,
>
> Sorry for the slow reply.
>
> > On Nov 16, 2018, at 09:25, Quentin Colombet <quentin.colombet at gmail.com> wrote:
> >
> > Hi Daniel,
> >
> > I finally read the proposal.
> >
> > I have a
2018 Nov 28
2
[RFC] Tablegen-erated GlobalISel Combine Rules
...see fit.
>
> The idea of sharing code between InstCombine and MIR for combines that
> make sense to both isn't something I intend to work on but it does fit
> within the syntax proposed.
> It would be something along the lines of:
> class IRIndependentBinaryOp;
> def IRIndependentAdd;
> def IRIndependentMul;
> def : GICombineRule<(defs ...), (match (IRIndependentMul $C, $A, 2)),
> (apply (IRIndependentAdd $C, $A, $A))>;
> The backend(s) would need to know how to match and create LLVM-IR and MIR
> versions of IRIndependentMul and IRIndependentAdd much...