[m-rev.] for review: optimizations for foreign_procs

[Zoltan Somogyi]

On 12-Jan-2007, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> >+the compiler is allowed make its own judgement in the matter,
> >+based on factors such as the size of the code fragment.
> 
> As far as the decision made by the inliner to inline or not goes is
> may_duplicate equivalent in its effect to an inline pragma for the
> predicate?  If so, the I suggest mentioning that here.

No, it is not equivalent; the attribute is used by jumpopt.m on the LLDS level.

> I suggest changing the diff so that the compiler emits an error message if a
> may_duplicate or may_not_duplicate conflicts with a pragam inline or pragma
> no_inline declaration for the predicate.  (Please add a test case(s) to 
> tests/invalid for this error message as well.)

Done.

Zoltan.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------