PIFO trees: better testing

calyx-py/calyx/pifotree_oracle.py

@@ -0,0 +1,22 @@
+import queues
+
+
+if __name__ == "__main__":
+    commands, values = queues.parse_json()
+
+    # Our PIFO is a little complicated: it is a tree of queues.
+    # The root has two children, which are PIFOs.
+    #   - PIFO_red is the left child.
+    #     + PIFO_red itself has two children, which are FIFOs.
+    #       * FIFO_purple is the left child.
+    #       * FIFO_tangerine is the right child.
+    #       * The boundary for this is 100.
+    #   - FIFO_blue is the right child.
+    #   - The boundary for this is 200.
+
+    pifo = queues.Pifo(
+        queues.Pifo(queues.Fifo([]), queues.Fifo([]), 100), queues.Fifo([]), 200
+    )
+
+    ans = queues.operate_queue(commands, values, pifo)
+    queues.dump_json(commands, values, ans)

calyx-py/test/correctness/pifo_tree.data

@@ -2,17 +2,17 @@
   "commands": {
     "data": [
       2,
+      1,
       2,
+      1,
       2,
       2,
       2,
       2,
       0,
+      1,
       0,
-      0,
-      0,
-      0,
-      0,
+      2,
       0,
       0,
       0
@@ -25,21 +25,21 @@
   },
   "values": {
     "data": [
-      11,
-      12,
-      201,
-      202,
-      203,
-      101,
-      0,
-      0,
-      0,
-      0,
-      0,
-      0,
-      0,
-      0,
-      0
+      190,
+      240,
+      126,
+      194,
+      278,
+      52,
+      293,
+      127,
+      6,
+      374,
+      110,
+      208,
+      143,
+      93,
+      392
     ],
     "format": {
       "is_signed": false,
@@ -66,4 +66,4 @@
       "width": 32
     }
   }
-}
+}

calyx-py/test/correctness/pifo_tree.expect

@@ -1,48 +1,48 @@
 {
   "ans_mem": [
-    11,
-    201,
-    101,
-    202,
-    12,
-    203,
-    0,
-    0,
+    190,
+    190,
+    52,
+    278,
+    278,
+    190,
+    293,
+    126,
     0,
     0
   ],
   "commands": [
     2,
+    1,
     2,
+    1,
     2,
     2,
     2,
     2,
     0,
+    1,
     0,
-    0,
-    0,
-    0,
-    0,
+    2,
     0,
     0,
     0
   ],
   "values": [
-    11,
-    12,
-    201,
-    202,
-    203,
-    101,
-    0,
-    0,
-    0,
-    0,
-    0,
-    0,
-    0,
-    0,
-    0
+    190,
+    240,
+    126,
+    194,
+    278,
+    52,
+    293,
+    127,
+    6,
+    374,
+    110,
+    208,
+    143,
+    93,
+    392
   ]
 }