mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-20 16:31:04 +00:00
Code Issues Projects Releases Wiki Activity

Added an optional middle argument to incr_hp, which is the tag that

Browse Source 
all:
	Added an optional middle argument to incr_hp, which is the tag that
	should be applied to hp before it is stored in the given lval.
This commit is contained in:
Zoltan Somogyi
1995-01-19 09:00:51 +00:00
parent 313131240b
commit ab872b395b
8 changed files with 87 additions and 61 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
compiler/opt_debug.m
View File

@@ -637,10 +637,18 @@ opt_debug__dump_instr(if_val(Rval, CodeAddr), Str) :-
opt_debug__dump_rval(Rval, R_str),
opt_debug__dump_code_addr(CodeAddr, C_str),
string__append_list(["if_val(", R_str, ", ", C_str, ")"], Str).
opt_debug__dump_instr(incr_hp(Lval, Rval), Str) :-
opt_debug__dump_instr(incr_hp(Lval, MaybeTag, Size), Str) :-
opt_debug__dump_lval(Lval, L_str),
opt_debug__dump_rval(Rval, R_str),
string__append_list(["incr_hp(", L_str, ", ", R_str, ")"], Str).
(
MaybeTag = no,
T_str = "no"
;
MaybeTag = yes(Tag),
string__int_to_string(Tag, T_str)
),
opt_debug__dump_rval(Size, S_str),
string__append_list(["incr_hp(", L_str, ", ", T_str, ", ", S_str, ")"],
Str).
opt_debug__dump_instr(mark_hp(Lval), Str) :-
opt_debug__dump_lval(Lval, L_str),
string__append_list(["mark_hp(", L_str, ")"], Str).