[m-rev.] for post-commit review: Match output arguments correctly?for mutually recursive code

Julien Fischer jfischer at opturion.com
Wed Apr 12 11:07:56 AEST 2017



On Wed, 12 Apr 2017, Zoltan Somogyi wrote:

> BTW, there *is* a change in argument passing convention that we have
> considered for which the looser definition of tail call may not work.
> The current LLDS argument passing convention uses general purpose
> registers, because when I designed the Mercury abstract machine,
> the target machines were RISC machines with lots of registers.
> Now, the only target worth discussing is the x86, which has a
> grand total of 2 registers we can use.

Actually, x86_64 with a grand total of 4 we can use ;-)  (Your point
still stands though.)

Julien.


More information about the reviews mailing list