Sockeye: First version of common buffer query working

Signed-off-by: Lukas Humbel <[email protected]>

socs/soc2_test4.soc

@@ -0,0 +1,27 @@
+module DRAM {
+    input memory (0 bits 40) GDDR0
+    output memory (0 bits 40) RAMOUT
+    GDDR0 accepts [(0x000000000 to 0x0fedfffff)]
+
+    memory (0 bits 40) DRAMMAP
+    DRAMMAP maps [
+        (0x000000000 to 0x0fedfffff) to RAMOUT at (0x000000000 to 0x0fedfffff)
+    ]
+}
+
+module SOCKET {
+    instance RAM of DRAM 
+    RAM instantiates DRAM
+
+    memory (0 bits 40) SOCKET
+    SOCKET maps [
+        (0x000000000 to 0x0fedfffff) to RAM.GDDR0 at (0x000000000 to 0x0fedfffff)
+    ]
+
+    memory (0 bits 40) LOCAL
+    LOCAL accepts [(0x000000000 to 0x0fedfffff)]
+
+    RAM binds [
+        RAMOUT to LOCAL
+    ]
+}

socs/soc2_test5.soc

@@ -0,0 +1,24 @@
+module DRAM {
+    input memory (0 bits 40) GDDR0
+    output memory (0 bits 40) RAMOUT
+    GDDR0 accepts [(0x000000000 to 0x0fedfffff)]
+
+    memory (0 bits 40) DRAMMAP
+    DRAMMAP maps [
+        (0x000000000 to 0x0fedfffff) to RAMOUT at (0x000000000 to 0x0fedfffff)
+    ]
+}
+
+module SOCKET {
+    instance RAM[1 to 3] of DRAM
+    RAM[1] instantiates DRAM
+    RAM[1] binds [
+        RAMOUT to LOCAL
+    ]
+
+    RAM[2 to 3] instantiates DRAM
+    RAM[2 to 3] binds [
+        RAMOUT to LOCAL
+    ]
+
+}

socs/soc2_test6-tf.soc

@@ -0,0 +1,33 @@
+module DRAM {
+    input memory (0 bits 40) GDDR0
+    output memory (0 bits 40) RAMOUT
+    GDDR0 accepts [(0x000000000 to 0x0fedfffff)]
+
+    memory (0 bits 40) DRAMMAP
+    DRAMMAP maps [
+        (0x000000000 to 0x0fedfffff) to RAMOUT at (0x000000000 to 0x0fedfffff)
+    ]
+}
+
+module SOCKET {
+    instance RAM[1 to 2; 10 to 11] of DRAM
+
+    memory (0 bits 40) LOCAL
+    LOCAL accepts [(0x000000000 to 0x0fedfffff)]
+
+    memory (0 bits 40) LOCAL_SRC
+
+    forall x in (1 to 2, 10 to 11) {
+        forall y in (10 to 11) {
+            RAM[x; y] instantiates DRAM
+            RAM[x; y] binds [
+                RAMOUT to LOCAL
+            ]
+
+            LOCAL_SRC maps [
+                (0x1000 to 0x2000) to RAM[x; y].GDDR0 at (0x1000 to 0x2000)
+            ]
+        }
+    }
+
+}

socs/x86_iommu.soc

@@ -2,9 +2,9 @@ module IOMMU {
     input memory (0 bits 40) IN
     output memory (0 bits 40) OUT
 
-    IN maps [
-        (0x000000 to 0xffffff) to OUT at (0x000000 to 0xffffff)   // Add/change IOMMU translations here
-    ]
+    //IN maps [
+    //    (0x000000 to 0xffffff) to OUT at (0x000000 to 0xffffff)
+    //]
 
 }
 
@@ -43,9 +43,9 @@ module PROC {
 module MMU {
     input memory (0 bits 40) IN
     output memory (0 bits 40) OUT
-    IN maps [
-        (0x000000 to 0xffffff) to OUT at (0x000000 to 0xffffff)   // Add/change IOMMU translations here
-    ]
+    //IN maps [
+    //    (0x000000 to 0xffffff) to OUT at (0x000000 to 0xffffff)
+    //]
 }
 
 module PROC_MMU {