/fpcore-parser

A collection of FPCores

Primary LanguageScheme

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