Conditional Branch Elimination

Given a conditional branch if P

• find paths along which P is always true

or always false

• remove the branch from such paths

if P

T

F

?

T

F

if P

T

F

?

T

F

Previous slide

Next slide

Back to first slide

View graphic version