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