fixed added fits-in-native-word contrain

This commit is contained in:
MaxGraey
2020-07-03 11:46:37 +03:00
parent 03b6c97e15
commit d21ca7f2a3
2 changed files with 2 additions and 1 deletions

View File

@@ -194,5 +194,6 @@
;; Reminder by a power of two -> bitwise and with decreased by one constant.
(=> (when (urem_imm $C $x)
(is-power-of-two $C))
(is-power-of-two $C)
(fits-in-native-word $C))
(band_imm $(isub 1 $C) $x))