<div dir="ltr"><div dir="ltr">On Wed, Oct 6, 2021 at 9:15 AM Ulrich Weigand <<a href="mailto:Ulrich.Weigand@de.ibm.com">Ulrich.Weigand@de.ibm.com</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><p><tt><font size="2">"Reid Kleckner" <<a href="mailto:rnk@google.com" target="_blank">rnk@google.com</a>> wrote on 06.10.2021 04:31:15:<br><br>> Well, the annotation isn't strictly necessary. The backend can <br>> choose to emit an extension for short integer arguments in the <br>> absence of annotations.</font></tt><br><br><tt><font size="2">As I commented in another mail, unfortunately this is not true.</font></tt><br><tt><font size="2">To ensure correct codegen in all cases, we need to know *which*</font></tt><br><tt><font size="2">extension the callee expects: zero- or sign-extension.  The</font></tt><br><tt><font size="2">backend cannot know this without being told by the frontend.</font></tt><br></p></div></blockquote><div>Maybe this is just a wording thing, but I do believe my statement is true: the backend is absolutely free to guess if it wants to, and requiring attributes doesn't guarantee correctness. It may just move the bug to the frontend. I acknowledge that there are risks to guessing. I just think it is important to consider alternative designs and weigh the pros and cons.</div></div></div>