fast_divide32
return v - div * fast_divide32(v, div, m, s1, s2);
return _v - _div * fast_divide32(_v, _div, _m, _s1, _s2);
ATF_TC(fast_divide32);
ATF_TC_HEAD(fast_divide32, tc)
ATF_TC_BODY(fast_divide32, tc)
q = fast_divide32(a, b, m, s1, s2);
q = fast_divide32(a, b, m, s1, s2);
ATF_TP_ADD_TC(tp, fast_divide32);