diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-05-31 19:09:25 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-05-31 19:16:18 +0200 |
commit | be028b543f48577f762ffb26e79e2a482b4ff15d (patch) | |
tree | e0a436fbf745b9f532c872724418979f779363d9 /extraction | |
parent | e10870c3da5b28a76c0c0d283c1a0beb09cd7950 (diff) | |
download | compcert-kvx-be028b543f48577f762ffb26e79e2a482b4ff15d.tar.gz compcert-kvx-be028b543f48577f762ffb26e79e2a482b4ff15d.zip |
Type inference and type checking for Cminor
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.
Diffstat (limited to 'extraction')
0 files changed, 0 insertions, 0 deletions