[m-rev.] for review: making pointer_equal a builtin

[Julien Fischer]

On Fri, 28 Nov 2014, Peter Wang wrote:

> On Thu, 27 Nov 2014 20:10:06 +1100 (EST), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
>>
>>
>> On Thu, 27 Nov 2014 18:00:30 +1100, Peter Wang <novalazy at gmail.com> wrote:
>>
>>>> There was an inline pragma on its definition, but most programs, including
>>>> the compiler, are not compiled with the intermodule optimization options
>>>> that would allow this to take effect. Making it a builtin gets around this
>>>> problem.
>>>
>>> Minor point: most programs are compiled without intermodule optimization
>>> _during development_.
>>
>> I don't know about you, but I don't enable intermodule optimization
>> on the compiler even when I install it.
>
> Most users would (necessarily) install from the pregenerated C sources,
> which are generated with intermodule optimizations enabled.

The pregenerated C sources are *not* generated with
--intermodule-optimization enabled.  For the record they are compiled
with:

     -O5 --opt-space --cross-compiling --no-smart-indexing

(And have been compiled with the above for a *very* long time.)

Cheers,
Julien.