[m-dev.] Please help... once more

[Fergus Henderson]

On 22-Sep-2000, Erwan Jahier <Erwan.Jahier at irisa.fr> wrote:
> 
> | | > +    switch (MR_trace_ctrl.MR_trace_cmd) {
> | | > +	case MR_CMD_COLLECT:
> | | > +             port = (MR_Trace_Port) layout->MR_sll_port;
> | | > +	      path = layout->MR_sll_entry->MR_sle_module_layout
> | | > +		    ->MR_ml_string_table + layout->MR_sll_goal_path;
> | | > +	      MR_COLLECT_filter(seqno, depth, port, layout, 
> | | > +                   path, &stop_collecting);
> | | > +	      if (stop_collecting) {
> | | > +		MR_send_collect_result();
> | | > +		MR_send_message_to_socket("execution_continuing");
> | | > +		}
> | | > +		return NULL;	
> | | > +	  
> | | > 	case MR_CMD_FINISH:
> 
> Ok, I think I have finally find the rigth magic incantations; to make it 
> work, I need to wrap the call to MR_COLLECT_filter() with:
> 
>         [set event_info.MR_max_mr_num to the rigth value]
> 	MR_copy_regs_to_saved_regs(event_info.MR_max_mr_num, saved_regs);
>         MR_COLLECT_filter();
> 	MR_copy_regs_to_saved_regs(event_info.MR_max_mr_num, saved_regs);

Why are those calls needed?

Surely the second call there should be to MR_copy_saved_regs_to_regs()
rather than to MR_copy_regs_to_saved_regs() again?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------