1 / 62

Introduction to Code Generation

Introduction to Code Generation. Mooly Sagiv html://www.cs.tau.ac.il/~msagiv/courses/wcc08.html. Chapter 4. Symbol Table. Structure of a simple compiler/interpreter. Runtime System Design. Lexical analysis. Code generation. Intermediate code (AST). Syntax analysis.

Leo
Download Presentation

Introduction to Code Generation

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Introduction to Code Generation Mooly Sagiv html://www.cs.tau.ac.il/~msagiv/courses/wcc08.html Chapter 4

  2. Symbol Table Structure of a simple compiler/interpreter Runtime System Design Lexical analysis Code generation Intermediate code (AST) Syntax analysis Machine dependent Context analysis Interpretation PL+pardigm dependent PL dependent

  3. Outline • Interpreters • Code Generation

  4. Types of Interpreters • Recursive • Recursively traverse the tree • Uniform data representation • Conceptually clean • Excellent error detection • 1000x slower than compiler • Iterative • Closer to CPU • One flat loop • Explicit stack • Good error detection • 30x slower than compiler • Can invoke compiler on code fragments

  5. Input language (Overview) • Fully parameterized expressions • Arguments can be a single digit expression  digit | ‘(‘ expression operator expression ‘)’ operator  ‘+’ | ‘*’ digit  ‘0’ | ‘1’ | ‘2’ | ‘3’ | ‘4’ | ‘5’ | ‘6’ | ‘7’ | ‘8’ | ‘9’

  6. #include "parser.h" #include "backend.h" static int Interpret_expression(Expression *expr) { switch (expr->type) { case 'D': return expr->value; break; case 'P': { int e_left = Interpret_expression(expr->left); int e_right = Interpret_expression(expr->right); switch (expr->oper) { case '+': return e_left + e_right; case '*': return e_left * e_right; }} break; } } void Process(AST_node *icode) { printf("%d\n", Interpret_expression(icode)); }

  7. P P P * + * D D D D 4 9 3 2 AST for (2 * ((3*4)+9)) type right left oper

  8. Uniform self-identifying data representation • The types of the sizes of program data values are not known when the interpreter is written • Uniform representation of data types • Type • Size • The value is a pointer

  9. Example: Complex Number re: 3.0 4.0 im:

  10. Status Indicator • Direct control flow of the interpreter • Possible values • Normal mode • Errors • Jumps • Exceptions • Return

  11. Example: Interpreting C Return PROCEDURE Elaborate return with expression statement (RWE node): SET Result To Evaluate expression (RWE node . expression); IF Status . mode /= Normal mode: Return mode; SET Status . mode To Return mode; SET Status . value TO Result;

  12. Interpreting If-Statement

  13. Symbol table • Stores content of variables, named constants, … • For every variable V of type T • A pointer to the name of V • The file name and the line it is declared • Kind of declaration • A pointer to T • A pointer to newly allocated space • Initialization bit • Language dependent information (e.g. scope)

  14. Summary Recursive Interpreters • Can be implemented quickly • Debug the programming language • Not good for heavy-duty interpreter • Slow • Can employ general techniques to speed the recursive interpreter • Memoization • Tail call elimination • Partial evaluation

  15. Partial Evaluator Program’ Program Input 1 Input 2 Partial Evaluation • Partially interpret static parts in a program • Generates an equivalent program

  16. Example int pow4(int n) { return n * n * n *n; } int pow(int n, int e) { if (e==0) return 1; else return n * pow(n, e-1); } e=4

  17. Example2 Bool match(string, regexp) { switch(regexp) { …. } } regexp=a b*

  18. Partial Evaluation Generalizes Compilation Partial Evaluator Program Interpreter AST Program Input

  19. But ….

  20. Iterative Interpretation • Closed to CPU • One flat loop with one big case statement • Use explicit stack • Intermediate results • Local variables • Requires fully annotated threaded AST • Active-node-pointer (interpreted node)

  21. Demo Compiler

  22. Demo Compiler

  23. Threaded AST • Annotated AST • Every node is connected to the immediate successor in the execution • Control flow graph • Nodes • Basic execution units • expressions • assignments • Edges • Transfer of control • sequential • while • …

  24. P P P * * + D D D D 2 9 3 4 Threaded AST for (2 * ((3*4)+9)) Start Dummy_node type right left oper

  25. exit F T C Example while ((x > 0) && (x < 10)) { x = x + y ; y = y – 1 ; } while seq and ass ass > < id id y const + id const id x x x 0 10 id id x y + const id y 1

  26. Threading the AST(3.2.1) • One preorder AST pass • Every type of AST has its threading routine • MaintainsLast node pointer • Global variable • Set successor ofLast pointerwhen node isvisited

  27. Last node pointer main while seq and ass ass > < id id y const + id const id x x x 0 10 id id x y + const id y 1

  28. Last node pointer main while seq and ass ass > < id id y const + id const id x x x 0 10 id id x y + const id y 1

  29. Last node pointer main while seq and ass ass > < id id y const + id const id x x x 0 10 id id x y + const id y 1

  30. Last node pointer main while seq and ass ass > < id id y const + id const id x x x 0 10 id id x y + const id y 1

  31. Last node pointer main while seq and ass ass > < id id y const + id const id x x x 0 10 id id x y + const id y 1

  32. Last node pointer main while seq and ass ass > < id id y const + id const id x x x 0 10 id id x y + const id y 1

  33. Last node pointer main while seq and ass ass > < id id y const + id const id x x x 0 10 id id x y + const id y 1

  34. Last node pointer main while seq and ass ass > < id id y const + id const id x x x 0 10 id id x y + const id y 1

  35. T Last node pointer main while seq and ass ass > < id id y const + id const id x x x 0 10 id id x y + const id y 1

  36. Last node pointer main while seq and T ass ass > < id id y const + id const id x x x 0 10 id id x y + const id y 1

  37. Last node pointer main while seq and T ass ass > < id id y const + id const id x x x 0 10 id id x y + const id y 1

  38. Last node pointer main while seq and T ass ass > < id id y const + id const id x x x 0 10 id id x y + const id y 1

  39. main while seq and T ass ass > < id id y const + id const id x x x 0 10 id id x y + Last node pointer const id y 1

  40. Last node pointer main while seq and T ass ass > < id id y const + id const id x x x 0 10 id id x y + const id y 1

  41. First node pointer Last node pointer main while seq and T ass ass > < id id y const + id const id x x x 0 10 id id x y + const id y 1

  42. Demo Compiler

  43. Conditional Statement Last node pointer if cond then_part else_part

  44. Conditional Statement if F T cond then_part else_part End_If Last node pointer

  45. Iterative Interpretation • Closed to CPU • One flat loop with one big case statement • Use explicit stack • Intermediate results • Local variables • Requires fully annotated threaded AST • Active-node-pointer (interpreted node)

  46. Demo Compiler

  47. Conditional Statements

  48. Storing Threaded AST • General Graph • Array • Pseudo Instructions

  49. Threaded AST as General Graph condition IF statement 2 statement 1 statement 3 statement 4 END If

More Related