From d21ca7f2a3936e3a0286ba9d8ba2c78e09a3a240 Mon Sep 17 00:00:00 2001 From: MaxGraey Date: Fri, 3 Jul 2020 11:46:37 +0300 Subject: [PATCH] fixed added fits-in-native-word contrain --- cranelift/codegen/src/preopt.peepmatic | 3 ++- cranelift/codegen/src/preopt.serialized | Bin 5543 -> 5613 bytes 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/cranelift/codegen/src/preopt.peepmatic b/cranelift/codegen/src/preopt.peepmatic index c0f6d0862e..791b1c30de 100644 --- a/cranelift/codegen/src/preopt.peepmatic +++ b/cranelift/codegen/src/preopt.peepmatic @@ -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)) diff --git a/cranelift/codegen/src/preopt.serialized b/cranelift/codegen/src/preopt.serialized index 7ef6d1264230b7f91c82b8f861a5549f3fef6ea4..27023cfad28a1079ae5b5812c900be3f4ab4fa69 100644 GIT binary patch delta 753 zcmZ8fO-tNR6wMt?G?P!A#Bq|^89%2Q6~Crht7unK1W{2G7ve%(2!hnL;QRq$^ehEe zLZP@35$UFM)lF#^{(&yLvgkkXzQh^QJb1i&&OP_!JYGHr4?*>}J|jueEN`(eO#bQL zc8pLCeKgV2$Q((OiVlhn<$n@;)Q_!{hD-WIvuBEbbCSAfz`13UgMv~b7wgIgT&D*q z%eaU?vLXws_M2}?K7~NBDTD8-i@bV7c~mW*3b?XLcu+m+#Io+AJ3Us{DEO4#ryf+) ztZcGPG||V_Sqy0&6~l=gEk1FrEx$Mq)O7*t7Gtho^?e$~KchosQ%PJ|pd5CMd6dmo z+!=P*&l#a0rrD%Xd^9^>zA(<&#U-0@YZhoCO!H*M)67}5G?T1dqNz}mwQHJf`;gw_ z-VTnZMU>bQ@9{2%McKsrZGvlNTuN{v^;m*SGagBB8snjeTd22mt_JHUDhxjQ6P$RE zHwn&S+>0MA2X1$w<1+5TLTi~i@F=^o$M`j_Y8Yx}D(YZ^t5>LIa^&Gl=74L@S#kY@ bUy-qgiW9J^;^gtundcu_cgxg>9p_1TJma zufD`Hma!8u@!KA!Wv|0}%b~Ap4L3gp;VfVd_x<^#w+b7UjGLd;&A-| zdQpV^N`O<7KMrsP