Searched refs:r64q127 (Results 1 – 1 of 1) sorted by relevance
116 rep_t r64q63, r64q127, r64cH, r64cL, dummy; in __divtf3() local118 wideMultiply((rep_t)recip64, (rep_t)q127blo, &dummy, &r64q127); in __divtf3()120 correction = -(r64q63 + (r64q127 >> 64)); in __divtf3()