https://hgpu.org/?p=14402
CRINK: Automatic CUDA code generation for affine C programs