[saagarjha]

Computers are not programmed on the level of logic gates. If you want to do that, design an FPGA.

[dragontamer]

Superoptimizers take this stuff into consideration.

Which is what the parent post was talking about, the rare superoptimizer.