diff options
Diffstat (limited to 'binfile.c')
-rw-r--r-- | binfile.c | 96 |
1 files changed, 84 insertions, 12 deletions
@@ -5,9 +5,7 @@ static inline void write_u8(FILE *fp, U8 u8) { } static inline void write_i8(FILE *fp, I8 i8) { - U8 byte = (U8)(i8 < 0 ? -i8 : +i8); - if (i8 < 0) byte |= 0x80; - putc(byte, fp); + write_u8(fp, (U8)i8); } /* @@ -21,8 +19,7 @@ static inline void write_u16(FILE *fp, U16 u16) { } static inline void write_i16(FILE *fp, I16 i16) { - write_u8(fp, (U8)(i16 & 0xFF)); - write_i8(fp, (I8)(i16 / 0x100)); /* division is necessary here to keep sign */ + write_u16(fp, (U16)i16); } static inline void write_u32(FILE *fp, U32 u32) { @@ -31,8 +28,7 @@ static inline void write_u32(FILE *fp, U32 u32) { } static inline void write_i32(FILE *fp, I32 i32) { - write_u16(fp, (U16)(i32 & 0xFFFF)); - write_i16(fp, (I16)(i32 / 0x10000)); + write_u32(fp, (U32)i32); } static void write_u64(FILE *fp, U64 u64) { @@ -44,10 +40,9 @@ static void write_u64(FILE *fp, U64 u64) { #endif } -static void write_i64(FILE *fp, I64 i64) { +static inline void write_i64(FILE *fp, I64 i64) { #if BINFILE_PORTABLE - write_u32(fp, (U32)(i64 & 0xFFFFFFFF)); - write_i32(fp, (I32)(i64 / 0x100000000)); + write_u64(fp, (U64)i64); #else fwrite(&i64, sizeof i64, 1, fp); #endif @@ -55,7 +50,40 @@ static void write_i64(FILE *fp, I64 i64) { static void write_f32(FILE *fp, F32 f32) { #if BINFILE_PORTABLE - /* TODO */ + /* writes as IEEE 754 32-bit floating-point number, little endian */ + /* TODO: infinity, NaN */ + U32 fraction = 0; + U32 fraction_bit = ((U32)1) << 22; + unsigned exponent = 127; + unsigned sign = f32 < 0; + if (sign) f32 = -f32; + while (f32 < (F32)1) { + f32 *= (F32)2; + --exponent; + } + while (f32 > (F32)2) { + f32 /= (F32)2; + ++exponent; + } + if (f32 > (F32)1) --f32; + f32 *= (F32)2; + while (fraction_bit) { + if (((U32)f32)) { + assert((U32)f32 == 1); + fraction |= fraction_bit; + --f32; + } + f32 *= (F32)2; + fraction_bit >>= 1; + } + putc(fraction & 0xFF, fp); + putc((fraction & 0xFF00) >> 8, fp); + unsigned byte3 = (fraction & 0x7F0000) >> 16; + byte3 |= (exponent & 1) << 7; + putc((int)byte3, fp); + unsigned byte4 = exponent >> 1; + byte4 |= (sign << 7); + putc((int)byte4, fp); #else fwrite(&f32, sizeof f32, 1, fp); #endif @@ -63,8 +91,52 @@ static void write_f32(FILE *fp, F32 f32) { static void write_f64(FILE *fp, F64 f64) { #if BINFILE_PORTABLE - /* TODO */ + U64 fraction = 0; + U64 fraction_bit = ((U64)1) << 51; + unsigned exponent = 1023; + unsigned sign = f64 < 0; + if (sign) f64 = -f64; + while (f64 < (F64)1) { + f64 *= (F64)2; + --exponent; + } + while (f64 > (F64)2) { + f64 /= (F64)2; + ++exponent; + } + if (f64 > (F64)1) --f64; + f64 *= (F64)2; + while (fraction_bit) { + if (((U64)f64)) { + assert((U64)f64 == 1); + fraction |= fraction_bit; + --f64; + } + f64 *= (F64)2; + fraction_bit >>= 1; + } + printf("%lu\n",fraction); + putc(fraction & 0xFF, fp); + putc((fraction & 0xFF00) >> 8, fp); + putc((fraction & 0xFF0000) >> 16, fp); + putc((fraction & 0xFF000000) >> 24, fp); + putc((fraction & 0xFF00000000) >> 32, fp); + putc((fraction & 0xFF0000000000) >> 40, fp); + unsigned byte7 = (fraction & 0xF000000000000) >> 48; + byte7 |= (exponent & 0xF) << 4; + putc((int)byte7, fp); + unsigned byte8 = (exponent & 0x7F0) >> 4; + byte8 |= (sign << 7); + putc((int)byte8, fp); #else fwrite(&f64, sizeof f64, 1, fp); #endif } + +static void write_bool(FILE *fp, bool b) { + putc(b, fp); +} + +static void write_char(FILE *fp, char c) { + putc(c, fp); +} |