15-411 Compiler Design
Lecture 25: Array Bounds Checking

• Reading: Ch 18.4
• Concepts:
  • Context-sensitive program analysis
  • Arithmetic overflow
  • Eliminating bounds checks
  • Hoisting bounds checks
  • Difference constraints
• Previous lecture: Induction Variables
• Next lecture: SSA Conversion

[ Home | Schedule | Labs & Assignments | Exams | Lab Machines | Resources ]
[ Textbook | Autolab ]
[ Blackboard | academic.cs.15-411 ]

fp@cs
Frank Pfenning