--- work/Zarith-1.7/caml_z_x86_64.S +++ caml_z_x86_64.S @@ -228,7 +228,7 @@ mov %rdi, %rax sar %rax jnc L(div) - cqo + cqto idiv %rcx lea 1(%rax, %rax), %rax OP @@ -249,7 +249,7 @@ jz L(rem) /* division by zero */ cmp $-1, %rcx je L(remneg) - cqo + cqto idiv %rcx lea 1(%rdx, %rdx), %rax OP