Searched refs:set_XER_OV_64 (Results 1 – 1 of 1) sorted by relevance
2227 static void set_XER_OV_64( UInt op, IRExpr* res, in set_XER_OV_64() function2374 set_XER_OV_64( op, res, argL, argR ); in set_XER_OV()4068 set_XER_OV_64( PPCG_FLAG_OP_DIVDE, mkexpr( rD ), in dis_int_arith()4080 set_XER_OV_64( PPCG_FLAG_OP_DIVDEU, mkexpr( rD ), in dis_int_arith()