[m-dev.] for review: make llds_common.m disable-able

[Zoltan Somogyi]

> Make the llds_common.m optimization disable-able.

What is the purpose of this change? I see no possible use except benchmarking.

> compiler/options.m:
> 	Add a new option `--common-data' which enables that
> 	optimization; this option is set at `-O2' and higher.

Why there?

Given that the optimization often reduces the size of the C file significantly,
I would think that enabling it would be appropriate even at -O0.

Apart from that, the change is fine.

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------