#include "BasicBlock.h"
#include "Constant.h"
#include "Function.h"
#include "IRStmtBuilder.h"
#include "Module.h"
#include "Type.h"

#include <iostream>
#include <memory>

#ifdef DEBUG  
#define DEBUG_OUTPUT std::cout << __LINE__ << std::endl; 
#else
#define DEBUG_OUTPUT
#endif

#define CONST_INT(num) \
    ConstantInt::create(num, module)

#define CONST_FP(num) \
    ConstantFloat::create(num, module)

using namespace SysYF::IR;

int main(){
    auto module = Module::create("if");
    auto builder = IRStmtBuilder::create(nullptr, module);
    SysYF::Ptr<Type> Int32Type = Type::get_int32_type(module);

    auto zero_initializer = ConstantZero::create(Int32Type, module);
    auto a = GlobalVariable::create("a", module, Int32Type, false, zero_initializer);
    //main 函数
    auto mainFun = Function::create(FunctionType::create(Int32Type, {}),
                                    "main", module);
    auto bb = BasicBlock::create(module, "entry", mainFun);
    builder->set_insert_point(bb);

    auto retAlloca = builder->create_alloca(Int32Type);
    builder->create_store(CONST_INT(10), a);

    auto aLoad = builder->create_load(a); 
    auto icmp = builder->create_icmp_gt(aLoad, CONST_INT(0));

    auto trueBB = BasicBlock::create(module, "trueBB_if", mainFun);    // true分支
    auto falseBB = BasicBlock::create(module, "falseBB_if", mainFun);  // false分支
    
    builder->create_cond_br(icmp, trueBB, falseBB); 

    DEBUG_OUTPUT

    builder->set_insert_point(trueBB);
    aLoad = builder->create_load(a);
    builder->create_store(aLoad,retAlloca);
    auto retLoad = builder->create_load(retAlloca);
    builder->create_ret(retLoad);

    builder->set_insert_point(falseBB);
    builder->create_store(CONST_INT(0),retAlloca);
    retLoad = builder->create_load(retAlloca);
    builder->create_ret(retLoad);
    
    std::cout << module->print();
    return 0;
}