Searched refs:both_pos (Results 1 – 1 of 1) sorted by relevance
4246 IRExpr * both_pos = mkAND1( binop( Iop_CmpEQ64, mkexpr( sign_A ), in Quad_precision_gt() local4294 mkOR1( mkAND1( both_pos, pos_cmp ), in Quad_precision_gt()