Re: question about linker

On 26/11/2024 23:37, BGB wrote:

On 11/26/2024 1:42 PM, Thiago Adams wrote:

On 26/11/2024 16:25, Bart wrote:

I don't think so. But you are welcome to look at godbolt.org and see for yourself. Try this for example:

>
>
>
Yes..I realized now I am wrong. Considering function calls uses registers I think the old C model works only when passing everything on stack.
>
>

 Can still sort of work:
If spill space is provided for any register arguments;
The mapping of arguments to registers does not depend on argument type;
Passing arguments auto-promotes to a consistent representation of the type (say, for example, 'float' auto-promotes to 'double', and 'int' auto-promotes to 'long', ...).

That's still full of problems, unless you impose a stricter type system in what's left of the language (eg. revert to B or even BCPL).
Since it needs to know whether an 8-bit 255 value is sign- or zero-extended to 32 or 64 bits.
Or whether an int value needs to be converted to float or vice versa.
There's also the question of passing structs by value.