Engineering a CompilerElsevier, 18 ian. 2011 - 824 pagini This entirely revised second edition of Engineering a Compiler is full of technical updates and new material covering the latest developments in compiler technology. In this comprehensive text you will learn important techniques for constructing a modern compiler. Leading educators and researchers Keith Cooper and Linda Torczon combine basic principles with pragmatic insights from their experience building state-of-the-art compilers. They will help you fully understand important techniques such as compilation of imperative and object-oriented languages, construction of static single assignment forms, instruction scheduling, and graph-coloring register allocation.
|
Cuprins
1 | |
25 | |
83 | |
Chapter 4
ContextSensitive Analysis | 161 |
Chapter 5
Intermediate Representations | 221 |
Chapter 6
The Procedure Abstraction | 269 |
Chapter 7
Code Shape | 331 |
Chapter 8
Introduction to Optimization | 405 |
Chapter 10
Scalar Optimizations | 539 |
Chapter 11
Instruction Selection | 597 |
Chapter 12
Instruction Scheduling | 639 |
Chapter 13
Register Allocation | 679 |
ILOC | 725 |
Data Structures | 737 |
Bibliography | 765 |
787 | |
Alte ediții - Afișează-le pe toate
Termeni și expresii frecvente
abstract syntax tree algorithm analysis array assignment attribute grammar basic block bottom-up branch callee Chapter compiler writer compiler’s complex computation construction control-flow copy cost create cycle data-flow data-flow analysis defined derivation edge efficient eliminate encode evaluation example execution Expr expression function global hash hash table iloc implementation improve induction variable initial input insert instruction selection integer iteration label left recursion lexical live ranges LiveOut load loadI loop memory multiple name space node Ø Ø Ø operands operations optimization Pair parameter parse tree parser path peephole optimization perform pointer problem procedure processor produce programming languages rarp reduce redundant register allocation result rewrite rules runtime scanner scheme scope Section sequence shown in Figure simple simplify specific spill ssa form stack string structure symbol table syntax target machine techniques terminal symbol top-down transformations value numbering vector worklist