Scribd
Upload
82 views

Data Flow Analysis: CS 201 Compiler Construction

This document discusses data flow analysis techniques used for compiler optimizations. It covers reaching definitions, available expressions, live variables analysis, and very busy expressions analysis. These analyses involve solving data flow equations to collect global information about variable definitions, uses, and expressions across basic blocks. The results are conservative due to control flow and pointer aliasing uncertainties. Bit vectors and iterative data flow solving algorithms are used to represent and compute the analysis results.

Uploaded by

Anita Sofia Keyser
Copyright
© Attribution Non-Commercial (BY-NC)
Available Formats
Download as PDF, TXT or read online on Scribd
82 views

Data Flow Analysis: CS 201 Compiler Construction

This document discusses data flow analysis techniques used for compiler optimizations. It covers reaching definitions, available expressions, live variables analysis, and very busy expressions analysis. These analyses involve solving data flow equations to collect global information about variable definitions, uses, and expressions across basic blocks. The results are conservative due to control flow and pointer aliasing uncertainties. Bit vectors and iterative data flow solving algorithms are used to represent and compute the analysis results.

Uploaded by

Anita Sofia Keyser
Copyright
© Attribution Non-Commercial (BY-NC)
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 16

3/31/09

CS 201 Compiler Construction

Lecture 3 Data Flow Analysis

Data Flow Analysis


Data flow analysis is used to collect information about the flow of data values across basic blocks.
Dominator analysis collected global information regarding the programs structure For performing global code optimizations global information must be collected regarding values of program values.
Local optimizations involve statements from same basic block Global optimizations involve statements from different basic blocks data flow analysis is performed to collect global information that drives global optimizations
2

3/31/09

Local and Global Optimization

Applications of Data Flow Analysis


Applicability of code optimizations Symbolic debugging of code Static error checking Type inference .

3/31/09

1. Reaching Definitions
Definition d of variable v: a statement d that assigns a value to v. Use of variable v: reference to value of v in an expression evaluation. Definition d of variable v reaches a point p if there exists a path from immediately after d to p such that definition d is not killed along the path. Definition d is killed along a path between two points if there exists an assignment to variable v along the path.
5

Example

d reaches u along path2 & d does not reach u along path1 Since there exists a path from d to u along which d is not killed (i.e., path2), d reaches u.
6

3/31/09

Reaching Definitions Contd.


Unambiguous Definition: X = .; Ambiguous Definition: *p = .; p may point to X For computing reaching definitions, typically we only consider kills by unambiguous definitions.
X=.. *p=.. Does definition of X reach here ? Yes
7

Computing Reaching Definitions


At each program point p, we compute the set of definitions that reach point p. Reaching definitions are computed by solving a system of equations (data flow equations).
d2: X= d3: X=

IN[B] OUT[B]
d1: X=

GEN[B] ={d1} KILL[B]={d2,d3}

3/31/09

Data Flow Equations


IN[B]: Definitions that reach Bs entry. OUT[B]: Definitions that reach Bs exit.

GEN[B]: Definitions within B that reach the end of B. KILL[B]: Definitions that never reach the end of B due to redefinitions of variables in B.
9

Reaching Definitions Contd.


Forward problem information flows forward in the direction of edges. May problem there is a path along which definition reaches a point but it does not always reach the point. Therefore in a May problem the meet operator is the Union operator.

10

3/31/09

Applications of Reaching Definitions


Constant Propagation/ folding

Copy Propagation

11

2. Available Expressions
An expression is generated at a point if it is computed at that point. An expression is killed by redefinitions of operands of the expression. An expression A+B is available at a point if every path from the start node to the point evaluates A+B and after the last evaluation of A+B on each path there is no redefinition of either A or B (i.e., A+B is not killed).

12

3/31/09

Available Expressions

Available expressions problem computes: at each program point the set of expressions available at that point.
13

Data Flow Equations


IN[B]: Expressions available at Bs entry. OUT[B]: Expressions available at Bs exit.

GEN[B]: Expressions computed within B that are available at the end of B. KILL[B]: Expressions whose operands are redefined in B.
14

3/31/09

Available Expressions Contd.


Forward problem information flows forward in the direction of edges. Must problem expression is definitely available at a point along all paths. Therefore in a Must problem the meet operator is the Intersection operator. Application: A
15

3. Live Variable Analysis


A path is X-clear is it contains no definition of X. A variable X is live at point p if there exists a Xclear path from p to a use of X; otherwise X is dead at p. Live Variable Analysis Computes: At each program point p identify the set of variables that are live at p.

16

3/31/09

Data Flow Equations


IN[B]: Variables live at Bs entry. OUT[B]: Variables live at Bs exit.

GEN[B]: Variables that are used in B prior to their definition in B. KILL[B]: Variables definitely assigned value in B before any use of that variable in B.
17

Live Variables Contd.


Backward problem information flows backward in reverse of the direction of edges. May problem there exists a path along which a use is encountered. Therefore in a May problem the meet operator is the Union operator.

18

3/31/09

Applications of Live Variables


Register Allocation Dead Code Elimination

Code Motion Out of Loops

19

4. Very Busy Expressions


A expression A+B is very busy at point p if for all paths starting at p and ending at the end of the program, an evaluation of A+B appears before any definition of A or B. Application: Code Size Reduction

Compute for each program point the set of very busy expressions at the point.

20

10

3/31/09

Data Flow Equations


IN[B]: Expressions very busy at Bs entry. OUT[B]: Expressions very busy at Bs exit.

GEN[B]: Expression computed in B and variables used in the expression are not redefined in B prior to expressions evaluation in B. KILL[B]: Expressions that use variables that are redefined in B. 21

Very Busy Expressions Contd.


Backward problem information flows backward in reverse of the direction of edges. Must problem expressions must be computed along all paths. Therefore in a Must problem the meet operator is the Intersection operator.

22

11

3/31/09

Summary
May/Union Forward Backward Reaching Definitions Live Variables Must/ Intersection Available Expressions Very Busy Expressions

23

Conservative Analysis
Optimizations that we apply must be Safe => the data flow facts we compute should definitely be true (not simply possibly true). Two main reasons that cause results of analysis to be conservative: 1. Control Flow 2. Pointers & Aliasing

24

12

3/31/09

Conservative Analysis
1. Control Flow we assume that all paths are executable; however, some may be infeasible.

X+Y is always available if we exclude infeasible paths.

25

Conservative Analysis
2. Pointers & Aliasing we may not know what a pointer points to.
1. X = 5 2. *p = 3. = X // p may or may not point to X

Constant propagation: assume p does point to X (i.e., in statement 3, X cannot be replaced by 5). Dead Code Elimination: assume p does not point to X (i.e., statement 1 cannot be deleted).
26

13

3/31/09

Representation of Data Flow Sets


Bit vectors used to represent sets because we are computing binary information.
Does a definition reach a point ? T or F Is an expression available/very busy ? T or F Is a variable live ? T or F

For each expression, variable, definition we have one bit intersection and union operations can be implemented using bitwise and & or operations.
27

Solving Data Flow Equations

28

14

3/31/09

Solving Data Flow Equations

29

Solving Data Flow Equations

30

15

3/31/09

Use-Def & Def-Use Chains

31

16

You might also like