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