This commit is contained in:
MaxGraey
2020-07-03 21:45:40 +03:00
parent d21ca7f2a3
commit 2048278d2a

View File

@@ -192,7 +192,7 @@
(is-power-of-two $C))
(ushr_imm $(log2 $C) $x))
;; Reminder by a power of two -> bitwise and with decreased by one constant.
;; Remainder by a power of two -> bitwise and with decreased by one constant.
(=> (when (urem_imm $C $x)
(is-power-of-two $C)
(fits-in-native-word $C))