[m-rev.] diff: fix a bug in loop invariant hoisting

[Julien Fischer]

On Mon, 20 Sep 2004, Julien Fischer wrote:

> Index: loop_inv.m
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/compiler/loop_inv.m,v
> retrieving revision 1.12
> diff -u -r1.12 loop_inv.m
> --- loop_inv.m	16 Jun 2004 03:44:45 -0000	1.12
> +++ loop_inv.m	20 Sep 2004 05:10:04 -0000
> @@ -1092,10 +1092,20 @@
>  uniquely_used_vars_2(MI, generic_call(_, Args, Modes, _) - _) =
>      list__filter_map_corresponding(uniquely_used_args(MI), Args, Modes).
>
> -uniquely_used_vars_2(MI, foreign_proc(_, PredId, ProcId, Args, Extras, _) - _) =
> +uniquely_used_vars_2(MI, foreign_proc(_, PredId, ProcId, Args, Extras, _) - _)
> +        = Result :-
> +    %
>
The "Result :-" bit should, of course, not be there.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------