There is a newer version of the record available.

Published December 6, 2017 | Version 1.0.0
Software Open

Synthesizing an Instruction Selection Rule Library from Semantic Specifications

Authors/Creators

  • 1. Karlsruhe Institute of Technology
  • 2. Saarland University

Description

This is the software accompanying the paper of the same name, to appear at CGO 2018.

The goal of the software is to automatically synthesize rules for translating a compiler's intermediate representation into the assembly language of a processor (a process called “instruction selection”).

The software is distributed along with benchmarks in a Docker container. For some benchmarks, a copy of the SPEC CPU 2000 benchmark suite is required.

Notes

This work was supported by the German Research Foundation (DFG) as part of the Transregional Collaborative Research Centre "Invasive Computing" (SFB/TR 89).

Files

Files (756.5 MB)

Name Size
md5:ea5f70533f3ab3d69c80feb965d0bb47
756.5 MB Download