[Cider 2] Initial test suite setup (#2110)

* Add register dumping * remove the dummy primitive * Configure the test suite and add a bunch of tests * clippy
calyxir · Jun 6, 2024 · c9fdd23 · c9fdd23
1 parent 7d9413a
commit c9fdd23
Show file tree

Hide file tree

Showing 26 changed files with 480 additions and 16 deletions.
diff --git a/interp/cider2-tests/control/if.expect b/interp/cider2-tests/control/if.expect
@@ -0,0 +1,5 @@
+{
+  "mem": [
+    4
+  ]
+}
diff --git a/interp/cider2-tests/control/if_reg.expect b/interp/cider2-tests/control/if_reg.expect
@@ -0,0 +1,8 @@
+{
+  "reg0": [
+    0
+  ],
+  "reg1": [
+    10
+  ]
+}
diff --git a/interp/cider2-tests/control/iter_mult.expect b/interp/cider2-tests/control/iter_mult.expect
@@ -0,0 +1,17 @@
+{
+  "a": [
+    8
+  ],
+  "c": [
+    0
+  ],
+  "i": [
+    4
+  ],
+  "m": [
+    11
+  ],
+  "q": [
+    15
+  ]
+}
diff --git a/interp/cider2-tests/control/par_mem.expect b/interp/cider2-tests/control/par_mem.expect
@@ -0,0 +1,11 @@
+{
+  "a": [
+    1
+  ],
+  "b": [
+    1
+  ],
+  "c": [
+    1
+  ]
+}
diff --git a/interp/cider2-tests/control/par_reg.expect b/interp/cider2-tests/control/par_reg.expect
@@ -0,0 +1,11 @@
+{
+  "a": [
+    1
+  ],
+  "b": [
+    1
+  ],
+  "c": [
+    1
+  ]
+}
diff --git a/interp/cider2-tests/control/reg_seq.expect b/interp/cider2-tests/control/reg_seq.expect
@@ -0,0 +1,8 @@
+{
+  "reg0": [
+    9
+  ],
+  "reg1": [
+    400
+  ]
+}
diff --git a/interp/cider2-tests/control/while.expect b/interp/cider2-tests/control/while.expect
@@ -0,0 +1,8 @@
+{
+  "i": [
+    8
+  ],
+  "lt_reg": [
+    0
+  ]
+}
diff --git a/interp/cider2-tests/par-to-seq/par_mem.expect b/interp/cider2-tests/par-to-seq/par_mem.expect
@@ -0,0 +1,11 @@
+{
+  "a": [
+    1
+  ],
+  "b": [
+    1
+  ],
+  "c": [
+    1
+  ]
+}
diff --git a/interp/cider2-tests/par-to-seq/par_reg.expect b/interp/cider2-tests/par-to-seq/par_reg.expect
@@ -0,0 +1,11 @@
+{
+  "a": [
+    1
+  ],
+  "b": [
+    1
+  ],
+  "c": [
+    1
+  ]
+}
diff --git a/interp/cider2-tests/primitives/add-overflow.expect b/interp/cider2-tests/primitives/add-overflow.expect
@@ -0,0 +1,8 @@
+{
+  "reg0": [
+    7
+  ],
+  "reg1": [
+    7
+  ]
+}
diff --git a/interp/cider2-tests/primitives/binary.expect b/interp/cider2-tests/primitives/binary.expect
@@ -0,0 +1,35 @@
+{
+  "add_reg": [
+    409
+  ],
+  "and_reg": [
+    8
+  ],
+  "eq_reg": [
+    1
+  ],
+  "ge_reg": [
+    1
+  ],
+  "gt_reg": [
+    0
+  ],
+  "le_reg": [
+    1
+  ],
+  "lt_reg": [
+    0
+  ],
+  "neq_reg": [
+    0
+  ],
+  "or_reg": [
+    15
+  ],
+  "sub_reg": [
+    391
+  ],
+  "xor_reg": [
+    7
+  ]
+}
diff --git a/interp/cider2-tests/primitives/flickering_go.expect b/interp/cider2-tests/primitives/flickering_go.expect
@@ -0,0 +1,20 @@
+{
+  "mult0": [
+    0
+  ],
+  "mult1": [
+    32
+  ],
+  "mult_reg0": [
+    0
+  ],
+  "mult_reg1": [
+    32
+  ],
+  "reg0": [
+    0
+  ],
+  "reg1": [
+    12
+  ]
+}
diff --git a/interp/cider2-tests/primitives/mem.expect b/interp/cider2-tests/primitives/mem.expect
@@ -0,0 +1,8 @@
+{
+  "mem": [
+    9
+  ],
+  "reg0": [
+    9
+  ]
+}
diff --git a/interp/cider2-tests/primitives/mem2.expect b/interp/cider2-tests/primitives/mem2.expect
@@ -0,0 +1,25 @@
+{
+  "mem0": [
+    0,
+    0,
+    0,
+    2,
+    1,
+    0,
+    0,
+    0
+  ],
+  "mem1": [
+    0,
+    0,
+    0,
+    0,
+    1,
+    0,
+    0,
+    0
+  ],
+  "reg0": [
+    1
+  ]
+}
diff --git a/interp/cider2-tests/primitives/reg.expect b/interp/cider2-tests/primitives/reg.expect
@@ -0,0 +1,8 @@
+{
+  "reg0": [
+    157
+  ],
+  "reg1": [
+    157
+  ]
+}
diff --git a/interp/cider2-tests/primitives/slice.expect b/interp/cider2-tests/primitives/slice.expect
@@ -0,0 +1,14 @@
+{
+  "reg0": [
+    0
+  ],
+  "reg1": [
+    1
+  ],
+  "reg14": [
+    14
+  ],
+  "reg15": [
+    15
+  ]
+}
diff --git a/interp/cider2-tests/primitives/sqrt.expect b/interp/cider2-tests/primitives/sqrt.expect
@@ -0,0 +1,5 @@
+{
+  "result": [
+    20
+  ]
+}