add test suite

.github/workflows/checks.yml

@@ -0,0 +1,48 @@
+name: Checks
+
+on:
+  pull_request:
+  merge_group:
+  push:
+    branches:
+      - main
+
+jobs:
+  check:
+    runs-on: ubuntu-latest
+    timeout-minutes: 10
+    steps:
+      - uses: actions/checkout@v3
+      - uses: dsherret/rust-toolchain-file@v1
+      - uses: actions/cache@v2
+        with:
+          path: |
+            ~/.cargo/registry
+            ~/.cargo/git
+            target
+          key: ${{ runner.os }}-check-${{ hashFiles('**/Cargo.lock') }}
+      - run: RUSTFLAGS="-D warnings" cargo check --all-targets
+  test:
+    runs-on: ubuntu-latest
+    timeout-minutes: 10
+    steps:
+      - uses: actions/checkout@v3
+      - uses: dsherret/rust-toolchain-file@v1
+      - uses: actions/cache@v2
+        with:
+          path: |
+            ~/.cargo/registry
+            ~/.cargo/git
+            target
+          key: ${{ runner.os }}-test-${{ hashFiles('**/Cargo.lock') }}
+      - run: cargo test --release
+  test-cuda:
+    needs: test # don't bother the cuda machine if other tests are failing
+    runs-on: [self-hosted, cuda]
+    timeout-minutes: 10
+    steps:
+      - uses: actions/checkout@v3
+      - uses: dsherret/rust-toolchain-file@v1
+      - run: cargo test --release
+        shell: bash -l {0}
+

Cargo.toml

@@ -25,3 +25,6 @@ default = []
 # C and CUDA features are determined during build
 c = []
 cuda = []
+
+[dev-dependencies]
+insta = { version = "1.39.0", features = ["glob"] }

examples/sort_bitonic/main.bend

@@ -56,4 +56,4 @@ def sort(d, s, t):
       return flow(d, s, (sort(d-1, 0, t.a), sort(d-1, 1, t.b)))
 
 def main:
-  return sum(20, sort(20, 0, gen(20, 0)))
+  return sum(16, sort(16, 0, gen(16, 0)))

examples/sort_bitonic/main.hvm

@@ -17,13 +17,13 @@
   &! @gen ~ (d (e f))
 
 @main = a
-  & @sum ~ (18 (@main__C1 a))
+  & @sum ~ (16 (@main__C1 a))
 
 @main__C0 = a
-  & @gen ~ (18 (0 a))
+  & @gen ~ (16 (0 a))
 
 @main__C1 = a
-  & @sort ~ (18 (0 (@main__C0 a)))
+  & @sort ~ (16 (0 (@main__C0 a)))
 
 @sort = (?(((a (* a)) @sort__C0) (b (c d))) (c (b d)))
 

examples/sort_radix/main.hvm

@@ -23,7 +23,7 @@
 @main = c
   & @sum ~ (b c)
   & @sort ~ (a b)
-  & @gen ~ (20 (0 a))
+  & @gen ~ (16 (0 a))
 
 @merge = ((@merge$C5 (@merge$C3 (@merge$C2 a))) a)
 

examples/stress/main.hvm

@@ -13,4 +13,4 @@
   & @loop ~ a
 
 @main = a
-  & @fun ~ (18 a)
+  & @fun ~ (10 a)

examples/sum_rec/main.bend

@@ -7,4 +7,4 @@ sum = λn λx switch n {
      (+ fst snd)
 }
 
-main = (sum 30 0)
+main = (sum 24 0)

examples/sum_rec/main.hvm

@@ -1,8 +1,8 @@
 @main = a
-  & @sum ~ (28 (0 a))
+  & @sum ~ (24 (0 a))
 
 @sum = (?(((a a) @sum__C0) b) b)
 
 @sum__C0 = ({c a} ({$([*2] $([+1] d)) $([*2] $([+0] b))} f))
-  &! @sum ~ (a (b $(:[+] $(e f))))
+  &! @sum ~ (a (b $([+] $(e f))))
   &! @sum ~ (c (d e))

examples/sum_tree/main.hvm

@@ -5,13 +5,13 @@
   &!@gen ~ (d (e f))
 
 @main = a
-  & @sum ~ (26 (@main__C0 a))
+  & @sum ~ (20 (@main__C0 a))
 
 @main__C0 = a
-  & @gen ~ (26 (0 a))
+  & @gen ~ (20 (0 a))
 
 @sum = (?(((* 1) @sum__C0) a) a)
 
 @sum__C0 = ({a c} ((b d) f))
-  &!@sum ~ (a (b $(:[+] $(e f))))
+  &!@sum ~ (a (b $([+] $(e f))))
   &!@sum ~ (c (d e))