Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Type inference and type checking for Cminor | Xavier Leroy | 2019-05-31 | 1 | -0/+798 |
This module is similar to RTLtyping: it performs type inference and type checking, but on the Cminor intermediate representation rather than the RTL IR. For each function, it returns a mapping from variables to types. Its first use will be if-conversion optimization. |