[m-rev.] diff: --optimize-dead-procs

[Zoltan Somogyi]

compiler/options.m:
	Make --optimize-dead-procs part of -O0, instead of -O2, since it
	should reduce compilation time, by both mmc and gcc, by eliminating
	unnecessary compilations of opt_imported procedures in the library.

Zoltan.

cvs diff: Diffing .
Index: options.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.452
diff -u -b -r1.452 options.m
--- options.m	22 Mar 2005 06:40:16 -0000	1.452
+++ options.m	22 Mar 2005 06:51:21 -0000
@@ -2350,6 +2350,7 @@
 	smart_indexing		-	bool(yes),
 	optimize_jumps		-	bool(yes),
 	optimize_labels		-	bool(yes),
+	optimize_dead_procs	-	bool(yes),
 	excess_assign		-	bool(yes)	% ???
 ]).
 
@@ -2375,7 +2376,6 @@
 	optimize_fulljumps	-	bool(yes),
 	optimize_repeat		-	int(3),
 	optimize_dups		-	bool(yes),
-	optimize_dead_procs	-	bool(yes),
 	follow_code		-	bool(yes),
 	inline_simple		-	bool(yes),
 	inline_single_use	-	bool(yes),
cvs diff: Diffing notes
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------