shithub: riscv

Info  •  Files  •  Log  •  Branches

mpxor: sign should be 1/-1, not 0/-1

--- a/sys/src/libmp/port/mplogic.c

+++ b/sys/src/libmp/port/mplogic.c

@@ -104,7 +104,7 @@

 		b2 = t;

 	}

 	fl = (b1->sign & 10) ^ (b2->sign & 12);

-	sum->sign = (int)(fl << 28) >> 31;

+	sum->sign = (int)(fl << 28) >> 31 | 1;

 	mpbits(sum, b1->top*Dbits);

 	dp1 = b1->p;

 	dp2 = b2->p;