Semantic analysis and code generation

Vocabulaire

English	Sens
symbol table/ˈsɪmbl ˈteɪbl/	A compiler data structure recording identifiers and information such as their types, scopes or locations.
intermediate representation	An internal program representation connecting stages of a compiler.

English

Decorate with meaning

The symbol table maps identifiers to (type, scope); type rules walk the tree bottom-up: $\mathbf{id} + \mathbf{id}$ needs both sides numeric. The output is intermediate representation — three-address code, one operation per line.

{exercise:uni-cs1106-decorate}

Pratique

The symbol table binds —

Difficulté 1/5 · 100 pièces + un petit bonus lors de la première réussite aujourd'hui

English

count = a1 + b2 * 3 with a1, b2: int: the table holds three int bindings; the walker checks $b_2 \times 3$ then $a_1 + (\ldots)$. IR: t1 = b2 * 3; t2 = a1 + t1; count = t2 — three instructions, one temp, suite-generated.
Swap b2 to str: the walker rejects b2 * 3 with the lexer's position — positions are the pipeline's error currency.

{exercise:uni-cs1106-program}

Pratique

count = a1 + b2 * 3 emits IR —

Difficulté 1/5 · 100 pièces + un petit bonus lors de la première réussite aujourd'hui

English

Direct translation multiplies: $m$ languages $\times$ $n$ targets = $mn$ compilers; an IR makes it $m + n$. Optimisations live on the IR — folding is literal-only ($2 \times 3 \to 6$; $b_2 \times 3$ stays), and each optimisation is a proof about the IR's semantics.
Check names before types (scoping first), decorate fully before emitting, and never fold through non-literal operands.

{exercise:uni-cs1106-ir}

Pratique

Constant folding applies to —

Difficulté 1/5 · 100 pièces + un petit bonus lors de la première réussite aujourd'hui