Add support for srem instruction