minidecaf/src/Type.h at mywork · 6ziv/minidecaf

Repository navigation

History

#pragma once

#include <memory>

enum TypeKind {

TYPE_VOID,

TYPE_INT,

TYPE_POINTER,

TYPE_ARRAY

};

struct Type {

TypeKind kind;

size_t arrlenLen;

std::shared_ptr<Type> point_to;

inline size_t size() {

if (kind == TYPE_ARRAY)return arrlenLen * point_to->size();

return 4;

};

bool operator ==(const Type& x) {

if (kind != x.kind)return false;

if (kind == TYPE_POINTER)return *point_to == *x.point_to;

if (kind == TYPE_POINTER)return arrlenLen == x.arrlenLen && *point_to == *x.point_to;

return true;

}

bool operator !=(const Type& x) {

return !(operator== (x));

}

};

class TypeFactory {

public:

inline static std::shared_ptr<Type> int_type() {

auto t=std::make_shared<Type>();

t->kind = TYPE_INT;

return t;

}

inline static std::shared_ptr<Type> void_type() {

auto t = std::make_shared<Type>();

t->kind = TYPE_VOID;

return t;

}

inline static std::shared_ptr<Type> pointer_of(std::shared_ptr<Type> base) {

auto ret=std::make_shared<Type>();

ret->kind = TYPE_POINTER;

ret->point_to = base;

return ret;

}

inline static std::shared_ptr<Type> array_of(std::shared_ptr<Type> base, size_t len) {

auto ret = std::make_shared<Type>();

ret->kind = TYPE_ARRAY;

ret->point_to = base;

ret->arrlenLen = len;

return ret;

}

};

FilesExpand file tree

Type.h

Latest commit

History

Type.h

File metadata and controls