Lex&Yacc Compiler

作者:Rui 发布时间:August 5, 2015 分类: 浏览:352

This is a simple example to show how to use Lex/Yacc to generate IA32 code

Operating Environment

  • OS X 10.9.2
  • Lex, Bison, Gcc

Program Grammar

Variable Type

s : String <- "abcd";
x : Int;
x : Int []; 

Variable Declaration

y : Int ;
x : Int -> 1;

Assignment Statement

x -> 1;

If Statement

    a < 2 
    factorial(a-1) + factorial(a-2)

While Statement

while i < size loop {

} pool

Let Statement

let i : Int, small : Int in {

} tel

System Declaration

out_string("> ");
x <- in_int();

Function Declaration

factorial(a: Int) : Int {


Class Declaration

class Main {


A Program sample

class Main {
    s : String <- "abcd";
    x : Int;
    y : Int <- 10;
    main () : Int {
      x <- in_int();

It's also has a main class in a file and a main function in a class, When compiler success, the program will run start by main function. The compiler can check the symbol scope, support function call, but now it can't support type check and It's not an object-oriented design

Using Help

  1. build Lex/Yacc, Will Generate uncool.pgm program
  1. parse the uc to IA32 code, execute the command
    ./uncool.pgm uncool.uc >uncool.s 
  1. Assembly the IA32 code to executable program,execute the command
    gcc –m32 uncool.s –o uncool
  1. execute the program you will see the result of this program result.

Code Files

Pull code from github, here

  1. Uncool.l,Uncool.y, Uclib.h
    Lex/Yacc code common function and structure
  2. symbol_table.h symbol_table.c
    symbol_table implement storage symbol in the LinkList
  3. stack.h stack.c
    symbol_table stack implement store symbol_table in stack
  4. uccompiler.c
    the main parse program, transition the Uc code to IA32 code

Compilation Sequence

Alt text

  1. Uclib.c / Uncool.y syntax analyzer program scan the uncool code to generate syntax tree. The tree data is store in the nodeType strut. The nodeType strut is a tree data strut, It contains all syntax nodes and those relationship.
  2. Then we will call ex function in the Uncool.y, when complete scan code, you can see the call function code in the Uncool.y , lineno 70, It will be executed when complete scan.
  3. The ex function is in the uccompiler.c file, It was used transition the Uc code to IA32 code, It read all node in the syntax tree and transition the operation to IA32 code.
  4. The symbol_table and stack is used to record the program variables
    Stack.h, Stack.c has define a linked list data structure, It was used to store symbol_table. When The code run into the class , function or let code, we will generate a symbol_table data and put it into Stack, The head of Stack is the current scope of the symbol table, when run out the class, function or let code, we wil let symbol table out the stack and remove the class, function or let’s variable. symbol_table is a linked list data structure too, It is used to store current scope’s symbol variable, when we use a variable , or a function, we will find from here

标签: none

添加新评论 »