Fast and flexible instruction selection with constraints

Thier, Patrick; Ertl, M. Anton; Krall, Andreas

doi:10.1145/3178372.3179501

Cited by 2 publications

(2 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Similarly to ODS, DRR is a DSL embedded into the TableGen language. DRR expresses source and target DAG patterns along with constraints (including dynamic constraints [49]) and benefits for pattern prioritization. Patterns can capture and reuse arguments of an Op.…”

Section: Declarative Rewritesmentioning

confidence: 99%

See 1 more Smart Citation

MLIR: A Compiler Infrastructure for the End of Moore's Law

Lattner,

Amini,

Bondhugula

et al. 2020

Preprint

View full text Add to dashboard Cite

This work presents MLIR, a novel approach to building reusable and extensible compiler infrastructure. MLIR aims to address software fragmentation, improve compilation for heterogeneous hardware, significantly reduce the cost of building domain specific compilers, and aid in connecting existing compilers together. MLIR facilitates the design and implementation of code generators, translators and optimizers at different levels of abstraction and also across application domains, hardware targets and execution environments. The contribution of this work includes (1) discussion of MLIR as a research artifact, built for extension and evolution, and identifying the challenges and opportunities posed by this novel design point in design, semantics, optimization specification, system, and engineering. (2) evaluation of MLIR as a generalized infrastructure that reduces the cost of building compilers-describing diverse use-cases to show research and educational opportunities for future programming languages, compilers, execution environments, and computer architecture. The paper also presents the rationale for MLIR, its original design principles, structures and semantics. * With SiFive at the time of publication.Preprint.

show abstract

Section: Declarative Rewritesmentioning

confidence: 99%

“…Extending, formalizing, and verifying the rewriting logic automatically would be an important next step [9,27]. On the backend side, MLIR's DDR has an analogue to LLVM's instruction selection infrastructure, supporting extensible operations with multi-result patterns and specification as constraints [49].…”

Section: Related Workmentioning

confidence: 99%