Fix div by one
For k==0 the Div to Shift conversion is wrong. Instead, we just convert to the left operand of the Div.
Please register or sign in to comment
For k==0 the Div to Shift conversion is wrong. Instead, we just convert to the left operand of the Div.