Lines Matching defs:t1

493   const Type *t1 = phase->type( in(1) );
495 if( t1 == Type::TOP ) return Type::TOP;
504 if( (t1 == bot) || (t2 == bot) ||
505 (t1 == Type::BOTTOM) || (t2 == Type::BOTTOM) )
510 const TypeInt *i1 = t1->is_int();
592 const Type *t1 = phase->type( in(1) );
594 if( t1 == Type::TOP ) return Type::TOP;
603 if( (t1 == bot) || (t2 == bot) ||
604 (t1 == Type::BOTTOM) || (t2 == Type::BOTTOM) )
609 const TypeLong *i1 = t1->is_long();
659 const Type *t1 = phase->type( in(1) );
661 if( t1 == Type::TOP ) return Type::TOP;
666 if( (t1 == bot) || (t2 == bot) ||
667 (t1 == Type::BOTTOM) || (t2 == Type::BOTTOM) )
671 // Note: if t1 and t2 are zero then result is NaN (JVMS page 213)
673 if( phase->eqv( in(1), in(2) ) && t1->base() == Type::FloatCon)
674 if (!g_isnan(t1->getf()) && g_isfinite(t1->getf()) && t1->getf() != 0.0) // could be negative ZERO or NaN
678 return t1;
681 if( t1->base() == Type::FloatCon &&
684 return TypeF::make( t1->getf()/t2->getf() );
687 // Note: if t1 and t2 are zero then result is NaN (JVMS page 213)
690 if( t1 == TypeF::ZERO && !g_isnan(t2->getf()) && t2->getf() != 0.0 )
747 const Type *t1 = phase->type( in(1) );
749 if( t1 == Type::TOP ) return Type::TOP;
754 if( (t1 == bot) || (t2 == bot) ||
755 (t1 == Type::BOTTOM) || (t2 == Type::BOTTOM) )
759 // Note: if t1 and t2 are zero then result is NaN (JVMS page 213)
761 if( phase->eqv( in(1), in(2) ) && t1->base() == Type::DoubleCon)
762 if (!g_isnan(t1->getd()) && g_isfinite(t1->getd()) && t1->getd() != 0.0) // could be negative ZERO or NaN
766 return t1;
775 if( t1->base() == Type::DoubleCon &&
778 return TypeD::make( t1->getd()/t2->getd() );
782 // Note: if t1 and t2 are zero then result is NaN (JVMS page 213)
784 if( t1 == TypeD::ZERO && !g_isnan(t2->getd()) && t2->getd() != 0.0 )
969 const Type *t1 = phase->type( in(1) );
971 if( t1 == Type::TOP ) return Type::TOP;
976 if( t1 == TypeInt::ZERO ) return TypeInt::ZERO;
982 if( (t1 == bot) || (t2 == bot) ||
983 (t1 == Type::BOTTOM) || (t2 == Type::BOTTOM) )
986 const TypeInt *i1 = t1->is_int();
1142 const Type *t1 = phase->type( in(1) );
1144 if( t1 == Type::TOP ) return Type::TOP;
1149 if( t1 == TypeLong::ZERO ) return TypeLong::ZERO;
1155 if( (t1 == bot) || (t2 == bot) ||
1156 (t1 == Type::BOTTOM) || (t2 == Type::BOTTOM) )
1159 const TypeLong *i1 = t1->is_long();
1183 const Type *t1 = phase->type( in(1) );
1185 if( t1 == Type::TOP ) return Type::TOP;
1190 if( (t1 == bot) || (t2 == bot) ||
1191 (t1 == Type::BOTTOM) || (t2 == Type::BOTTOM) )
1195 if ((t1->base() != Type::FloatCon) || (t2->base() != Type::FloatCon)) {
1199 float f1 = t1->getf();
1205 if (g_isnan(f1)) return t1;
1227 const Type *t1 = phase->type( in(1) );
1229 if( t1 == Type::TOP ) return Type::TOP;
1234 if( (t1 == bot) || (t2 == bot) ||
1235 (t1 == Type::BOTTOM) || (t2 == Type::BOTTOM) )
1239 if ((t1->base() != Type::DoubleCon) || (t2->base() != Type::DoubleCon)) {
1243 double f1 = t1->getd();
1249 if (g_isnan(f1)) return t1;