[m-rev.] trivial diff: optionally output arg_infos in HLDS dumps

Fergus Henderson fjh at cs.mu.OZ.AU
Thu Feb 28 04:40:54 AEDT 2002


Estimated hours taken: 0.5
Branches: main

compiler/hlds_out.m:
	If --dump-hlds-options includes 'A',
	dump the arg_info field of the proc_info.

doc/user_guide.texi:
	Document the new option.

Workspace: /home/ceres/fjh/mercury
Index: compiler/hlds_out.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/hlds_out.m,v
retrieving revision 1.275
diff -u -d -r1.275 hlds_out.m
--- compiler/hlds_out.m	26 Feb 2002 02:45:37 -0000	1.275
+++ compiler/hlds_out.m	27 Feb 2002 17:37:27 -0000
@@ -3073,6 +3073,7 @@
 	{ proc_info_headvars(Proc, HeadVars) },
 	{ proc_info_argmodes(Proc, HeadModes) },
 	{ proc_info_maybe_arglives(Proc, MaybeArgLives) },
+	{ proc_info_arg_info(Proc, ArgInfos) },
 	{ proc_info_goal(Proc, Goal) },
 	{ proc_info_context(Proc, ModeContext) },
 	{ proc_info_get_maybe_arg_size_info(Proc, MaybeArgSize) },
@@ -3188,6 +3189,18 @@
 		hlds_out__write_indent(Indent),
 		io__write_string("% arg lives: "),
 		io__print(ArgLives),
+		io__nl
+	;
+		[]
+	),
+
+	(
+		{ string__contains_char(Verbose, 'A') },
+		{ ArgInfos \= [] }
+	->
+		hlds_out__write_indent(Indent),
+		io__write_string("% arg_infos: "),
+		io__print(ArgInfos),
 		io__nl
 	;
 		[]
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.296
diff -u -d -r1.296 user_guide.texi
--- doc/user_guide.texi	25 Feb 2002 03:52:38 -0000	1.296
+++ doc/user_guide.texi	27 Feb 2002 17:39:01 -0000
@@ -3963,6 +3963,7 @@
 t - results of termination analysis,
 u - unification categories,
 v - variable numbers in variable names,
+A - argument passing information,
 C - clause information,
 I - imported predicates,
 M - mode and inst information,

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



More information about the reviews mailing list