> Well, I admit I've invented the term "ppc32", but there are dozens of > 32-bit PowerPC chips. I'd be amazed if they do 64-bit computations or have > 64-bit GPRs.
Indeed not. Valgrind implements the 32-bit PPC user-space instruction set quite adequately using 32-bit computations throughout. No need for 64-bit computations. J