You can read the paper here: https://web.stanford.edu/class/cs343/resources/superoptimizer.pdf… .. basically it leans on the behavior of carry flags on the Motorola 68020. I often think about it as LLMs are really good at this sort of "superoptimizing" (though compilers are already pretty good..)