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