Searched refs:fpr_dw0_offset (Results 1 – 1 of 1) sorted by relevance
976 fpr_dw0_offset(UInt archreg) in fpr_dw0_offset() function987 stmt(IRStmt_Put(fpr_dw0_offset(archreg), expr)); in put_fpr_dw0()994 return IRExpr_Get(fpr_dw0_offset(archreg), Ity_F64); in get_fpr_dw0()1019 stmt(IRStmt_Put(fpr_dw0_offset(archreg), expr)); in put_dpr_dw0()1026 return IRExpr_Get(fpr_dw0_offset(archreg), Ity_D64); in get_dpr_dw0()