LARA

Lecture 10

Continuing Lecture 09

Compiling Control Flow

Branching JVM Instructions

Compiling If Then Else

Compiling While

Compiling Boolean Operators

Translation of Relations

Postfix Translation of Boolean Operators

Compiling Conditional Expressions

Short-Circuit Evaluation

Better Code Generation for Conditions

Example Efficient Code for Conditionals

Compilation as Tree Transformation

Method Calls in JVM

Compiled Factorial Example

Method Calls

Objects in JVM

Object and Reference Manipulation

Arrays in JVM

Array Manipulation

A Byte Code Generation Library

The Scala Cafebabe Bytecode Generation Library

Overview of Classfile Constant Pool

Idea of Data Flow Analysis

Idea of Data Flow Analysis

Control-Flow Graph Definition

Interpreting CFG

Translating Syntax Tree to CFG

Constant Propagation

References