idk

analysis/Cargo.toml

@@ -7,6 +7,7 @@ edition = "2021"
 
 [dependencies]
 bumpalo = "3.10.0"
+indexmap = "1.9.1"
 lasso = "0.6.0"
 parser = { path = "../parser" }
 rustc-hash = "1.1.0"

analysis/src/hir.rs

@@ -1,3 +1,4 @@
+use indexmap::IndexMap;
 use lasso::Spur;
 use parser::Spanned;
 
@@ -9,8 +10,138 @@ pub struct Hir<'hir> {
     x: &'hir (),
 }
 
+pub struct HirId(u32);
+pub struct DefId(HirId);
+
+pub enum IntTySignedness {
+    Signed,
+    Unsigned,
+}
+
+impl Default for IntTySignedness {
+    fn default() -> Self {
+        // C defaults to unsigned for integers.
+        Self::Signed
+    }
+}
+
+pub enum IntTyKind {
+    Short,
+    Int,
+    Long,
+    LongLong,
+}
+
+pub struct IntTy {
+    pub sign: IntTySignedness,
+    pub kind: IntTyKind,
+}
+
+pub struct UnionTy {
+    variants: IndexMap<Symbol, Ty>,
+}
+
+pub struct StructTy {
+    fields: IndexMap<Symbol, Ty>,
+}
+
+pub struct EnumTy {
+    variants: IndexMap<Symbol, i128>,
+}
+
+pub enum TyKind {
+    Void,
+    Char,
+    SChar,
+    UChar,
+    Integer(IntTy),
+    Float,
+    Double,
+    LongDouble,
+    Bool,
+    Union(UnionTy),
+    Struct(StructTy),
+    Enum(EnumTy),
+}
+
+pub struct Ty {
+    def_id: DefId,
+}
+
+pub struct Node {
+    id: HirId,
+    kind: NodeKind,
+}
+
+pub enum NodeKind {
+    FunctionDef(FunctionDef),
+}
+
 pub struct ExternalDecl;
 
 pub struct FunctionDef {
+    name: Symbol,
     
 }
+
+pub struct Expr<'hir> {
+    kind: ExprKind<'hir>,
+    ty: Ty,
+}
+
+pub enum ExprKind<'hir> {
+    Var(DefId),
+    Binary(BinaryOp, &'hir Expr<'hir>, &'hir Expr<'hir>),
+    Unary(UnaryOp, &'hir Expr<'hir>),
+    Cast(CastExpr<'hir>),
+}
+
+pub struct CastExpr<'hir> {
+    from: Ty,
+    to: Ty,
+    expr: &'hir Expr<'hir>,
+}
+
+pub enum UnaryOp {
+    AddrOf,
+    Deref,
+    Plus,
+    Minus,
+    Tilde,
+    Bang,
+}
+
+#[derive(Debug)]
+pub enum ArithOpKind {
+    Mul,
+    Div,
+    Mod,
+    Add,
+    Sub,
+    Shl,
+    Shr,
+    BitAnd,
+    BitXor,
+    BitOr,
+}
+
+#[derive(Debug)]
+pub enum ComparisonKind {
+    Lt,
+    Gt,
+    LtEq,
+    GtEq,
+    Eq,
+    Neq,
+}
+
+#[derive(Debug)]
+pub enum BinaryOp {
+    Arith(ArithOpKind),
+    LogicalAnd,
+    LogicalOr,
+    Comparison(ComparisonKind),
+    Comma,
+    Index, // lhs[rhs]
+    Assign(Option<ArithOpKind>),
+}