[llvm-dev] [GlobalISel][RFC] Contract between LLVM IR and the backends for ISel

[Quentin Colombet via llvm-dev]

Hi,

I would like your opinions on the contract we have between the LLVM IR and the backends.


* Context *

Right now, the backends are supposed to be able to perform instruction selection on any valid LLVM IR.
Although this is *not* something I want to change for GlobalISel, I thought I brought that up on the mailing list to discuss the implications.

In particular, in the past, some people mentioned that they wanted to do (some part of) the legalization on LLVM IR. This may impact the contract we have between LLVM IR inputs and the backends and I would like to clarify that.


* Feedback Needed *

1. In your opinion where does a “backend" start?

For instance, does a backend starts at llc or at ISel?


2. Where does this contract apply?

For instance, is it at the start of the backend or at ISel (assuming those two definitions are different).


* Implications *

Personally, I consider the backend starts at isel time and that the contract should remain what it is currently: being able to select any valid LLVM IR. I.e., this means we cannot rely on any LLVM IR legalization without changing the contract.

Thoughts?

Thanks,
-Quentin