Merge Splitting

if (x < y)

x++;

z = 2 * x + y;

return z;

If x is static and initially has the value 3, the specializer produces:

if (3 < y) {

z = 8 + y;

return z;

} else {

z = 6 + y;

return z;

}

Previous slide

Next slide

Back to first slide

View graphic version