References
Swizzle Inventor: Data Movement Synthesis for GPU Kernels, ASPLOS 2019
License
Refer to LICENSE for the license and copyright information for this project.
Software Prerequisites
- Racket
- Rosette 2.x. Note: Swizzle Inventor has not been tested with Rosette 3.x.
Running Synthesizer
1D stencil
ex2-stencil.rkt
1D conv
ex2-conv1d.rkt
2D conv
ex2-stencil2d.rkt
Finite field multiplication
ex3-poly-mult.rkt
AoS-load-sum
ex4-aos-sum.rkt
AoS-load-store
ex5-aos-pure-load.rkt
Racket to CUDA Code Generator
codegen-test.rkt