Lines Matching refs:tyenv
358 return newIRTemp( irsb->tyenv, ty ); in newTemp()
1235 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I64); in putIReg64orSP()
1241 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I64); in putIReg64orZR()
1288 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32); in putIReg32orSP()
1294 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32); in putIReg32orZR()
1328 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I64); in putPC()
1380 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_V128); in putQReg128()
1438 IRType ty = typeOfIRExpr(irsb->tyenv, e); in putQRegLO()
1524 IRType ty = typeOfIRExpr(irsb->tyenv, e); in putQRegHI64()
1538 IRType laneTy = typeOfIRExpr(irsb->tyenv, e); in putQRegLane()
1718 vassert(typeOfIRExpr(irsb->tyenv, cond) == Ity_I64); in mk_arm64g_calculate_condition_dyn()
1843 vassert(typeOfIRTemp(irsb->tyenv, t_dep1 == Ity_I64)); in setFlags_D1_D2_ND()
1844 vassert(typeOfIRTemp(irsb->tyenv, t_dep2 == Ity_I64)); in setFlags_D1_D2_ND()
1845 vassert(typeOfIRTemp(irsb->tyenv, t_ndep == Ity_I64)); in setFlags_D1_D2_ND()