[m-rev.] for review: change test_mercury optimization options for earth

Simon Taylor stayl at cs.mu.OZ.AU
Tue Aug 14 02:21:39 AEST 2001


Estimated hours taken: 0.2

tools/test_mercury:
	Enable constraint propagation and deforestation when
	testing the `latest' branch on earth.cs.mu.oz.au.
	The performance problems which caused deforestation
	to be disabled have been fixed.


Index: test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.158
diff -u -u -r1.158 test_mercury
--- test_mercury	2001/08/06 12:38:40	1.158
+++ test_mercury	2001/08/13 16:18:43
@@ -116,11 +116,28 @@
 				*)	OPTIMIZE=-O2 ;;
 			esac ;;
 
-			# XXX There are some performance problems
-			# with deforestation (module_qual__process_assert takes
-			# forever to compile with --intermodule-optimization
-			# and --deforestation), so disable it for now.
-	earth)		OPTIMIZE="-O5 --intermodule-optimization --no-deforestation" ;;
+	earth)	
+			case $BRANCH in
+			    latest)
+				OPTIMIZE="-O5 --intermodule-optimization \
+						--constraint-propagation"
+				;;
+
+			    0.10)
+				# There are some performance problems with
+				# deforestation on the release branch.
+				# The compiler takes forever to compile
+				# module_qual__process_assert with
+				# `--intermodule-optimization'
+				# and `--deforestation'.
+				# `--constraint-propagation' does not
+				# work on the release branch.
+				OPTIMIZE="-O5 --intermodule-optimization \
+						--no-deforestation"
+				;;
+			esac
+			;;
+
 	mars)		OPTIMIZE=-O5 ;;
 	kryten) 	OPTIMIZE=-O1 ;;	# currently not used
 	rimmer) 	OPTIMIZE=-O1 ;; # currently not used

--------------------------------------------------------------------------
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