Slide 1 Components of representation Control dependencies: sequencing of operations –evaluation of if & then –side-effects of statements occur in right order Data…

Slide 1 Common Sub-expression Elim Want to compute when an expression is available in a var Domain: Slide 2 Common Sub-expression Elim Want to compute when an expression…

Slide 1 Range Analysis Slide 2 Intraprocedural Points-to Analysis Want to compute may-points-to information Lattice: Slide 3 Flow functions x := a + b in out F x := a+b (in)…

Slide 1 Class canceled next Tuesday Slide 2 Recap: Components of IR Control dependencies: sequencing of operations –evaluation of if & then –side-effects of statements…

Slide 1 Comparison Caller precisionCallee precisionCode bloat Inlining context-insensitive interproc Context sensitive interproc Specialization Slide 2 Comparison Caller…

Slide 1 Pointer analysis Slide 2 Pointer Analysis Outline: –What is pointer analysis –Intraprocedural pointer analysis –Interprocedural pointer analysis Andersen and…