FPCore Parser

An attempt at an FPCore 2.0 compliant parser in python.

Relevant information can be found at FPBench's website

Requirements

SLY, a lexer and parser generator.

Modifications from stated grammar or given regex

• (# <expr>) added as syntactic sugar for (! precision integer <expr>)
• strings regex extended to include all whitespace characters
• added Greek Unicode letters (α-ωΑ-Ω) to symbols and strings
• added Unicode × to strings
• <data> can be <operation> | <let> | <binding>
• <data> can also be ( if <expr> <expr> <expr> )
• changed ( <operation> <expr>+ ) to ( <operation> <expr>* )
• <property> can be operation <data>
• Created the new lex token ADDED_OPERATION that gets populated with named FPCores
• Also added parse rule to use these as normal operators

Things present in existing FPCores that are not supported

Files indicated have been modified in this repo.

FPBench

• Using reserved names as variables
  • benchmarks/existing/FPBench/benchmarks/fptaylor-real2float.fpcore

Herbie

• Using parenthesis for let bindings
  • benchmarks/existing/herbie/bench/demo.fpcore
  • benchmarks/existing/herbie/bench/hamming/quadratic.fpcore
  • benchmarks/existing/herbie/bench/libraries/jmatjs.fpcore
  • benchmarks/existing/herbie/bench/libraries/octave/CollocWt.fpcore
  • benchmarks/existing/herbie/bench/libraries/octave/randgamma.fpcore
  • benchmarks/existing/herbie/bench/mathematics/latlong.fpcore
  • benchmarks/existing/herbie/bench/numerics/every-cs.fpcore
  • benchmarks/existing/herbie/bench/numerics/martel.fpcore
  • benchmarks/existing/herbie/bench/numerics/rosa.fpcore
  • benchmarks/existing/herbie/bench/physics/tea-flows.fpcore
  • benchmarks/existing/herbie/bench/physics/tea-whistle.fpcore

etc

• ascii font used in header comments is "Graceful" from patorjk.com