Fix floating point literals to be exactly precise

This commit is contained in:
Bruce Hill 2024-02-13 23:37:24 -05:00
parent 1f2b288b32
commit b71624abff
2 changed files with 8 additions and 1 deletions

View File

@ -35,7 +35,12 @@ CORD compile(env_t *env, ast_t *ast)
case Bool: return Match(ast, Bool)->b ? "yes" : "no";
case Var: return Match(ast, Var)->name;
case Int: return CORD_asprintf("I%ld(%ld)", Match(ast, Int)->precision, Match(ast, Int)->i);
case Num: return CORD_asprintf(Match(ast, Num)->precision == 64 ? "%g" : "%gf", Match(ast, Num)->n);
case Num: {
// HACK: since the cord library doesn't support the '%a' specifier, this workaround
// is necessary:
char *buf = asprintfa(Match(ast, Num)->precision == 64 ? "%a" : "%af", Match(ast, Num)->n);
return CORD_from_char_star(buf);
}
case UnaryOp: {
auto unop = Match(ast, UnaryOp);
CORD expr = compile(env, unop->value);

2
util.h
View File

@ -27,6 +27,8 @@ char *heap_strf(const char *fmt, ...);
CORD CORD_asprintf(const char *fmt, ...);
#define CORD_appendf(cord, fmt, ...) CORD_sprintf(cord, "%r" fmt, *(cord) __VA_OPT__(,) __VA_ARGS__)
#define asprintfa(...) ({ char *_buf = alloca(snprintf(0, 0, __VA_ARGS__)); sprintf(_buf, __VA_ARGS__); _buf; })
#define REVERSE_LIST(list) do { \
__typeof(list) _prev = NULL; \
__typeof(list) _next = NULL; \