> I would think in most cases with a sequence of (signed) arithops, > gcc's optimizer would simply keep the value sign extended in a > register, but maybe gcc doesn't do as good a job as I would expect. BTW, if we find that gcc isn't doing such a good job, we could use the same Ssa optimization that we would use for the native codegen to force our own representation decisions on gcc.