Function fxBigInt_and

xs/sources/xsBigInt.c:1061–1105

}

txBigInt *fxBigInt_and(txMachine* the, txBigInt *r, txBigInt *a, txBigInt *b)
{
	txBigInt *aa, *bb;
	int i;
	if (a->sign) {
		if (b->sign)
			goto AND_MINUS_MINUS;
		aa = a;
		a = b;
		b = aa;	
		goto AND_PLUS_MINUS;
	}
	if (b->sign)
		goto AND_PLUS_MINUS;
	return fxBigInt_fit(the, fxBigInt_uand(the, r, a, b));
AND_PLUS_MINUS:
// GMP: OP1 & -OP2 == OP1 & ~(OP2 - 1)
	if (r == NULL)
		r = fxBigInt_alloc(the, a->size);
	bb = fxBigInt_usub(the, NULL, b, (txBigInt *)&gxBigIntOne);
    if (a->size > bb->size) {
		for (i = 0; i < bb->size; i++)
			r->data[i] = a->data[i] & ~bb->data[i];
		for (; i < a->size; i++)
			r->data[i] = a->data[i];
    }
    else {
		for (i = 0; i < a->size; i++)
			r->data[i] = a->data[i] & ~bb->data[i];
    }
    fxBigInt_free(the, bb);
	return fxBigInt_fit(the, r);
AND_MINUS_MINUS:
// GMP: -((-OP1) & (-OP2)) = -(~(OP1 - 1) & ~(OP2 - 1)) == ~(~(OP1 - 1) & ~(OP2 - 1)) + 1 == ((OP1 - 1) | (OP2 - 1)) + 1
	if (r == NULL)
		r = fxBigInt_alloc(the, MAX(a->size, b->size) + 1);
	aa = fxBigInt_usub(the, NULL, a, (txBigInt *)&gxBigIntOne);
	bb = fxBigInt_usub(the, NULL, b, (txBigInt *)&gxBigIntOne);
	r = fxBigInt_uor(the, r, aa, bb);
	r = fxBigInt_uadd(the, r, r, (txBigInt *)&gxBigIntOne);
	r->sign = 1;
	fxBigInt_free(the, bb);
	fxBigInt_free(the, aa);
	return fxBigInt_fit(the, r);
}

txBigInt *fxBigInt_uand(txMachine* the, txBigInt *r, txBigInt *a, txBigInt *b)
{