Files
mercury/scripts
Zoltan Somogyi 709ff8e20c Replace --num-real-temps "$NUM_REAL_TEMPS" with --num-real-r-temps
Estimated hours taken: 0.1

mc.in:
	Replace --num-real-temps "$NUM_REAL_TEMPS" with --num-real-r-temps
	"$NUM_REAL_R_TEMPS". Since NUM_REAL_TEMPS is not defined, the old
	code was buggy (why can't sh require declarations of variables? :-)
	We now also use the more correct form of the option name.

	Before this fix, value numbering incorrectly thought that no
	temporary variables were kept in registers, and as a result it
	frequently rejected improved code fragments improperly because,
	due to this bug, its cost model said they they were too expensive.
1996-10-30 06:56:35 +00:00
..