I think you're assuming there is one maximally efficient ASM product that can be known at compile time. The same program will work on different inputs, and it's

I think you're assuming there is one maximally efficient ASM product that can be known at compile time. The same program will work on different inputs, and it's possible that different ASM products will handle some inputs more efficiently than others.