Lines Matching defs:zero
55 const Type *zero = add_id(); // The additive identity
56 if( phase->type( in(1) )->higher_equal( zero ) ) return in(2);
57 if( phase->type( in(2) )->higher_equal( zero ) ) return in(1);
229 const Type *zero = add_id(); // The additive identity
230 if( t1->higher_equal( zero ) ) return t2;
231 if( t2->higher_equal( zero ) ) return t1;
305 // (x + (y << z)) does not cross zero.
491 // x ADD 0 should return x unless 'x' is a -zero
493 // const Type *zero = add_id(); // The additive identity
497 // if( t1->higher_equal( zero ) ) return t2;
498 // if( t2->higher_equal( zero ) ) return t1;
529 // x ADD 0 should return x unless 'x' is a -zero
531 // const Type *zero = add_id(); // The additive identity
535 // if( t1->higher_equal( zero ) ) return t2;
536 // if( t2->higher_equal( zero ) ) return t1;