[m-rev.] for review: make java grade not imply intermodule optimisation

[Julien Fischer]

On Thu, 11 Jun 2009, Peter Wang wrote:

> Bootchecked in hlc.gc.

Please also check hl.gc.

> Successfully compiled and ran Mercury compiler and
> minizinc tools in java grade without intermodule optimisation.

Last I checked, mzn2fzn didn't compile in the java grade.  Is that not
the case anymore?  (I guess if intermodule optimiztion is not enabled
then maybe the bytecode for that big predicate doesn't exceed the limit
on method sizes?)

> Branches: main
>
> Make the java (and il) grade not require intermodule optimisation.  It did so
> because the compiler needs be able to expand out equivalence types, even if
> the equivalence is defined in the implementation section of another module.
>
> Simon had, later on, implemented a better solution, where the definitions of
> abstract equivalence types are written to the _implementation_ sections of
> interface files (plus supporting imports and definitions).
>
> This change therefore just stops the java grades implying intermodule
> optimisation, and fixes a couple of problems that surfaced.  I also made the
> changes for the il grade (untested).
>
> compiler/equiv_type_hlds.m:
>        Expand out equivalence types in the cons_table part of the HLDS.
>
> compiler/type_ctor_info.m:
>        Create type_ctor_infos for equivalence types even on java (and il)
>        as they will be referred to by generated code.
>
> compiler/add_type.m:
>        Add special predicates for equivalence types even on java (and il)
>        as they will be referred to by RTTI structures.
>
> compiler/hlds_code_util.m:
>        Delete are_equivalence_types_expanded as it is no longer used.
>
> compiler/handle_options.m:
> compiler/options.m:
> tests/invalid/Mercury.options:
> tests/invalid/purity/Mmakefile:
>        Delete the --automatic-intermodule-optimization developer option.
>
> compiler/special_pred.m:
>        Fix formatting.

That's fine.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------