You need stronger guarantees then that (Like, for example, that you can't run unaligned instructions, and that all instructions are the same length). I wasn't talking specifically about the PowerPC architecture, I was just pointing out that just because a computer supports 'W^X' doesn't mean you can always know exactly what instructions a program will run.
