Lines Matching defs:a_max
1323 IRAtom *a_min, *b_min, *a_max, *b_max;
1351 // a_max = aa | qaa
1352 a_max = assignNew(mce,ty, binop(opOR, aa, qaa));
1357 // result = (qaa | qbb) | ((a_min + b_min) ^ (a_max + b_max))
1364 assignNew(mce,ty, binop(opADD, a_max, b_max))
