Earlier quoted context omitted.
All instructions are implemented with logic gates. In fact. All instructions today are likely NAND gates. Have you ever seen a WallaceTree multiplier? A good sequence that shows how XOR and AND gates can implement multiply. Now, if multiply + XOR gets the new function you want, it's likely better than whatever the original compiler output.
Computers are not programmed on the level of logic gates. If you want to do that, design an FPGA.
Which is what the parent post was talking about, the rare superoptimizer.