Interprocedural Dataflow Analysis

Alias Computation

Example

Data Flow Analysis in Presence of Procedure Calls

Data Dependence Analysis

Data Dependence

Data Dependence Graph

Basic Block Dependence

Data Dependence in Loops

Unroll the Loop