Machine is an IntermediateLanguage, translated from RSSA by ToMachine and used as input by the Codegen.
Description
Machine is an Untyped IntermediateLanguage, corresponding to an abstract machine with an infinite number of temporaries.
Implementation
Type Checking
The Machine IntermediateLanguage has a primitive type checker (machine.sig, machine.fun), which only checks some liveness properties.
Details and Notes
The runtime structure sets some constants according to the configuration files on the target architecture and OS.