Lines Matching refs:b_max
1300 IRAtom *a_min, *b_min, *a_max, *b_max;
1331 // b_max = bb | qbb
1332 b_max = assignNew(mce,ty, binop(opOR, bb, qbb));
1334 // result = (qaa | qbb) | ((a_min + b_min) ^ (a_max + b_max))
1341 assignNew(mce,ty, binop(opADD, a_max, b_max))
