Page MenuHomePhabricator

[MIPS GlobalISel] Select add i32, i32

Authored by Petar.Avramovic on Mar 9 2018, 7:14 AM.



Add the minimal support necessary to lower a function that returns the sum of two i32 values.
Support argument/return lowering of i32 values through registers only.
Add tablegen for regbankselect and instructionselect.

Diff Detail


Event Timeline

Petar.Avramovic created this revision.Mar 9 2018, 7:14 AM

Does anybody have any comment?

dsanders added subscribers: aditya_nandakumar, qcolombet.

Sorry for taking a while to get to this. It's been a busy couple weeks

The ISel and RegisterBank parts look good to me with a couple convention nits fixed.

@aditya_nandakumar: You're more familiar with GlobalISel's calling convention code than I am. Do you have any comments on that part?
@qcolombet: Do you have any comments on the regbankselect part?

22 ↗(On Diff #137748)

I'd recommend making the 'M' lower case here. Very few DEBUG_TYPE's have uppercase letters and there's no error for picking a value that doesn't exist

13 ↗(On Diff #137748)

It's not a requirement but by convention the string should match the def (e.g. def XRegBank : RegisterBank<"X", ...>). ARM doesn't do that because it has a register class by the same name and banks/classes share a namespace in MIR.

Do you have any comments on the regbankselect part?

Looks fine to me.

@aditya_nandakumar: You're more familiar with GlobalISel's calling convention code than I am. Do you have any comments on that part?

From a quick glance, it looks good to me..

Does anyone else have any comments?

I think you're ok to commit

Addressed review comments, update CMakeLists.txt according to changes from rL329181.
Also fix comments about where pointers will be handled.

Petar.Avramovic marked 2 inline comments as done.Apr 10 2018, 7:48 AM

@sdardis, are you OK with the patch?

The LLVM-IR in the MIR test files doesn't match the MIR below, but I haven't checked if that makes a difference.

5 ↗(On Diff #137748)

This IR doesn't match the MIR below.

This function takes two parameters, but doesn't return anything or perform any computation.

The MIR below does the trivial add two parameters and return the result.

No, it doesn't make a difference, except that this way the test is shorter. The alternative is to put the whole ll function like one in add.ll.

sdardis accepted this revision.Apr 11 2018, 5:10 AM

Ok. The translation is covered by the irtranslator tests, so we should catch any unexpected changes.


This revision is now accepted and ready to land.Apr 11 2018, 5:10 AM
This revision was automatically updated to reflect the committed changes.
dsanders added inline comments.Apr 11 2018, 8:16 AM
14–17 ↗(On Diff #141846)

... which reminds me. You can probably delete this 'registers' section too so long as the constraints are defined inline in the body which they appear to be

5 ↗(On Diff #137748)

That's actually fine. MIR mostly only cares about the prototype and having declarations for memory objects. You can often delete everything from the '--- |' to the '...'

petarj added inline comments.Apr 12 2018, 2:55 AM
14–17 ↗(On Diff #141846)

I have deleted it in r329888. Thanks.