You're thinking of predication, also sometimes called "if- conversion" or more loosely, speculation It's very useful for getting rid of small control flow that

You're thinking of predication, also sometimes called "if- conversion" or more loosely, speculation It's very useful for getting rid of small control flow that doesn't really change the path of execution much, but doing it for too long is impossible due to the exponential complexity.