[m-dev.] argument packing

[Julien Fischer]

On Thu, 17 May 2018, Peter Wang wrote:

> On Thu, 17 May 2018 01:26:10 +0200 (CEST), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
>> diff --git a/compiler/handle_options.m b/compiler/handle_options.m
>> index dce8cd8..6695702 100644
>> --- a/compiler/handle_options.m
>> +++ b/compiler/handle_options.m
>> @@ -1344,14 +1344,17 @@ convert_options_to_globals(OptionTable0, OpMode, Target,
>>      ),
>>
>>      % Argument packing only works on C back-ends with low-level data.
>> -    % In the future, we may want to use C bit-field syntax for high-level data.
>> -    % For other back-ends, any RTTI code will need to be updated to cope with
>> -    % packed arguments.
>> -    %
>> -    % Only C targets may store a constructor argument across two words.
>> -    option_implies(highlevel_data, arg_pack_bits, int(0), !Globals),
>> -    (
>> +    % In the future, we may want to use C bit-field syntax on C backends
>> +    % with high-level data. For the other target languages, implementing
>> +    % argument packing will not just a lot of work on RTTI, but also

The wording of that comment is awry too.


>> +    % generalizing field addressing, to allow both single fields and
>> +    % a group of adjacent fields packed into a single word to be
>> +    % addressed via a mechanism other than an argument's name.

Julien.