<div dir="ltr">Ah, I see you mentioned it briefly here: <a href="https://youtu.be/6tfb344A7w8?t=15m25s">https://youtu.be/6tfb344A7w8?t=15m25s</a><div>And it is also mentioned here: <a href="http://llvm.org/docs/GlobalISel.html#machineverifier">http://llvm.org/docs/GlobalISel.html#machineverifier</a></div><div><br></div><div>-- Sean Silva</div><div><br></div><div><div class="gmail_extra"><div class="gmail_quote">On Sat, Jan 21, 2017 at 11:19 PM, Sean Silva <span dir="ltr"><<a href="mailto:chisophugis@gmail.com" target="_blank">chisophugis@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Hi Quentin,<div><br></div><div>My understanding is that throughout the GISel lowering process all the lowering steps use the same underlying MI representation, but have different invariants at different points in time (for example, G_ opcodes may be present at some point but it would be an "assert" failure to see them at other points). Are there currently any plans (or things already implemented) to verify that these invariants hold at different points throughout the lowering pipeline? Also, in order to run passes in isolation, ideally they would have nice, easily-understandable failure modes if you feed them MIR with invariants they don't expect.</div><div><div><br></div><div>The reason I bring this up is that at work I'm currently working on a compiler (not llvm-based) which does its lowering on a single IR and this is one of the most consistent pain points. In LLVM we already have this problem in the form of e.g. pre-RA and post-RA MI, but it seems like GISel is going to magnify this significantly.</div><span class="gmail-HOEnZb"><font color="#888888"><div><br></div><div><br></div><div>-- Sean Silva</div></font></span></div></div><div class="gmail_extra"><br><div class="gmail_quote"><div><div class="gmail-h5">On Fri, Jan 20, 2017 at 5:19 PM, Quentin Colombet via llvm-dev <span dir="ltr"><<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>></span> wrote:<br></div></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div class="gmail-h5">Hi all,<br>
<br>
Following the thread from <a href="http://lists.llvm.org/pipermail/llvm-dev/2017-January/109029.html" rel="noreferrer" target="_blank">http://lists.llvm.org/pipermai<wbr>l/llvm-dev/2017-January/<wbr>109029.html</a>, I am sending this email to give a status on GlobalISel progress and situation.<br>
<br>
We are pushing GlobalISel from the state of prototype to a production quality framework. We welcome help with patches, reviews, feedbacks and so on.<br>
<br>
As explained during the last developer meeting, we are aiming at enabling GISel by default for AArch64 at -O0 for this year (See <a href="http://llvm.org/devmtg/2016-11/#talk16" rel="noreferrer" target="_blank">http://llvm.org/devmtg/2016-11<wbr>/#talk16</a>).<br>
<br>
Note: That does not mean the design is settle nor that we won’t change the APIs.<br>
Note: A lot of the things listed in this email is a reminder of what we said during the dev meeting talk.<br>
<br>
*** High Level View ***<br>
<br>
As of r292481, we compile and run correctly with GISel (without fall back to SDISel) 63% of the LLVM test suite. If you are interested in detailed numbers, please see the attachments (courtesy of Kristof Beyls).<br>
<br>
Note: The compile time numbers are probably noisy (compiled in parallel on the same machine), and not relevant at this point of the project anyway.<br>
<br>
<br>
*** Per Pass Status ***<br>
<br>
** IRTranslator **<br>
<br>
Mostly done.<br>
<br>
* What’s Left? *<br>
<br>
Some instructions are not yet supported.<br>
<br>
<br>
** Legalizer **<br>
<br>
Core logic is present.<br>
<br>
* What’s Left? *<br>
<br>
- A lot of instructions are missing, in particular the vector ones.<br>
- Legalization of G_SEQUENCE/G_EXTRACT still up in the air for complex cases.<br>
<br>
Note: The lack of broad vector support is one on the reason we target O0, i.e., the vectorizer doesn’t run and we are less likely to hit the missing implementation.<br>
<br>
<br>
** RegBankSelect **<br>
<br>
- Core logic is present, no optimizations yet, or more accurately, the greedy mode is still pretty silly.<br>
- TableGen support for RegisterBanks description.<br>
<br>
* What’s Left *<br>
<br>
- TableGen the instruction mapping from the existing SDISel patterns.<br>
- Improve the optimization heuristic.<br>
<br>
<br>
** InstructionSelect **<br>
<br>
- Core logic present.<br>
- TableGen support for simple SDISel patterns (i.e., GISel reuses SDISel patterns)<br>
<br>
* What’s Left *<br>
<br>
- Teach TableGen how to reuse more complex patterns:<br>
— Patterns with combines in them (e.g., (mull (add)) => madd)<br>
— Patterns with complex patterns (e.g., SelectAddressModXR0)<br>
<br>
<br>
*** On Going Work ***<br>
<br>
- General approach: use AArch64 O0 on the LLVM test suite as a driving vehicle to guide what to support next in the various passes.<br>
- Extend TableGen support to reuse more and more SDISel patterns.<br>
- ARM port.<br>
- AMDGPU port.<br>
- X86 port.<br>
<br>
If you have questions, don’t hesitate!<br>
<br>
Cheers,<br>
-Quentin<br>
<br></div></div><span class="gmail-">______________________________<wbr>_________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/llvm-dev</a><br>
<br></span></blockquote></div><br></div>
</blockquote></div><br></div></div></div>