Update tools to support let* and while*

FPBench / FPBench

A standard for floating point accuracy benchmarks

http://fpbench.org

MIT License

44 stars 20 forks source link

Update tools to support let* and while* #47

Open billzorn opened 5 years ago

billzorn commented 5 years ago

[x] reader
[x] reference interpreter
[x] fpcore-extra
[x] canonicalizer / condenser
[x] core2c
[x] core2js
[x] core2sollya
[x] core2smt
[x] core2wls
[ ] other exporters: gappa, fptaylor, go, scala, json?
[x] CSE

billzorn commented 5 years ago

Some functionality in fpcore-extra has been updated, namely the transforms that are exposed in transform.rkt (unrolling, skipping loops, expanding let and while)

bksaiki commented 3 years ago

With #104, the common subexpression eliminator (now twice overhauled) supports FPBench 2.0 syntax, so let and while should work.

bksaiki commented 3 years ago

FPTaylor, Go, and Scala all support (or will complain) with let and while. At this point its safe to say that core2json and core2gappa are almost considered bitrotted. Not sure what the best course of action is.

pavpanchekha commented 3 years ago

The JSON exporter is there just to support the website (benchmarks.js). It's fine to consider that internal infra, instead of external. It's probably trivial to convert to the visitor too, though; it only cares about the internals of benchmarks to the extent it wants to get lists of operators and so on.

bksaiki commented 3 years ago

Ahh got it. That's why core2json is in infra. Good to know.

pavpanchekha commented 3 years ago

Yep. You could imagine a world where we have an FPCore parser in JS and then we don't need it—that would be so cool—but we don't right now.