[m-rev.] [m-dev.] gh72 test failures at higher optimization levels

[Julien Fischer]

On Mon, 25 Jan 2021, Zoltan Somogyi wrote:

> 2021-01-25 17:25 GMT+11:00 "Peter Wang" <novalazy at gmail.com>:
>>> I'm looking into it now.
>
> Thanks for that.
>
>> The daio pass doesn't change the types and argument modes of
>> higher-order variables which would be bound to daio cloned procedures,
>> and the discrepancy between the number of arguments in a higher-order
>> type or inst, and the number of arguments in a call, confuses the
>> float_regs pass. No other parts of the compiler seem to have a problem
>> with this?
>
> Given that on my laptop, a bootcheck passes with -O5 --intermodule-opt,
> it seems not.
>
>> Here's what I *think* needs to change.
>> I've attached the output of this command:
>> mmc -s asm_fast.gc -O0 -d111 --dump-hlds-options vlDnia gh72.m
>
> I think you are right, but I have to ask: if it affects only (a) code with daio
> args (b) on 32 bit systems, a combination of two rare circumstances,
> is a fix it worth it? Or could we get by with just a sorry, not implemented
> message if we find any daio args on 32 bit systems. Opinions?

I would be inclined to just emit the sorry, not implemented message and
wait to see if anyone complains.  (I doubt you will get such a
complaint.)

Julien.