* src/ds390/gen.c (genRightShift): fixed bug #870788