15-411 Compiler Design
Lecture 15: Dataflow Analysis

• Reading: Ch 17.1-17.3
• Video: 15411f07 - Lecture 15
• Concepts:
  • L3 typechecking revisited
  • Dead code elimination: neededness analysis
  • Constant propagation: reaching definitions
  • Forward and backward analysis
• Previous lecture: Coalescing
• Next lecture: Common Subexpression Elimination

[ Home | Schedule | Labs & Assignments | Exams | Lab Machines | Resources ]
[ Textbook | Autolab ]
[ Sakai ]

fp@cs
Frank Pfenning