Fix test p047 loopholes for various types on 32 bit architectures

Author: demoitem

m3-sys/m3tests/src/p0/p047/Main32.m3

@@ -0,0 +1,78 @@
+(* Copyright (C) 1994, Digital Equipment Corporation. *)
+(* All rights reserved.                               *)
+(* See the file COPYRIGHT for a full description.     *)
+ 
+(* LOOPHOLE tests between integer types and real types *)
+
+UNSAFE MODULE Main32 EXPORTS Main;
+
+FROM Test IMPORT checkI,checkR,checkL,checkX,checkN,done;
+
+TYPE
+  Int32 = [0..16_7FFFFFFF];
+  Rec32 = RECORD
+            xx : BITS 32 FOR Int32;
+          END;
+
+PROCEDURE Test() =
+  VAR
+    i : INTEGER;
+    l : LONGINT;
+    a : ADDRESS;
+    r1 : REAL;
+    l1 : LONGREAL;
+    e1 : EXTENDED;
+    int32 : Int32;
+    rec32 : Rec32;
+  BEGIN
+
+    checkI (BITSIZE(INTEGER), 32);
+    checkI (BITSIZE(LONGINT), 64);
+    checkI (BITSIZE(ADDRESS), 32);
+    checkI (BITSIZE(int32), 32);
+    checkI (BITSIZE(LONGREAL), BITSIZE(EXTENDED));
+
+    (* REAL *)
+    
+    i := LOOPHOLE(r1,INTEGER);
+    
+    r1 := 1.234E0;
+    int32 := LOOPHOLE(r1,Int32);
+    checkI(1067316150,int32);
+
+    r1 := LOOPHOLE(int32,REAL);
+    checkR(1.234E0,r1);
+    
+    rec32 := LOOPHOLE(r1,Rec32);
+    checkI(1067316150,rec32.xx);
+    
+    (* LONGREAL *)
+    
+    l1 := 1.234D0;
+    l := LOOPHOLE(l1,LONGINT);
+    checkN(4608236261112822104L,l);
+    
+    l1 := LOOPHOLE(l,LONGREAL);
+    checkL(1.234D0,l1);
+
+    (* EXTENDED *)
+    
+    l1 := 1.234D0;
+    e1 := LOOPHOLE(l1,EXTENDED);
+    checkX(1.234X0,e1);
+
+    l1 := LOOPHOLE(e1,LONGREAL);
+    checkL(1.234D0,l1);
+
+    (* ADDRESS *)
+
+    a := LOOPHOLE(i,ADDRESS);
+    a := LOOPHOLE(r1,ADDRESS);
+
+  END Test;
+
+BEGIN
+  Test();
+  done ();
+END Main32.
+

m3-sys/m3tests/src/p0/p047/Main.m3 m3-sys/m3tests/src/p0/p047/Main64.m3m3-sys/m3tests/src/p0/p047/Main.m3 renamed to m3-sys/m3tests/src/p0/p047/Main64.m3

@@ -4,12 +4,12 @@
 
 (* LOOPHOLE tests between integer types and real types *)
 
-UNSAFE MODULE  Main;
+UNSAFE MODULE Main64 EXPORTS Main;
 
-FROM Test IMPORT checkI,checkR,checkL,checkX,done;
+FROM Test IMPORT checkI,checkR,checkL,checkX,checkN,done;
 
 TYPE
-  Int32 = [0..16_FFFFFFFF];
+  Int32 = [0..16_7FFFFFFF];
   Rec32 = RECORD
             xx : BITS 32 FOR Int32;
           END;
@@ -25,19 +25,16 @@ PROCEDURE Test() =
     int32 : Int32;
     rec32 : Rec32;
   BEGIN
-(*
+
     checkI (BITSIZE(INTEGER), 64);
+    checkI (BITSIZE(LONGINT), 64);
     checkI (BITSIZE(ADDRESS), 64);
     checkI (BITSIZE(int32), 32);
     checkI (BITSIZE(LONGREAL), BITSIZE(EXTENDED));
     checkI (BITSIZE(LONGINT), BITSIZE(INTEGER));
-*)
+
     (* REAL *)
 
-    (* REAL to INTEGER will not compile on 64 bit - size mismatch 
-    i := LOOPHOLE(r1,INTEGER);
-    *)
-    
     r1 := 1.234E0;
     int32 := LOOPHOLE(r1,Int32);
     checkI(1067316150,int32);
@@ -54,22 +51,30 @@ PROCEDURE Test() =
     i := LOOPHOLE(l1,INTEGER);
     checkI(4608236261112822104,i);
 
-    l1 := LOOPHOLE(i,LONGREAL);
-    checkL(1.234D0,l1);
-
     l := LOOPHOLE(l1,LONGINT);
+    checkN(4608236261112822104L,l);
 
-    a := LOOPHOLE(l1,ADDRESS);
+    l1 := LOOPHOLE(i,LONGREAL);
+    checkL(1.234D0,l1);
 
     (* EXTENDED *)
 
     l1 := 1.234D0;
     e1 := LOOPHOLE(l1,EXTENDED);
     checkX(1.234X0,e1);
 
+    l1 := LOOPHOLE(e1,LONGREAL);
+    checkL(1.234D0,l1);
+
+    (* ADDRESS *)
+
+    a := LOOPHOLE(i,ADDRESS);
+    a := LOOPHOLE(l,ADDRESS);
+    a := LOOPHOLE(l1,ADDRESS);
+
   END Test;
 
 BEGIN
   Test();
   done ();
-END Main.
+END Main64.

m3-sys/m3tests/src/p0/p047/m3makefile

@@ -2,5 +2,10 @@
 % All rights reserved.
 % See the file COPYRIGHT for a full description.
 
-implementation ("Main")
+if equal(WORD_SIZE, "64BITS")
+  implementation("Main64")
+else
+  implementation("Main32")
+end
+
 include ("../../Test.common")