Lines Matching refs:Rcmp
861 Rcmp = cmp(Rx, Ry)
863 eq(Rcmp, xycmp, Frm("%r %r %d %d", x, y, Rcmp, xycmp))
864 eq(x == y, Rcmp == 0, Frm("%r == %r %d", x, y, Rcmp))
865 eq(x != y, Rcmp != 0, Frm("%r != %r %d", x, y, Rcmp))
866 eq(x < y, Rcmp < 0, Frm("%r < %r %d", x, y, Rcmp))
867 eq(x <= y, Rcmp <= 0, Frm("%r <= %r %d", x, y, Rcmp))
868 eq(x > y, Rcmp > 0, Frm("%r > %r %d", x, y, Rcmp))
869 eq(x >= y, Rcmp >= 0, Frm("%r >= %r %d", x, y, Rcmp))