https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111246
--- Comment #17 from David Edelsohn <dje at gcc dot gnu.org> --- I'm glad that we have confirmed that the GCC and LLVM code generation for PowerPC are correct for the memory model. And now your translation tool is more accurate.