Lines Matching full:archreg
1035 static Int integerGuestRegOffset ( UInt archreg )
1037 vassert(archreg < 32);
1044 switch (archreg) {
1082 static IRExpr* getIReg ( UInt archreg )
1085 vassert(archreg < 32);
1086 return IRExpr_Get( integerGuestRegOffset(archreg), ty );
1090 static void putIReg ( UInt archreg, IRExpr* e )
1093 vassert(archreg < 32);
1095 stmt( IRStmt_Put(integerGuestRegOffset(archreg), e) );
1100 static Int floatGuestRegOffset ( UInt archreg )
1102 vassert(archreg < 32);
1104 switch (archreg) {
1142 static IRExpr* getFReg ( UInt archreg )
1144 vassert(archreg < 32);
1145 return IRExpr_Get( floatGuestRegOffset(archreg), Ity_F64 );
1149 static void putFReg ( UInt archreg, IRExpr* e )
1151 vassert(archreg < 32);
1153 stmt( IRStmt_Put(floatGuestRegOffset(archreg), e) );
1157 static IRExpr* getDReg(UInt archreg) {
1159 vassert( archreg < 32 );
1160 e = IRExpr_Get( floatGuestRegOffset( archreg ), Ity_D64 );
1163 static IRExpr* getDReg32(UInt archreg) {
1165 vassert( archreg < 32 );
1166 e = IRExpr_Get( floatGuestRegOffset( archreg ), Ity_D32 );
1172 static IRExpr *getDReg_pair(UInt archreg) {
1173 IRExpr *high = getDReg( archreg );
1174 IRExpr *low = getDReg( archreg + 1 );
1180 static void putDReg32(UInt archreg, IRExpr* e) {
1181 vassert( archreg < 32 );
1183 stmt( IRStmt_Put( floatGuestRegOffset( archreg ), e ) );
1186 static void putDReg(UInt archreg, IRExpr* e) {
1187 vassert( archreg < 32 );
1189 stmt( IRStmt_Put( floatGuestRegOffset( archreg ), e ) );
1193 static void putDReg_pair(UInt archreg, IRExpr *e) {
1197 vassert( archreg < 32 );
1203 stmt( IRStmt_Put( floatGuestRegOffset( archreg ), mkexpr( high ) ) );
1204 stmt( IRStmt_Put( floatGuestRegOffset( archreg + 1 ), mkexpr( low ) ) );
1207 static Int vsxGuestRegOffset ( UInt archreg )
1209 vassert(archreg < 64);
1210 switch (archreg) {
1281 static Int vectorGuestRegOffset ( UInt archreg )
1283 vassert(archreg < 32);
1285 switch (archreg) {
1323 static IRExpr* getVReg ( UInt archreg )
1325 vassert(archreg < 32);
1326 return IRExpr_Get( vectorGuestRegOffset(archreg), Ity_V128 );
1330 static void putVReg ( UInt archreg, IRExpr* e )
1332 vassert(archreg < 32);
1334 stmt( IRStmt_Put(vectorGuestRegOffset(archreg), e) );
1338 static IRExpr* getVSReg ( UInt archreg )
1340 vassert(archreg < 64);
1341 return IRExpr_Get( vsxGuestRegOffset(archreg), Ity_V128 );
1345 static void putVSReg ( UInt archreg, IRExpr* e )
1347 vassert(archreg < 64);
1349 stmt( IRStmt_Put(vsxGuestRegOffset(archreg), e) );
