This issue was originally reported as MRP-23 by Ian Rogers for MRP. Quote from the issue description:
When we create code from regular bytecodes we ensure it is canonical by
running it through the simplifier. Magic code isn't run through the
simplifier and as a result can be non-canonical, especially if generated
in the LIR phase by inlining runtime services.