<html><body><p><tt><font size="2">"Reid Kleckner" <rnk@google.com> wrote on 06.10.2021 19:00:44:<br>> On Wed, Oct 6, 2021 at 9:15 AM Ulrich Weigand <Ulrich.Weigand@de.ibm.com> wrote:</font></tt><br><tt><font size="2">>> As I commented in another mail, unfortunately this is not true.<br>>> To ensure correct codegen in all cases, we need to know *which*<br>>> extension the callee expects: zero- or sign-extension. The<br>>> backend cannot know this without being told by the frontend.</font></tt><br><br><tt><font size="2">> Maybe this is just a wording thing, but I do believe my statement is<br>> true: the backend is absolutely free to guess if it wants to, and <br>> requiring attributes doesn't guarantee correctness. It may just move<br>> the bug to the frontend. I acknowledge that there are risks to <br>> guessing. I just think it is important to consider alternative <br>> designs and weigh the pros and cons.</font></tt><br><br><tt><font size="2">I guess it's indeed just wording, and we agree on the substance.</font></tt><br><br><tt><font size="2">Thanks,</font></tt><br><tt><font size="2">Ulrich</font></tt><br><BR>
<BR>
</body></html>