Searched refs:writeHex_bits64 (Results 1 – 3 of 3) sorted by relevance
128 void writeHex_bits64( bits64 a, FILE *stream ) in writeHex_bits64() function184 writeHex_bits64( a.low, stream ); in writeHex_floatx80()199 writeHex_bits64( a.low, stream ); in writeHex_float128()
187 writeHex_bits64( testCases_a_int64, stdout ); in writeInput_a_int64()314 writeHex_bits64( trueZ, stdout ); in writeOutputs_z_int64()320 writeHex_bits64( testZ, stdout ); in writeOutputs_z_int64()
63 void writeHex_bits64( bits64, FILE * );