Verification of Compilers - Correct System Design: Recent Insights and Advances - page 215

Basic-Block-Graph

P1

Schedule

1 1

+

1.1.2
1.2
1.1.1
1.1
1

1.1 1.2 1.1 1.2

+

c

*

1.1.1 1.1.2 1.1.1 1.1.2

c c

Register Rule