Lab for Automated Reasoning and Analysis LARA

Lecture 12: Register Allocation. Data-Flow Analysis

References

Data-Flow Analysis

Idea of Data Flow Analysis

Idea of Data Flow Analysis

Control-Flow Graph Definition

Why control-flow graphs instead of syntax trees

  • they can represent arbitrary jumps
  • they are simple: conditions and loops represented uniformly

Continued in Lecture 12a

References

 
cc10/lecture_12.txt · Last modified: 2010/12/07 21:31 by vkuncak
 
© EPFL 2018 - Legal notice