[m-rev.] diff: speedtest and I/O tabling

Zoltan Somogyi zs at cs.mu.OZ.AU
Tue Jan 28 11:15:41 AEDT 2003


tools/speedtest:
	Add a mechanism to test the speed of programs under mdb with IO tabling
	enabled.

Zoltan.

Index: speedtest
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/speedtest,v
retrieving revision 1.15
diff -u -b -r1.15 speedtest
--- speedtest	28 Mar 2002 03:28:02 -0000	1.15
+++ speedtest	20 Jul 2002 13:12:04 -0000
@@ -6,6 +6,7 @@
 limit=12
 cmd="mmc -C -O2 --grade asm_fast.gc llds_out.m typecheck.m make_hlds.m modules.m code_info.m polymorphism.m"
 debug=false
+table_io=false
 size=false
 framesizefile=""
 
@@ -21,6 +22,9 @@
 	-d)
 		debug=true ;;
 
+	-t)
+		table_io=true ;;
+
 	-f)
 		framesizefile="$2" ; shift ;;
 	-f*)
@@ -99,7 +103,12 @@
 		$ECHO -n "$briefname "
 		if $debug
 		then
+			if $table_io
+			then
+				(echo "table_io start" ; echo "c" ) | $root/tools/dotime mdb $cmd
+			else
 			echo "c" | $root/tools/dotime mdb $cmd
+			fi
 		else
 			$root/tools/dotime $cmd
 		fi
--------------------------------------------------------------------------
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