emit.cpp File Reference

#include "mim/def.h"
#include "mim/rewrite.h"
#include "mim/ast/ast.h"
#include "family.h"

Include dependency graph for emit.cpp:

Go to the source code of this file.

Classes
class	mim::ast::Emitter

Namespaces
namespace	mim
namespace	mim::ast

Functions
static std::optional< nat_t >	mim::ast::isa_math_f (Emitter &e, const Def *type)
	If type is a math.F type of known precision/exponent, yields its bit width.
static u64	mim::ast::encode_f (Emitter &e, Loc loc, const Def *t, u64 bits)
	A float Tok stores its value as mim::f64 bits; re-encode them for the width of the annotated type t.
static void	mim::ast::emit_union (Emitter &e, const Expr *expr, DefVec &types)
	a ∪ b ∪ c is one n-ary Join, so flatten the left spine the left-associative parse built.