frac32.bipolar i1
frac32.bipolar i2
frac32.bipolar i3
frac32.bipolar o
frac32.s.map inv
frac32.s.map inv1
frac32.s.map inv2
{
int64_t a = (int64_t)(inlet_i1) * (param_inv - (1 << 21));
a -= inlet_i1 * (128 << 20) - (param_inv - (1 << 21));
int64_t b = (int64_t)(inlet_i2) * (param_inv1 - (1 << 21));
b -= inlet_i2 * (128 << 20) - (param_inv1 - (1 << 21));
int64_t c = (int64_t)(inlet_i2) * (param_inv2 - (1 << 21));
c -= inlet_i2 * (128 << 20) - (param_inv2 - (1 << 21));
outlet_o = (a >> 27) + (b >> 27) + (c >> 27);
}