---

6.5 Compilation reference ¶

We are here referring to compilation as the compilation and the verification step. Thus, in this section, the compilation step will refer to both of these steps.

Given the simple nature of the logic of the Franc C language, we chose here to implement a simple compilation.

The compilation step do not use any external dependencies.

We simply store a context that is updated throughout the compilation process. This context contains :

• A list of variables, with their name, size, and position relative to the stack pointer.
• A label counter, used to suffix labels with a number to distinguish them.
• A list of function context, representing each definitions.
• A list of function context, representing each invoke.

The function context contains :

• The name of the function.
• A boolean value, used to describe if this function is either returning something or of the void type ; or describes if this functions is either assigning a value when invoking or not.
• A parameter count, that indicates the number of parameters in this function.

The fact that the entire language is only integer-based facilitates the concept of variable storage and parameter types. No types appear in the compilation process, except the void type for function definitions and invoke.

• Function call parameters, return value and variables
• Safety measures
• Intended undefined behaviours