int32_t __int32_asr_asgn(int32_t *arg, int bits);
__int32_asr_asgn updates the 32-bit signed integer pointed to by arg by arithmetically shifting it right by its bit positions, replicating the sign bit. The shifted value is returned as the result.