shl_o can be replaced by shl_sat as long as the overflow flag is not used, afterwards <!--- Add commit SHA used to reproduce --> <!--- 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. -->