Machine is an IntermediateLanguage, translated from RSSA by ToMachine and used as input by the Codegen.

Description

Machine is an Untyped IntermediateLanguage, corresponding to a abstract register machine.

Implementation

machine.sig machine.fun

Type Checking

The Machine IntermediateLanguage has a primitive type checker, which only checks some liveness properties.

machine.sig machine.fun

Details and Notes