-
Andreas Zwinkau authored
For k==0 the Div to Shift conversion is wrong. Instead, we just convert to the left operand of the Div.
8f2bceab
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
For k==0 the Div to Shift conversion is wrong. Instead, we just convert to the left operand of the Div.