Function fxBigInt_or

xs/sources/xsBigInt.c:1124–1172

}

txBigInt *fxBigInt_or(txMachine* the, txBigInt *r, txBigInt *a, txBigInt *b)
{
	txBigInt *aa, *bb;
	int i;
	mxBigInt_meter(MAX(a->size, b->size));
	if (a->sign) {
		if (b->sign)
			goto OR_MINUS_MINUS;
		aa = a;
		a = b;
		b = aa;	
		goto OR_PLUS_MINUS;
	}
	if (b->sign)
		goto OR_PLUS_MINUS;
	return fxBigInt_fit(the, fxBigInt_uor(the, r, a, b));
OR_PLUS_MINUS:
// GMP: -(OP1 | (-OP2)) = -(OP1 | ~(OP2 - 1)) == ~(OP1 | ~(OP2 - 1)) + 1 == (~OP1 & (OP2 - 1)) + 1
	if (r == NULL)
		r = fxBigInt_alloc(the, b->size + 1);
	bb = fxBigInt_usub(the, NULL, b, (txBigInt *)&gxBigIntOne);
    if (a->size < bb->size) {
		for (i = 0; i < a->size; i++)
			r->data[i] = ~a->data[i] & bb->data[i];
		for (; i < bb->size; i++)
			r->data[i] = bb->data[i];
	}
	else {
		for (i = 0; i < bb->size; i++)
			r->data[i] = ~a->data[i] & bb->data[i];
	}
	r->size = bb->size;
	r = fxBigInt_uadd(the, r, r, (txBigInt *)&gxBigIntOne);
	r->sign = 1;
	fxBigInt_free(the, bb);
	return fxBigInt_fit(the, r);
OR_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, MIN(a->size, b->size) + 1);
	aa = fxBigInt_usub(the, NULL, a, (txBigInt *)&gxBigIntOne);
	bb = fxBigInt_usub(the, NULL, b, (txBigInt *)&gxBigIntOne);
	r = fxBigInt_uand(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_uor(txMachine* the, txBigInt *r, txBigInt *a, txBigInt *b)
{