[llvm-dev] target ABI: call parameters handling

[Ulrich Weigand via llvm-dev]

"Reid Kleckner" <rnk at google.com> wrote on 06.10.2021 19:00:44:
> On Wed, Oct 6, 2021 at 9:15 AM Ulrich Weigand <Ulrich.Weigand at de.ibm.com>
wrote:
>> As I commented in another mail, unfortunately this is not true.
>> To ensure correct codegen in all cases, we need to know *which*
>> extension the callee expects: zero- or sign-extension.  The
>> backend cannot know this without being told by the frontend.

> 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.

I guess it's indeed just wording, and we agree on the substance.

Thanks,
Ulrich
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20211007/f8f1bfaf/attachment.html>