Searched refs:r64cH (Results 1 – 1 of 1) sorted by relevance
116 rep_t r64q63, r64q127, r64cH, r64cL, dummy; in __divtf3() local125 wideMultiply((rep_t)recip64, (rep_t)cHi, &dummy, &r64cH); in __divtf3()128 reciprocal = r64cH + (r64cL >> 64); in __divtf3()