diff: profiling bug fixes in low-level C code

[Tyson Dowd]

On 30-Jan-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 1.5
> 
> Fix profiling problems caused by the hand-coded low-level C code
> not setting up the profiling information correctly.
> 
> library/std_util.m:
> 	Fix some typos in the "caller" argument of call() instructions
> 	in the hand-coded low-level C code for builtin_aggregate/4.
> 
> library/string.m:
> library/benchmarking.m:
> library/std_util.m:
> 	Add calls to set_prof_current_proc() at resumption labels
> 	in hand-coded low-level C code.
> 	For string__append_3_3, use tailcall() rather than GOTO,
> 	so that we set prof_current_proc.

This fix is fine for the moment, but strictly speaking these should be
reimplemented using nondet pragma C code.

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't eveyone's cup of
     trd at cs.mu.oz.au        #  fur.
http://www.cs.mu.oz.au/~trd #