Snapshot tests

Author: bcarlet

README.md

@@ -0,0 +1,22 @@
+ver = "0.4.1"
+
+[[tests]]
+name = "errors"
+paths = [
+    "tests/errors/backend/*.fpcore",
+    "tests/errors/frontend/**/*.fpcore",
+]
+cmd = "./target/debug/calyx-libm --format Q16.16 {}"
+
+[[tests]]
+name = "errors"
+paths = [
+    "tests/errors/backend/generators/*.fpcore",
+    "tests/errors/backend/ranges/*.fpcore",
+]
+cmd = "./target/debug/calyx-libm $(head -n 1 {} | cut -c 2-) {}"
+
+[[tests]]
+name = "expressions"
+paths = ["tests/expressions/**/*.fpcore"]
+cmd = "./target/debug/calyx-libm --format UQ8.0 {}"

runt.toml

@@ -0,0 +1,11 @@
+---CODE---
+1
+---STDERR---
+error: operator `exp` has infeasible domain
+  ┌─ tests/errors/backend/generators/infeasible_bounds.fpcore:5:3
+  │
+5 │  (exp x))
+  │   ^^^ operator has infeasible domain
+  │
+  = endpoint -1 is out of bounds
+

tests/errors/backend/generators/infeasible_bounds.expect

@@ -0,0 +1,5 @@
+; --format UQ8.8
+(FPCore (x)
+ :calyx-domain (-1 1)
+ :calyx-impl (lut 16)
+ (exp x))

tests/errors/backend/generators/infeasible_bounds.fpcore

@@ -0,0 +1,11 @@
+---CODE---
+1
+---STDERR---
+error: operator `exp` has infeasible domain
+  ┌─ tests/errors/backend/generators/infeasible_stride.fpcore:5:3
+  │
+5 │  (exp x))
+  │   ^^^ operator has infeasible domain
+  │
+  = stride 1/8 is not representable
+

tests/errors/backend/generators/infeasible_stride.expect

@@ -0,0 +1,5 @@
+; --format Q8.2
+(FPCore (x)
+ :calyx-domain (-1 1)
+ :calyx-impl (lut 16)
+ (exp x))

tests/errors/backend/generators/infeasible_stride.fpcore

@@ -0,0 +1,9 @@
+---CODE---
+1
+---STDERR---
+error: overflow
+  ┌─ tests/errors/backend/overflow.fpcore:1:12
+  │
+1 │ (FPCore () 0x1p128)
+  │            ^^^^^^^ value out of range for `(fixed -16 32)`
+

tests/errors/backend/overflow.expect

@@ -0,0 +1 @@
+(FPCore () 0x1p128)

tests/errors/backend/overflow.fpcore

@@ -0,0 +1,9 @@
+---CODE---
+1
+---STDERR---
+error: couldn't bound ranges
+  ┌─ tests/errors/backend/ranges/infinite.fpcore:4:2
+  │
+4 │  (/ 1 x))
+  │  ^^^^^^^ expression has unbounded range
+

tests/errors/backend/ranges/infinite.expect

@@ -0,0 +1,4 @@
+; --range-analysis interval
+(FPCore (x)
+ :pre (< 0 x 1)
+ (/ 1 x))