Live-variable analysis: Difference between revisions

Revision as of 22:58, 19 April 2023

Revision as of 23:01, 19 April 2023

Line 47:

{|

|

// in: {}; predecessor blocks: none

b1: a = 3;

b = 5;

Line 55:

// out: {a,b,d} //union of all (in) successors of b1 => b2: {a,b}, and b3:{b,d}

// in: {a,b}; predecessor blocks: b1

b2: c = a + b;

d = 2;

// out: {b,d}

// in: {b,d}; predecessor blocks: b1 and b2

b3: endif

c = 4;