'Edges represent control flow' presentation slideshows

Software Metrics

650 views • 62 slides

Recap from last time: live variables

478 views • 44 slides

Common Sub-expression Elim

Common Sub-expression Elim. Want to compute when an expression is available in a var Domain:. Common Sub-expression Elim. Want to compute when an expression is available in a var Domain:. Flow functions. in. F X := Y op Z (in) =. X := Y op Z. out. in. F X := Y (in) =. X := Y. out.

512 views • 41 slides

Common Sub-expression Elim

Common Sub-expression Elim. Want to compute when an expression is available in a var Domain:. Common Sub-expression Elim. Want to compute when an expression is available in a var Domain:. Flow functions. in. F X := Y op Z (in) =. X := Y op Z. out. in. F X := Y (in) =. X := Y. out.

439 views • 41 slides

Precision

Precision. Going back to constant prop, in what cases would we lose precision?. Precision. Going back to constant prop, in what cases would we lose precision?. if (...) { x := -1; } else x := 1; } y := x * x; ... y. if (p) { x := 5; } else x := 4; } ... if (p) {

398 views • 28 slides

Representing programs

Representing programs. Goals. Representing programs. Primary goals analysis is easy and effective just a few cases to handle directly link related things transformations are easy to perform general, across input languages and target machines Additional goals compact in memory

219 views • 20 slides