Max Wash
add09d4958
unlike values, type-instances represent specialisations of parametised types. they behave like concrete implementations of C++ template types. for example: arith.int represents an integer type of unspecified bit-width. a type-instance of this type would be arith.int<32> (or i32 for short) which has a defined width of 32 bits.
Table of Contents
About The Project
Mie is an extensible intermediate representation framework inspired by LLVM and MLIR. It is designed to accept high-level program representation from a compiler front-end, lower and optimise it into a flat stream of low-level instructions, and then convert it into a target-specific implementation.
(The name Mie is pronounced like "me", "bee", or "sea", and (despite the logo) is not pronounced like "my", "bye", or "pie")
License
Distributed under the BSD 3-Clause License. See LICENSE for more information.