MIR is strongly typed IR MIR can represent machine 32-bit and 64-bit insns of different architectures MIR.md contains detail description of MIR and its API. Here is a brief MIR description: MIR consists of modules Each module can contain functions and some declarations and data Each function has signature (parameters and return types), local variables (including function arguments) and instruction