[RFC] TIR Language Specification

[slyubomirsky]

Rendered view.

This RFC proposes including a language specification (draft included) for TIR in TVM's documentation.

Many thanks to all who reviewed and commented on earlier drafts (see the acknowledgements in the RFC text), especially @junrushao, @vinx13, and @Lunderberg, who were my primary guides to TIR during the initial drafting process.

[slyubomirsky]

Requesting reviews from some in the community who are knowledgeable about TIR (including those who assisted in the draft): @Hzfengsy @tqchen @junrushao @Lunderberg @vinx13 @cyx-6 @MasterJH5574

I would also welcome suggestions on other TIR contributors whose attention should be drawn to this RFC.

Perhaps it might make sense to set up a channel on the TVM Discord to allow for some real-time discussion.

[slyubomirsky]

@kparzysz-quic @yzh119 Perhaps you might also be interested in reviewing (feel free to tag others as well).

[slyubomirsky]

I've added an update for recently added inter-PrimFunc calls, please have a look!