Searched refs:writeHex_bits64 (Results 1 – 3 of 3) sorted by relevance
96 void writeHex_bits64( bits64 a, FILE *stream ) in writeHex_bits64() function152 writeHex_bits64( a.low, stream ); in writeHex_floatx80()167 writeHex_bits64( a.low, stream ); in writeHex_float128()
31 void writeHex_bits64( bits64, FILE * );
156 writeHex_bits64( testCases_a_int64, stdout ); in writeInput_a_int64()283 writeHex_bits64( trueZ, stdout ); in writeOutputs_z_int64()289 writeHex_bits64( testZ, stdout ); in writeOutputs_z_int64()