[m-rev.] diff: fix test case failure in tests/general/accumulator

Simon Taylor stayl at cs.mu.OZ.AU
Fri Mar 30 14:10:12 AEST 2001



Estimated hours taken: 0.1

tests/general/accumulator/Mmakefile:
	There appears to be a bug in value numbering which causes
	split.m to generate incorrect output, so turn it off for
	that test case.

	Deforestation optimizes away many of the opportunities for
	accumulator introduction in the test cases, so turn it off. 


Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/general/accumulator/Mmakefile,v
retrieving revision 1.14
diff -u -u -r1.14 Mmakefile
--- Mmakefile	2001/01/24 14:20:31	1.14
+++ Mmakefile	2001/03/30 04:09:00
@@ -41,7 +41,14 @@
 		--intermodule-optimization
 
 	# Optimizations to turn off/on.
-OPT_FLAGS = --trace-optimized --excess-assign --common-struct
+	# Deforestation optimizes away the opportunities for accumulator
+	# introduction in many of the test cases, so turn it off.
+OPT_FLAGS = --trace-optimized --excess-assign --common-struct \
+		--no-deforestation
+
+	# XXX There appears to be a bug in value numbering which
+	# causes incorrect output from this test case.
+MCFLAGS-split = --no-optimize-value-number
 
 	# Ensure that the accumulator introduction flags are passed
 	# after EXTRA_MCFLAGS, so that we can override things set in
--------------------------------------------------------------------------
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