Unifier.UnifyPointer: add missing brackets around (Domain.Selector | …

…Domain.Pointer)
uxmal · Nov 30, 2023 · 13e03c7 · 13e03c7
1 parent e58e12d
commit 13e03c7
Show file tree

Hide file tree

Showing 205 changed files with 224,311 additions and 140,199 deletions.
diff --git a/src/Core/Types/Unifier.cs b/src/Core/Types/Unifier.cs
@@ -781,7 +781,7 @@ public void Unify()
             if (b is PrimitiveType pb)
             {
                 if ((ptrA.Size == 0 || pb.Size == 0 || ptrA.Size == pb.Size) &&
-                    (pb.Domain & Domain.Pointer | Domain.Selector) != 0)
+                    (pb.Domain & (Domain.Pointer | Domain.Selector)) != 0)
                 {
                     return ptrA.Clone();
                 }

diff --git a/src/UnitTests/Decompiler/Typing/TypedExpressionRewriterTests.cs b/src/UnitTests/Decompiler/Typing/TypedExpressionRewriterTests.cs
@@ -1513,7 +1513,7 @@ define main
 main_entry:
 	// succ:  l1
 l1:
-	(0xC00<16>->*((char *) bx + 4<i32>))()
+	(0xC00<16>->*(bx + 4<16>))()
 main_exit:
 
 ";

diff --git a/src/tests/Analysis/CrwIpLiveness.exp b/src/tests/Analysis/CrwIpLiveness.exp
@@ -91,7 +91,7 @@ fn0C00_0026_exit:
 Register word16 fn0C00_0033(Sequence segptr32 ds_si)
 // MayUse:  Sequence ds:si:[0..31]
 // DataTypes: 
-//   Sequence ds:si: (ptr32 (struct 0002))
+//   Sequence ds:si: (union (segptr32 u0) ((ptr32 (struct 0002)) u1))
 // LiveOut: ax
 // Trashed: SCZO ax Top
 // Preserved: sp

diff --git a/src/tests/Analysis/CrwParameters.exp b/src/tests/Analysis/CrwParameters.exp
@@ -47,7 +47,7 @@ fn0C00_0000_exit:
 Register word16 fn0C00_0025(Sequence segptr32 ds_si, Register out ptr16 siOut)
 // MayUse:  Sequence ds:si:[0..31]
 // DataTypes: 
-//   Sequence ds:si: (ptr32 (struct 0002))
+//   Sequence ds:si: (union (segptr32 u0) ((ptr32 (struct 0002)) u1))
 // LiveOut: ax si
 // Trashed: ax si Top
 // Preserved: sp
@@ -80,7 +80,7 @@ fn0C00_0025_exit:
 Register word16 fn0C00_0027(Sequence segptr32 ds_si, Register out ptr16 siOut)
 // MayUse:  Sequence ds:si:[0..31]
 // DataTypes: 
-//   Sequence ds:si: (ptr32 (struct 0002))
+//   Sequence ds:si: (union (segptr32 u0) ((ptr32 (struct 0002)) u1))
 // LiveOut: ax si
 // Trashed: SCZO ax si Top
 // Preserved: sp
@@ -127,7 +127,7 @@ fn0C00_0027_exit:
 Register word16 fn0C00_002F(Sequence segptr32 ds_si, Register out ptr16 siOut)
 // MayUse:  Sequence ds:si:[0..31]
 // DataTypes: 
-//   Sequence ds:si: (ptr32 (struct 0006))
+//   Sequence ds:si: (union (segptr32 u0) ((ptr32 (struct 0006)) u1))
 // LiveOut: ax si
 // Trashed: ax si Top
 // Preserved: sp

diff --git a/src/tests/Analysis/CrwProcIsolation.exp b/src/tests/Analysis/CrwProcIsolation.exp
@@ -41,7 +41,7 @@ fn0C00_0000_exit:
 void fn0C00_000F(Sequence segptr32 ds_di)
 // MayUse:  Sequence ds:di:[0..31]
 // DataTypes: 
-//   Sequence ds:di: (ptr32 (struct 0002))
+//   Sequence ds:di: (union (segptr32 u0) ((ptr32 (struct 0002)) u1))
 // LiveOut:
 // Trashed: Top
 // Preserved: sp

diff --git a/src/tests/Analysis/CrwSliceReturn.exp b/src/tests/Analysis/CrwSliceReturn.exp
@@ -36,7 +36,7 @@ fn0C00_0000_exit:
 Register word16 fn0C00_0015(Sequence segptr32 ds_si)
 // MayUse:  Sequence ds:si:[0..31]
 // DataTypes: 
-//   Sequence ds:si: (ptr32 (struct 0002))
+//   Sequence ds:si: (union (segptr32 u0) ((ptr32 (struct 0002)) u1))
 // LiveOut: ax
 // Trashed: ax Top
 // Preserved: sp

diff --git a/src/tests/Analysis/CrwStackVariables.exp b/src/tests/Analysis/CrwStackVariables.exp
@@ -48,7 +48,7 @@ fn0C00_0000_exit:
 Register word16 fn0C00_0020(Stack segptr32 ptrArg02)
 // MayUse:  Stack +0002:[0..31]
 // DataTypes: 
-//   Stack +0002: (ptr32 (struct 0006))
+//   Stack +0002: (union (segptr32 u0) ((ptr32 (struct 0006)) u1))
 // LiveOut: ax
 // Trashed: ax bx es Top
 // Preserved: bp sp
@@ -80,7 +80,7 @@ fn0C00_0020_exit:
 Register word16 fn0C00_002E(Stack segptr32 ptrArg02, Stack word16 wArg06)
 // MayUse:  Stack +0002:[0..31] Stack +0006:[0..15]
 // DataTypes: 
-//   Stack +0002: (ptr32 (struct 0008))
+//   Stack +0002: (union (segptr32 u0) ((ptr32 (struct 0008 (6 T_6 t0006))) u1))
 //   Stack +0006: word16
 // LiveOut: ax
 // Trashed: SCZO ax bx es Top

diff --git a/src/tests/Analysis/CrwVoidFunctions.exp b/src/tests/Analysis/CrwVoidFunctions.exp
@@ -118,7 +118,7 @@ void fn0C00_0029(Sequence segptr32 ds_di, Register word16 ax)
 // MayUse:  ax:[0..15] Sequence ds:di:[0..31]
 // DataTypes: 
 //   ax: word16
-//   Sequence ds:di: (ptr32 (struct 0002))
+//   Sequence ds:di: (union (segptr32 u0) ((ptr32 (struct 0002 (0 T_2 t0000))) u1))
 // LiveOut:
 // Trashed: Top
 // Preserved: sp
@@ -147,7 +147,7 @@ fn0C00_0029_exit:
 void fn0C00_002C(Sequence segptr32 ds_di, Stack word16 wArg02)
 // MayUse:  Sequence ds:di:[0..31] Stack +0002:[0..15]
 // DataTypes: 
-//   Sequence ds:di: (ptr32 (struct 0002))
+//   Sequence ds:di: (union (segptr32 u0) ((ptr32 (struct 0002 (0 T_2 t0000))) u1))
 //   Stack +0002: word16
 // LiveOut:
 // Trashed: ax Top

diff --git a/src/tests/Typing/DtbReals.exp b/src/tests/Typing/DtbReals.exp
@@ -46,7 +46,7 @@ Eq_3: (ptr16 (segment (400 T_52 t0400) (408 T_57 t0408)))
 	T_3 (in ds : selector)
 	T_6 (in ds : selector)
 	T_14 (in ds : selector)
-Eq_4: (ptr32 (fn T_11 (T_3, T_9, T_10)))
+Eq_4: (union (segptr32 u0) ((ptr32 (fn T_11 (T_3, T_9, T_10))) u1))
 	T_4 (in fn0C00_0010 : segptr32)
 	T_5 (in signature of fn0C00_0010 : void)
 Eq_7: (memptr T_6 (struct (0 T_19 t0000) (8 T_24 t0008) (10 T_29 t0010)))
@@ -57,7 +57,7 @@ Eq_8: (memptr T_6 (struct (0 T_39 t0000) (20 T_43 t0020) (28 T_48 t0028)))
 	T_10 (in 0x320<16> : word16)
 Eq_11: void
 	T_11 (in fn0C00_0010(ds, 0x300<16>, 0x320<16>) : void)
-Eq_12: (ptr32 (fn T_15 (T_3)))
+Eq_12: (union (segptr32 u0) ((ptr32 (fn T_15 (T_3))) u1))
 	T_12 (in fn0C00_0037 : segptr32)
 	T_13 (in signature of fn0C00_0037 : void)
 Eq_15: void
@@ -154,11 +154,11 @@ T_3: (in ds : selector)
   OrigDataType: (ptr16 (segment))
 T_4: (in fn0C00_0010 : segptr32)
   Class: Eq_4
-  DataType: (ptr32 (fn T_11 (T_3, T_9, T_10)))
-  OrigDataType: (ptr32 (fn T_11 (T_3, T_9, T_10)))
+  DataType: (union (segptr32 u0) ((ptr32 (fn T_11 (T_3, T_9, T_10))) u1))
+  OrigDataType: (union (segptr32 u0) ((ptr32 (fn T_11 (T_3, T_9, T_10))) u1))
 T_5: (in signature of fn0C00_0010 : void)
   Class: Eq_4
-  DataType: (ptr32 (fn T_11 (T_3, T_9, T_10)))
+  DataType: (union (segptr32 u0) ((ptr32 (fn T_11 (T_3, T_9, T_10))) u1))
   OrigDataType: 
 T_6: (in ds : selector)
   Class: Eq_3
@@ -186,11 +186,11 @@ T_11: (in fn0C00_0010(ds, 0x300<16>, 0x320<16>) : void)
   OrigDataType: void
 T_12: (in fn0C00_0037 : segptr32)
   Class: Eq_12
-  DataType: (ptr32 (fn T_15 (T_3)))
-  OrigDataType: (ptr32 (fn T_15 (T_3)))
+  DataType: (union (segptr32 u0) ((ptr32 (fn T_15 (T_3))) u1))
+  OrigDataType: (union (segptr32 u0) ((ptr32 (fn T_15 (T_3))) u1))
 T_13: (in signature of fn0C00_0037 : void)
   Class: Eq_12
-  DataType: (ptr32 (fn T_15 (T_3)))
+  DataType: (union (segptr32 u0) ((ptr32 (fn T_15 (T_3))) u1))
   OrigDataType: 
 T_14: (in ds : selector)
   Class: Eq_3

diff --git a/src/tests/Typing/DtbReg00011.exp b/src/tests/Typing/DtbReg00011.exp
@@ -34,7 +34,7 @@ Eq_1: (ptr32 (struct "Globals"))
 	globals_t (in globals : (ptr32 (struct "Globals")))
 Eq_2: (ptr16 (segment "seg0C00_t" 002A))
 	T_2 (in seg0C00 : selector)
-Eq_3: (ptr32 (fn T_5 ()))
+Eq_3: (union (segptr32 u0) ((ptr32 (fn T_5 ())) u1))
 	T_3 (in fn0C00_0004 : segptr32)
 	T_4 (in signature of fn0C00_0004 : void)
 Eq_5: void
@@ -106,11 +106,11 @@ T_2: (in seg0C00 : selector)
   OrigDataType: (ptr16 (segment "seg0C00_t" 002A))
 T_3: (in fn0C00_0004 : segptr32)
   Class: Eq_3
-  DataType: (ptr32 (fn T_5 ()))
-  OrigDataType: (ptr32 (fn T_5 ()))
+  DataType: (union (segptr32 u0) ((ptr32 (fn T_5 ())) u1))
+  OrigDataType: (union (segptr32 u0) ((ptr32 (fn T_5 ())) u1))
 T_4: (in signature of fn0C00_0004 : void)
   Class: Eq_3
-  DataType: (ptr32 (fn T_5 ()))
+  DataType: (union (segptr32 u0) ((ptr32 (fn T_5 ())) u1))
   OrigDataType: 
 T_5: (in fn0C00_0004() : void)
   Class: Eq_5

diff --git a/src/tests/Typing/TerComparison.exp b/src/tests/Typing/TerComparison.exp
@@ -15,17 +15,19 @@ define proc1
 proc1_entry:
 	// succ:  l1
 l1:
-	f = p->ptr0004 < &g_t1028
+	f = p->t0004.u1 < 0x1028<32>
 proc1_exit:
 
 // Equivalence classes ////////////
-Eq_1: (struct "Globals" (1028 Eq_5 t1028))
+Eq_1: (struct "Globals")
 	globals_t (in globals : (ptr32 (struct "Globals")))
-Eq_2: (struct "Eq_2" (4 (ptr32 Eq_5) ptr0004))
+Eq_2: (struct "Eq_2" (4 Eq_5 t0004))
 	T_2 (in p : (ptr32 Eq_2))
-Eq_5: (struct "foo" 0008)
-	T_5 (in Mem0[p + 4<32>:(ptr32 (struct "foo" 0008))] : (ptr32 (struct "foo" 0008)))
+Eq_5: (union "Eq_5" (int32 u0) ((ptr32 Eq_9) u1))
+	T_5 (in Mem0[p + 4<32>:(ptr32 Eq_9)] : (ptr32 Eq_9))
 	T_6 (in 0x1028<32> : word32)
+Eq_9: (struct "foo" 0008)
+	T_9
 // Type Variables ////////////
 globals_t: (in globals : (ptr32 (struct "Globals")))
   Class: Eq_1
@@ -43,19 +45,23 @@ T_4: (in p + 4<32> : word32)
   Class: Eq_4
   DataType: word32
   OrigDataType: word32
-T_5: (in Mem0[p + 4<32>:(ptr32 (struct "foo" 0008))] : (ptr32 (struct "foo" 0008)))
+T_5: (in Mem0[p + 4<32>:(ptr32 Eq_9)] : (ptr32 Eq_9))
   Class: Eq_5
-  DataType: (ptr32 Eq_5)
-  OrigDataType: (ptr32 (struct "foo" 0008))
+  DataType: Eq_5
+  OrigDataType: (union (int32 u0) ((ptr32 Eq_9) u1))
 T_6: (in 0x1028<32> : word32)
   Class: Eq_5
-  DataType: (ptr32 Eq_5)
+  DataType: int32
   OrigDataType: int32
-T_7: (in p->ptr0004 < &g_t1028 : bool)
+T_7: (in p->t0004.u1 < 0x1028<32> : bool)
   Class: Eq_7
   DataType: bool
   OrigDataType: bool
 T_8: (in f : bool)
   Class: Eq_7
   DataType: bool
   OrigDataType: bool
+T_9:
+  Class: Eq_9
+  DataType: Eq_9
+  OrigDataType: 
diff --git a/src/tests/Typing/TerReg00011.exp b/src/tests/Typing/TerReg00011.exp
@@ -67,7 +67,7 @@ Eq_1: (struct "Globals" (4DE10 (ptr16 Eq_25) ptr4DE10))
 	globals_t (in globals : (ptr32 (struct "Globals")))
 Eq_2: (segment "seg0C00_t" 002A)
 	T_2 (in seg0C00 : selector)
-Eq_3: (fn void ())
+Eq_3: (union "Eq_3" (segptr32 u0) ((ptr32 (fn void ())) u1))
 	T_3 (in fn0C00_0004 : segptr32)
 	T_4 (in signature of fn0C00_0004 : void)
 Eq_6: (union "Eq_6" (int16 u0) ((memptr (ptr16 Eq_25) byte) u1))
@@ -89,11 +89,11 @@ T_2: (in seg0C00 : selector)
   OrigDataType: (ptr16 (segment "seg0C00_t" 002A))
 T_3: (in fn0C00_0004 : segptr32)
   Class: Eq_3
-  DataType: (ptr32 Eq_3)
-  OrigDataType: (ptr32 (fn T_5 ()))
+  DataType: Eq_3
+  OrigDataType: (union (segptr32 u0) ((ptr32 (fn void ())) u1))
 T_4: (in signature of fn0C00_0004 : void)
   Class: Eq_3
-  DataType: (ptr32 Eq_3)
+  DataType: Eq_3
   OrigDataType: 
 T_5: (in fn0C00_0004() : void)
   Class: Eq_5

diff --git a/src/tests/Typing/TtranFactorial.exp b/src/tests/Typing/TtranFactorial.exp
@@ -36,7 +36,7 @@ Eq_2: (segment "seg0C00_t" 002B)
 	T_2 (in seg0C00 : selector)
 Eq_3: (segment (64 int16 w0064))
 	T_3 (in ds : selector)
-Eq_4: (fn int16 (int16))
+Eq_4: (union (segptr32 u0) ((ptr32 (fn int16 (int16))) u1))
 	T_4 (in fn0C00_000F : segptr32)
 	T_5 (in signature of fn0C00_000F : void)
 	T_17 (in fn0C00_000F : segptr32)
@@ -55,11 +55,11 @@ T_3: (in ds : selector)
   OrigDataType: (ptr16 (segment (64 T_11 t0064)))
 T_4: (in fn0C00_000F : segptr32)
   Class: Eq_4
-  DataType: (ptr32 Eq_4)
-  OrigDataType: (ptr32 (fn T_8 (T_7)))
+  DataType: Eq_4
+  OrigDataType: (union (segptr32 u0) ((ptr32 (fn T_8 (T_7))) u1))
 T_5: (in signature of fn0C00_000F : void)
   Class: Eq_4
-  DataType: (ptr32 Eq_4)
+  DataType: Eq_4
   OrigDataType: 
 T_6: (in wArg02 : word16)
   Class: Eq_6
@@ -107,8 +107,8 @@ T_16: (in ax_13 : word16)
   OrigDataType: int16
 T_17: (in fn0C00_000F : segptr32)
   Class: Eq_4
-  DataType: (ptr32 Eq_4)
-  OrigDataType: (ptr32 (fn T_19 (T_18)))
+  DataType: Eq_4
+  OrigDataType: (union (segptr32 u0) ((ptr32 (fn T_19 (T_18))) u1))
 T_18: (in wArg02 - 1<16> : word16)
   Class: Eq_6
   DataType: int16

diff --git a/src/tests/Typing/TtranFactorialReg.exp b/src/tests/Typing/TtranFactorialReg.exp
@@ -36,7 +36,7 @@ Eq_2: (segment "seg0C00_t" 0021)
 	T_2 (in seg0C00 : selector)
 Eq_3: (segment (64 int16 w0064))
 	T_3 (in ds : selector)
-Eq_4: (fn int16 (int16))
+Eq_4: (union (segptr32 u0) ((ptr32 (fn int16 (int16))) u1))
 	T_4 (in fn0C00_000B : segptr32)
 	T_5 (in signature of fn0C00_000B : void)
 	T_17 (in fn0C00_000B : segptr32)
@@ -55,11 +55,11 @@ T_3: (in ds : selector)
   OrigDataType: (ptr16 (segment (64 T_11 t0064)))
 T_4: (in fn0C00_000B : segptr32)
   Class: Eq_4
-  DataType: (ptr32 Eq_4)
-  OrigDataType: (ptr32 (fn T_8 (T_7)))
+  DataType: Eq_4
+  OrigDataType: (union (segptr32 u0) ((ptr32 (fn T_8 (T_7))) u1))
 T_5: (in signature of fn0C00_000B : void)
   Class: Eq_4
-  DataType: (ptr32 Eq_4)
+  DataType: Eq_4
   OrigDataType: 
 T_6: (in cx : word16)
   Class: Eq_6
@@ -107,8 +107,8 @@ T_16: (in ax_11 : word16)
   OrigDataType: int16
 T_17: (in fn0C00_000B : segptr32)
   Class: Eq_4
-  DataType: (ptr32 Eq_4)
-  OrigDataType: (ptr32 (fn T_20 (T_19)))
+  DataType: Eq_4
+  OrigDataType: (union (segptr32 u0) ((ptr32 (fn T_20 (T_19))) u1))
 T_18: (in 1<16> : word16)
   Class: Eq_18
   DataType: int16

diff --git a/src/tests/Typing/TtranMemAccesses.exp b/src/tests/Typing/TtranMemAccesses.exp
@@ -45,11 +45,11 @@ Eq_3: (segment (100 word16 w0100) (200 word16 w0200) (202 word16 w0202) (300 wor
 	T_3 (in ds : selector)
 	T_6 (in ds : selector)
 	T_10 (in ds : selector)
-Eq_4: (fn void ((ptr16 Eq_3)))
+Eq_4: (union (segptr32 u0) ((ptr32 (fn void ((ptr16 Eq_3)))) u1))
 	T_4 (in fn0C00_000C : segptr32)
 	T_5 (in signature of fn0C00_000C : void)
 	T_16 (in fn0C00_000C : segptr32)
-Eq_8: (fn void ((ptr16 Eq_3)))
+Eq_8: (union (segptr32 u0) ((ptr32 (fn void ((ptr16 Eq_3)))) u1))
 	T_8 (in fn0C00_0015 : segptr32)
 	T_9 (in signature of fn0C00_0015 : void)
 // Type Variables ////////////
@@ -67,11 +67,11 @@ T_3: (in ds : selector)
   OrigDataType: (ptr16 (segment (100 T_15 t0100)))
 T_4: (in fn0C00_000C : segptr32)
   Class: Eq_4
-  DataType: (ptr32 Eq_4)
-  OrigDataType: (ptr32 (fn T_7 (T_3)))
+  DataType: Eq_4
+  OrigDataType: (union (segptr32 u0) ((ptr32 (fn T_7 (T_3))) u1))
 T_5: (in signature of fn0C00_000C : void)
   Class: Eq_4
-  DataType: (ptr32 Eq_4)
+  DataType: Eq_4
   OrigDataType: 
 T_6: (in ds : selector)
   Class: Eq_3
@@ -83,11 +83,11 @@ T_7: (in fn0C00_000C(ds) : void)
   OrigDataType: void
 T_8: (in fn0C00_0015 : segptr32)
   Class: Eq_8
-  DataType: (ptr32 Eq_8)
-  OrigDataType: (ptr32 (fn T_11 (T_3)))
+  DataType: Eq_8
+  OrigDataType: (union (segptr32 u0) ((ptr32 (fn void ((ptr16 Eq_3)))) u1))
 T_9: (in signature of fn0C00_0015 : void)
   Class: Eq_8
-  DataType: (ptr32 Eq_8)
+  DataType: Eq_8
   OrigDataType: 
 T_10: (in ds : selector)
   Class: Eq_3
@@ -115,8 +115,8 @@ T_15: (in Mem7[ds:0x100<16>:word16] : word16)
   OrigDataType: word16
 T_16: (in fn0C00_000C : segptr32)
   Class: Eq_4
-  DataType: (ptr32 Eq_4)
-  OrigDataType: (ptr32 (fn T_17 (T_3)))
+  DataType: Eq_4
+  OrigDataType: (union (segptr32 u0) ((ptr32 (fn T_17 (T_3))) u1))
 T_17: (in fn0C00_000C(ds) : void)
   Class: Eq_7
   DataType: void