Transcription of Topic 10: Dataflow Analysis - cs.princeton.edu
{{id}} {{{paragraph}}}
1 Topic 10: Dataflow AnalysisCOS 320 Compiling TechniquesPrinceton University Spring 2016 Lennart BeringerAnalysis and Transformationanalysis spans multiple proceduressingle-procedure- Analysis : intra-proceduralDataflow Analysis MotivationDataflow Analysis MotivationAssuming only r5 is live-out at instruction AnalysisIterative Dataflow Analysis FrameworkDefinitionsIterative Dataflow Analysis FrameworkDefinitions for Liveness AnalysisDefinitions for Liveness AnalysisRemember generic equations:r1r2r3r1r1r1r2, r3r2r3------Smart ordering: visit nodes in reverse order of , r3r2r3------Smart ordering: visit nodes in reverse order of , r1r3, r1?r1r2r3r1r1r1r2, r3r2r3------Smart ordering: visit nodes in reverse order of , r1r3, r1r3, r2r3, r2r3, r2r3, r2r3, r1r3, r1r3?r1r2r3r1r1r1r2, r3r2r3------Smart ordering: visit nodes in reverse order of , r1r3, r1r3, r2r3, r2r3, r2r3, r2r3, r1r3, r1r3--r3r3, r1::Live Variable Application 1: Register AllocationInterference Graphr1r3?
Topic 10: Dataflow Analysis COS 320 Compiling Techniques Princeton University Spring 2016 Lennart Beringer. Analysis and Transformation analysis spans multiple procedures single-procedure-analysis: intra-procedural. Dataflow Analysis Motivation. Dataflow Analysis Motivation
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
{{id}} {{{paragraph}}}
Ibookroot October 20, 2007, Princeton Lectures in Analysis, Analysis, Ibookroot October 20, 2007 Princeton Lectures in Analysis, Princeton, Real Analysis, In Analysis, Semi- Parametric Modeling in Survival analysis, 3D Shape Analysis, Algorithms Video Lectures ISBN: 9780134384436 August, Lectures, Insertion Sort, Mathematical Sciences 2009, Lectures on Stochastic Programming: Modeling and Theory