-
Matthias Braun authored
a normalisation which shrinks values on the right shift operand because of modulo_shift behaviour. As a nice side-effect this simplifies the Rotl matcher [r27954]
8dfa8a66
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
a normalisation which shrinks values on the right shift operand because of modulo_shift behaviour. As a nice side-effect this simplifies the Rotl matcher [r27954]