Use proper machine timer

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@7879 8c9fc860-2736-0410-a75d-ab315db34111

source/AMD64.FoxArrayBaseOptimized.Mod

@@ -52,7 +52,7 @@ TYPE
 		PROCEDURE & Init*;
 		BEGIN
 			NEW( first );  first.size := 0;   (* sentinel *)
-			NEW( last );  last.size := MAX( LONGINT );   (* sentinel *)
+			NEW( last );  last.size := MAX( SIZE );   (* sentinel *)
 			first.next := last;  first.prev := NIL; last.prev := first;  last.next := NIL;
 		END Init;
 
@@ -4689,23 +4689,14 @@ VAR
 	END DispMX;
 	*)
 
-	PROCEDURE -GetTimer( ): HUGEINT;
-	CODE {SYSTEM.AMD64}
-		CPUID	;
-		XOR RAX, RAX
-		RDTSC	
-		SHL RDX, 32
-		OR RAX, RDX
-	END GetTimer;
-
 	PROCEDURE Tic( VAR t: HUGEINT );
 	BEGIN
-		t := GetTimer();
+		t := Machine.GetTimer();
 	END Tic;
 
 	PROCEDURE Toc( VAR t, addto: HUGEINT );
 	BEGIN
-		INC( addto, GetTimer() - t );  t := GetTimer();
+		INC( addto, Machine.GetTimer() - t );  t := Machine.GetTimer();
 	END Toc;
 
 	PROCEDURE MultiplyX( A, B, C: ADDRESS;

source/I386.FoxArrayBaseOptimized.Mod

@@ -52,7 +52,7 @@ TYPE
 		PROCEDURE & Init*;
 		BEGIN
 			NEW( first );  first.size := 0;   (* sentinel *)
-			NEW( last );  last.size := MAX( LONGINT );   (* sentinel *)
+			NEW( last );  last.size := MAX( SIZE );   (* sentinel *)
 			first.next := last;  first.prev := NIL; last.prev := first;  last.next := NIL;
 		END Init;
 
@@ -4691,20 +4691,14 @@ VAR
 	END DispMX;
 	*)
 
-	PROCEDURE -GetTimer( ): HUGEINT;
-	CODE {SYSTEM.Pentium}
-		CPUID	;
-		RDTSC
-	END GetTimer;
-
 	PROCEDURE Tic( VAR t: HUGEINT );
 	BEGIN
-		t := GetTimer();
+		t := Machine.GetTimer();
 	END Tic;
 
 	PROCEDURE Toc( VAR t, addto: HUGEINT );
 	BEGIN
-		INC( addto, GetTimer() - t );  t := GetTimer();
+		INC( addto, Machine.GetTimer() - t );  t := Machine.GetTimer();
 	END Toc;
 
 	PROCEDURE MultiplyX( A, B, C: ADDRESS;