They work on the machines where you have tested them. The ABI defines what is
supposed to happen, not what will happen. Gcc will get it right on very heavily used archs, and very heavily used archs will generally execute the instructions right.
If your code only ever runs on the physical machines where you test, or only on very mainstream chip designs, then fine.
You have been warned. Now it is on you.
