-rwxr-xr-x 311 nttcompiler-20220411/scripts/verify
#!/bin/bash

n=$1
q=$2
b=$3

unroll `which ${n}-${q}-noio` int16 f ${n} -- int16 f ${n} \
| doublecheck ${n} ${n}-${q} \
| unroll2opt \
| doublecheck ${n} ${n}-${q} \
| opt2range ${q} -${b} ${b} \
| doublecheck ${n} ${n}-${q} -${b} ${b} \
| range2linear ${q} \
| cmp - <(spec-eval ${n} ${q} `${n}-${q}-points`)