<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Jun 22, 2021 at 11:54 AM Anirudh Prasad via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi All,<br>
<br>
We wanted to bring up the possibility of introducing a new inline asm constraint for all targets. This new constraint is meant to be used as a replacement for the register asm construct. Part of the motivation behind this proposal is to come up with something that is a bit nicer and more obvious to use. The new inline asm constraint would be as follows:<br>
<br>
{“<register-name>”} (operand name) ...<br>
<br>
The constraint will try to tie the particular inline asm operand to a specific register.<br>
<br>
This is also proposed as an RFC in the GCC mailing lists (<a href="https://gcc.gnu.org/pipermail/gcc/2021-June/236269.html" rel="noreferrer" target="_blank">https://gcc.gnu.org/pipermail/gcc/2021-June/236269.html</a>). We would ideally like to maintain consistency with GCC.<br></blockquote><div><br></div><div>Sounds good --  if GCC also implements it. Behind the scenes, Clang effectively already implements this proposal -- the register-asm-variables are just a strange frontend spelling for hard register constraints. They do nothing else, and in particular, they do NOT necessarily live in that register other than when being passed to/from an inline asm. So, we'd be adding a second (more obvious) spelling to do the exact same thing we already implement. IMO it would not be worth it if this new syntax was unique to Clang, but is if both clang and gcc implement it.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Why we believe the introduction of this new “hard register” inline asm constraint to be useful?<br>
<br>
1. It is more flexible than the register asm construct since a user does not need to be concerned with which registers are previously mapped to which variable(s).<br>
2. The documentation of the register asm construct (https:/ /<a href="http://gcc.gnu.org/onlinedocs/gcc/Local-Register-Variables.html" rel="noreferrer" target="_blank">gcc.gnu.org/onlinedocs/gcc/Local-Register-Variables.html</a>) specifies that function calls might clobber registers assigned with "register asm". Using this new inline asm constraint ensures that the operand is assigned to a particular register only in the context of the inline asm call.<br>
</blockquote><div><br></div><div>This advantage doesn't apply to Clang, because the asm-register variables are already assigned to the named register only in the context of an inline asm call.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">3. One register asm variable cannot be used for 2 different inline assembly statements if the value is expected in different hard registers.<br>
<br>
We are very interested in hearing opinions on the above proposal!<br></blockquote><div><br></div><div> </div></div></div>