blob: 7188095d99c066c58453147701c4f104a6dc5f8a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
+++
title = "Front End"
date = "2020-12-10"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a1"]
forwardlinks = ["3a3"]
zettelid = "3a2"
+++
The front end of the compiler translates Clight (a subset of C that
CompCert supports) into a static single assignment (SSA) language called
register transfer language (RTL). This translation mainly converts
higher level constructs from the rich Clight language, into a language
that models a control-flow graph (CFG) with eight instructions.
|
