Home | History | Annotate | Download | only in priv

Lines Matching refs:Ity_D32

1166    e = IRExpr_Get( floatGuestRegOffset( archreg ), Ity_D32 );
1182    vassert( typeOfIRExpr(irsb->tyenv, e) == Ity_D32 );
10063       frB = newTemp( Ity_D32 );
10073       frS = newTemp( Ity_D32 );