Look at S390 and PowerPC, they do the sign extension cases as well.
PowerPC does it with C level stubs, whereas I believe S390 uses a
similar assembler stub scheme as sparc64.
But you are right, this is probably not an issue, and providing 32-bit
truncated incoming args, and letting the tracer do whatever it likes
for outgoing args, should work just fine.
--