path: root/src/cffc.hff

import "libc.hff";
import "mem.hff";
import "option.hff";

/// Types

struct Type;
struct Decl;
struct Expr;
struct Env;

struct Loc {
   fileid i16,
   col    i16,
   line   int,
   idx    isize,
}

#[lax]
enum TokT : i32 {
   // !sorted
   kw_and, kw_as, kw_break, kw_case, kw_const,
   kw_continue, kw_def, kw_defmacro, kw_do,
   kw_else, kw_enum, kw_extern, kw_fn,
   kw_for, kw_if, kw_import, kw_let,
   kw_or, kw_return, kw_sizeof, kw_static,
   kw_struct, kw_switch, kw_typedef, kw_typeof,
   kw_union, kw_while,
   NUM_KEYWORDS,
   int = -100,
   flo,
   bool,
   str,
   chr,
   null,
   ident,
   macident,
   gensym,
   type,
   label,
   strify,
   eof,
}
def NUM_KEYWORDS int = TokT:NUM_KEYWORDS;

struct Tok {
   t TokT,
   loc Loc,
   ty *const Type,
   u union {
      int i64,
      uint u64,
      flo f64,
      bool bool,
      str [#]const u8,
      ident *const u8,
   },
}

enum AggKind {
   Struct,
   Union,
   EUnion,
}

struct AggField {
   name *const u8,
   ty *const Type,
   off usize,
}
struct EnumVal { name *const u8, i i64 }

struct Type {
   size  usize,
   align usize,
   konst bool,
   id    uint,
   u enum union {
      Void,
      Bool,
      Int struct { sgn bool },
      Flo,
      Ptr *Type,
      Arr struct { child *const Type, length i64 },
      Slice *Type,
      Fn struct {
         params [#]*const Type,
         variadic bool,
         ret *const Type,
      },
      Enum struct {
         intty *const Type,
         name *const u8,
         lax bool,
         id int,
         vals [#]EnumVal,
      },
      Agg struct {
         kind AggKind,
         name *const u8,
         id int,
         fwd bool,
         flds [#]AggField,
         decls *Env,
      },
   },

   fn is(ty *const Type, tag typeof((Type{}).u.#tag)) bool {
      return ty.u.#tag == tag;
   }
}

struct Fn;
struct Expan;
struct Parser {
   fp *FILE,
   alloc *Allocator,
   curfile *const u8,
   curfn *Fn,
   curenv *Env,
   curloop int,
   curexpan *Expan,
   expanno int,
   loopid int,
   targty *const Type,
   tokloc Loc,
   curloc Loc,
   eof bool,
   is_header bool,
   peekchr Option<int>,
   peektok Option<Tok>,
}

enum UnOp {
   neg,
   not,
   compl,
   deref,
   addrof,
   postinc,
   preinc,
   postdec,
   predec,
}

struct Stmt;
struct Expr {
   loc Loc,
   ty *const Type,
   u enum union {
      IntLit union { i i64, u u64 },
      FloLit f64,
      StrLit [#]const u8,
      BoolLit bool,
      NullLit,
      Symbol *Decl,
      BinOp struct { op TokT, lhs *Expr, rhs *Expr },
      UnOp struct { op UnOp, ex *Expr },
      Cond struct { test *Expr, t *Expr, f *Expr },
      Cast *Expr,
      Dot struct { lhs *Expr, fld *const AggField },
      SLen *Expr,
      SPtr *Expr,
      EUTag *Expr,
      Index struct { lhs *Expr, rhs *Expr },
      Slice struct { lhs *Expr, begin *Expr, end *Expr },
      Call struct { lhs *Expr, args [#]Expr },
      ZeroIni,
      EnumIni struct { name *const u8, val i64 },
      AggIni struct { flds [#]*const AggField, exs [#]Expr },
      ArrIni struct { idxs [#]u32, exs [#]Expr, maxn i64 },
      Stmt [#]Stmt,
   }
}


struct Stmt {
   loc Loc,
   u enum union {
      Block [#]Stmt,
      If struct { test Expr, t [#]Stmt, f [#]Stmt },
      While struct { test Expr, body [#]Stmt, id int },
      For struct {
         ini [#]Stmt,
         test Expr,
         next Option<Expr>,
         body [#]Stmt,
         id int,
      },
      Break #{loopid} int,
      Continue #{loopid} int,
      Return Option<Expr>,
      Expr Expr,
      Decl *Decl,
   }
}

struct Fn {
   ty *const Type,
   paramnames [#]*const u8,
   variadic bool,
   id int,
   body Option<[#]Stmt>
}

struct Var {
   ty *const Type,
   ini Option<Expr>,
   fwd bool,
   fnid int,
}

struct MacroCase {
   variadic bool,
   bodyarg bool,
   params [#]*const u8,
   body [#]Tok,
}

struct Macro {
   cs [#]MacroCase
}

struct Decl {
   name *const u8,
   loc Loc,
   externp bool,
   u enum union {
      Let Var,
      Static Var,
      Def Expr,
      Fn Fn,
      Macro Macro,
      Ty *const Type,
   },
   myenv *Env,
}

struct ExpanArg {
   name *const u8,
   toks [#]Tok,
}
struct Expan {
   prev *Expan,
   args [#]ExpanArg,
   toks [#]Tok,
   name *const u8,
   loc Loc,
   idx int,
   peektok Option<Tok>
}

struct DeclList {
   link *DeclList,
   decl Decl,
}

struct Targ {
   name *const u8,
   ptrsize    u8,
   intsize    u8,
   i64align   u8,
   longsize   u8, longalign  u8,
   llongsize  u8, llongalign u8,
   sizesize   u8,
   f64align   u8,
   valistsize u8, valistalign u8,
   charsigned bool,
   shortenum  bool,
}

// parse.cff
extern static keyword2str [NUM_KEYWORDS]*const u8;
extern fn parser_init(*Parser, path *const u8) void;
extern fn parse(*Parser) [#]Decl;

// fmt.cff
extern fn vpfmt(proc *fn(u8, *void) void, parg *void, fmt *const u8, va_list) void;
extern fn pfmt(proc *fn(u8, *void) void, parg *void, fmt *const u8, ...) void;
extern fn vefmt(fmt *const u8, ap va_list) void;
extern fn efmt(fmt *const u8, ...) void;
extern fn ssfmt(fmt *const u8, ...) *const u8;
extern fn warn(P *Parser, Loc, fmt *const u8, ...) void;
extern fn err(P *Parser, Loc, fmt *const u8, ...) void;
extern fn fatal(*Parser, Loc, fmt *const u8, ...) void;

// targ.cff
extern static g_targ *const Targ;
extern fn targ_ini(name *const u8) bool;

// type.cff
extern static ty_void    *const Type,
              ty_bool    *const Type,
              ty_i8      *const Type,
              ty_u8      *const Type,
              ty_i16     *const Type,
              ty_u16     *const Type,
              ty_i32     *const Type,
              ty_u32     *const Type,
              ty_int     *const Type,
              ty_uint    *const Type,
              ty_i64     *const Type,
              ty_u64     *const Type,
              ty_isize   *const Type,
              ty_usize   *const Type,
              ty_iptrint *const Type,
              ty_uptrint *const Type,
              ty_f32     *const Type,
              ty_f64     *const Type,
              ty_voidptr *const Type;
extern fn interntype(Type) *const Type;
extern fn putprimtypes(env *Env) void;
fn constify(ty *const Type) *const Type {
   if ty.konst or ty.u.#tag == :Fn {
      return ty;
   }
   let ty2 = *ty;
   ty2.konst = #t;
   return interntype(ty2);
}
fn unconstify(ty *const Type) *const Type {
   if !ty.konst {
      return ty;
   }
   let ty2 = *ty;
   ty2.konst = #f;
   return interntype(ty2);
}
fn mkarrtype(len i64, konst bool, child *const Type) *const Type {
   return interntype({
      len * child.size,
      child.align,
      .u: :Arr { konst ? constify(child) : child, len }
   });
}
fn mkptrtype(child *const Type) *const Type {
   return interntype({
      g_targ.ptrsize,
      .u: :Ptr(child)
   });
}
extern fn mkslicetype(child *const Type) *const Type;

fn childtype(ty *const Type) *const Type {
   switch ty.u {
   case Ptr t; return t;
   case Arr a; return a.child;
   case Slice t; return t;
   }
   return #null;
}
extern fn completetype(ty *const Type) bool;
fn isnumtype(ty *const Type) bool {
   return ty->is(:Int) or ty->is(:Flo);
}
extern fn typeof2(a *const Type, b *const Type) *const Type;

// env.cff
extern fn mkenv(parent *Env, alloc *Allocator) *Env;
extern fn envparent(*Env) *Env;
extern fn envput(*Env, Decl, **const Decl) *Decl;
extern fn envfind(*Env, *const u8) *Decl;
extern fn envfind_noparent(*Env, *const u8) *Decl;
extern fn envfree(*Env) void;

// fold.cff
extern fn fold(*Expr) bool;