[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