<html><body><p><tt><font size="2">"Reid Kleckner" <rnk@google.com> 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><br><br><tt><font size="2">Bye,</font></tt><br><tt><font size="2">Ulrich</font></tt><br><BR>
<BR>
</body></html>