Lines Matching defs:a_max
1716 IRAtom *a_min, *b_min, *a_max, *b_max;
1757 // a_max = aa | qaa
1758 a_max = assignNew('V', mce,ty, binop(opOR, aa, qaa));
1764 // result = (qaa | qbb) | ((a_min + b_min) ^ (a_max + b_max))
1772 assignNew('V', mce,ty, binop(opADD, a_max, b_max))
1778 // result = (qaa | qbb) | ((a_min - b_max) ^ (a_max + b_min))
1786 assignNew('V', mce,ty, binop(opSUB, a_max, b_min))
