Lines Matching refs:Ity_I1
596 vassert(typeOfIRExpr(irsb->tyenv, arg1) == Ity_I1);
597 vassert(typeOfIRExpr(irsb->tyenv, arg2) == Ity_I1);
604 vassert(typeOfIRExpr(irsb->tyenv, arg1) == Ity_I1);
605 vassert(typeOfIRExpr(irsb->tyenv, arg2) == Ity_I1);
3052 IRTemp is_SNAN = newTemp(Ity_I1);
3084 IRTemp resultantSignbit = newTemp(Ity_I1);
3128 IRTemp resultantSignbit = newTemp(Ity_I1);
4281 IRTemp idx_LT64 = newTemp( Ity_I1 );
6173 resSC = newTemp(Ity_I1);
6266 resSC = newTemp(Ity_I1);
6334 resSC = newTemp(Ity_I1);
6390 IRTemp outofrange = newTemp(Ity_I1);
8124 IRTemp frbZero_tmp = newTemp(Ity_I1);
8125 IRTemp frbInf_tmp = newTemp(Ity_I1);
8241 IRTemp fraInf_tmp = newTemp(Ity_I1);
8242 IRTemp frbZero_tmp = newTemp(Ity_I1);
8243 IRTemp frbInf_tmp = newTemp(Ity_I1);
8244 IRTemp fraNotZero_tmp = newTemp(Ity_I1);
13515 IRTemp frA_isNaN = newTemp(Ity_I1);
13516 IRTemp frB_isNaN = newTemp(Ity_I1);
13517 IRTemp frA_isSNaN = newTemp(Ity_I1);
13518 IRTemp frB_isSNaN = newTemp(Ity_I1);
13519 IRTemp frA_isQNaN = newTemp(Ity_I1);
13520 IRTemp frB_isQNaN = newTemp(Ity_I1);
13612 IRTemp anyNaN = newTemp(Ity_I1);
13613 IRTemp frA_isZero = newTemp(Ity_I1);
13614 IRTemp frB_isZero = newTemp(Ity_I1);
13669 IRTemp is_SNAN = newTemp(Ity_I1);
14599 IRTemp hiEQlo = newTemp(Ity_I1);
14625 IRTemp lo_GE = newTemp(Ity_I1);
14626 IRTemp hi_GE = newTemp(Ity_I1);
17583 IRTemp idx_LT127 = newTemp( Ity_I1 );