Interprocedural Branch Elimination

F(p)

if p != nil

if p != nil

.....

F(p)

T

F

if p != nil

Fa(p)

Fb(p)

if p != nil

.....

Fa(p)

.....

Fb(p)

F

T

T

T

F

F

Previous slide

Next slide

Back to first slide

View graphic version