This is a software repository for:
Jackson Woodruff, Jordi Armengol-Estapé, Sam Ainsworth, Michael F.P. O'Boyle. Bind the Gap: Compiling Real Software to Hardware FFT Accelerators. In PLDI 2022.
This repository has been blinded in a best-effort manner
Requirements: Nix. (see https://nixos.org/download.html)
Building:
- In the top-level directory, run
nix-shell. This should fetch all the dependencies. - Build FACC: cd synth; make clean; make
- Build the FACC libraries: cd synth/libs/clib/; make
- [optional] Build the evaluation executables: cd benchmarks/Github; ./make.sh
Run FACC using main.byte, e.g. ./main.byte . examples of all three exist in the benchmarks directory.
Licensing: All code in the synth/ directory is licensed under the Apache 2.0 license.
All code in benchmarks/ or results/ is licensed as it is in the originating repositories (specified for each).
Structure: The high level structre of this project is: synth: contains all the code to implement FACC, and external libraries to support synthesized programs. benchmarks: contains target information (SHARC FFTA, NXP PowerQuad, FFTW, and TI FFTC) and benchmarks taken from Github and testsuites. Input files for FACC come from here. results/: contains outputs from runs of FACC on existing benchmarks and plotting scripts. classifier: contains the scripts for the FFT classifier
If an example program is not working as expected, there are a few steps to debug:
- See if FACC is generating the right candidates for it --- these are in synthethizer_temps by default --- look to see if the candidate you are looking for exists. If it does, the --only-test flag is helpful to debug behaviour on this candidate only.
- If it is, check that your wrappers are correct for the program (the json_gen.byte program can help with this) --- you may also need value profiling that is not correctly setup
- if it is not, check that range constraints are correct.
See the ReproductionInstructions.md file for detailed instructions for each figure.