Replace the shr_ro operator by some basop operations without overflow handling <!--- Below are labels that will be added but are not shown in description. This is a template to help fill them. Add further information to the first row and remove and add labels as necessary. -->