aboutsummaryrefslogtreecommitdiff
path: root/lib/CodeGen/ArithmeticHandler.cc
blob: 585104d45b4396650c184b4098606690e34bab89 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111

#include "cps/ArithmeticHandler.h"
#include "cps/Lexer.h"
#include <cstdio>

using namespace llvm;
using namespace cps;

Value *ArithmeticHandler::emitBinaryOp(int Op, Value *LHS, Value *RHS, int Line) {
    bool LIsInt = LHS->getType()->isIntegerTy(64);
    bool RIsInt = RHS->getType()->isIntegerTy(64);
    bool LIsDouble = LHS->getType()->isDoubleTy();
    bool RIsDouble = RHS->getType()->isDoubleTy();

    if (Op == '&') {
        Module *M = Builder.GetInsertBlock()->getParent()->getParent();

        FunctionType *StrLenTy = FunctionType::get(Type::getInt64Ty(Context), {PointerType::getUnqual(Context)}, false);
        FunctionCallee StrLenF = M->getOrInsertFunction("strlen", StrLenTy);

        FunctionType *MallocTy = FunctionType::get(PointerType::getUnqual(Context), {Type::getInt64Ty(Context)}, false);
        FunctionCallee MallocF = M->getOrInsertFunction("malloc", MallocTy);

        FunctionType *StrCpyTy = FunctionType::get(PointerType::getUnqual(Context), {PointerType::getUnqual(Context), PointerType::getUnqual(Context)}, false);
        FunctionCallee StrCpyF = M->getOrInsertFunction("strcpy", StrCpyTy);
        FunctionCallee StrCatF = M->getOrInsertFunction("strcat", StrCpyTy);

        Value *LLen = Builder.CreateCall(StrLenF, {LHS}, "llen");
        Value *RLen = Builder.CreateCall(StrLenF, {RHS}, "rlen");
        Value *TotalLen = Builder.CreateAdd(LLen, RLen, "totallen");
        Value *AllocSize = Builder.CreateAdd(TotalLen, ConstantInt::get(Type::getInt64Ty(Context), 1), "allocsize");

        Value *NewStr = Builder.CreateCall(MallocF, {AllocSize}, "concat_str");

        Builder.CreateCall(StrCpyF, {NewStr, LHS});
        Builder.CreateCall(StrCatF, {NewStr, RHS});

        return NewStr;
    }

    if (Op == '/') {
        Value *LVal = LHS;
        Value *RVal = RHS;
        if (LIsInt) LVal = Builder.CreateSIToFP(LHS, Type::getDoubleTy(Context));
        if (RIsInt) RVal = Builder.CreateSIToFP(RHS, Type::getDoubleTy(Context));
        
        // TODO: DIV divide by 0 runtime check
        return Builder.CreateFDiv(LVal, RVal, "divtmp");
    }

    if (Op == tok_div || Op == tok_mod) {
        if (!LIsInt || !RIsInt) {
            fprintf(stderr, "Error: DIV and MOD operators require INTEGER operands.\n");
            return nullptr;
        }
        if (Op == tok_div) return Builder.CreateSDiv(LHS, RHS, "div_int_tmp");
        if (Op == tok_mod) return Builder.CreateSRem(LHS, RHS, "mod_tmp");
    }
    
    if (Op == tok_and || Op == tok_or) {
        Value *L = LHS;
        Value *R = RHS;

        if (L->getType()->isIntegerTy(64)) 
            L = Builder.CreateICmpNE(L, ConstantInt::get(Context, APInt(64, 0)), "tobool");
        if (R->getType()->isIntegerTy(64)) 
            R = Builder.CreateICmpNE(R, ConstantInt::get(Context, APInt(64, 0)), "tobool");
        
        if (L->getType()->isDoubleTy())
            L = Builder.CreateFCmpONE(L, ConstantFP::get(Context, APFloat(0.0)), "tobool");
        if (R->getType()->isDoubleTy())
            R = Builder.CreateFCmpONE(R, ConstantFP::get(Context, APFloat(0.0)), "tobool");

        if (Op == tok_and) return Builder.CreateAnd(L, R, "andtmp");
        if (Op == tok_or) return Builder.CreateOr(L, R, "ortmp");
    }

    if (LIsDouble || RIsDouble) {
        Value *LVal = LHS;
        Value *RVal = RHS;
        if (LIsInt) LVal = Builder.CreateSIToFP(LHS, Type::getDoubleTy(Context));
        if (RIsInt) RVal = Builder.CreateSIToFP(RHS, Type::getDoubleTy(Context));
        
        switch (Op) {
            case '+': return Builder.CreateFAdd(LVal, RVal, "addtmp");
            case '-': return Builder.CreateFSub(LVal, RVal, "subtmp");
            case '*': return Builder.CreateFMul(LVal, RVal, "multmp");

            case tok_eq: return Builder.CreateFCmpOEQ(LVal, RVal, "eqtmp");
            case tok_ne: return Builder.CreateFCmpONE(LVal, RVal, "netmp");
            case '<':    return Builder.CreateFCmpOLT(LVal, RVal, "slttmp");
            case '>':    return Builder.CreateFCmpOGT(LVal, RVal, "sgttmp");
            case tok_le: return Builder.CreateFCmpOLE(LVal, RVal, "sletmp");
            case tok_ge: return Builder.CreateFCmpOGE(LVal, RVal, "sgetmp");
        }
    } else {
        switch (Op) {
            case '+': return Builder.CreateAdd(LHS, RHS, "addtmp");
            case '-': return Builder.CreateSub(LHS, RHS, "subtmp");
            case '*': return Builder.CreateMul(LHS, RHS, "multmp");
            
            case tok_eq: return Builder.CreateICmpEQ(LHS, RHS, "eqtmp");
            case tok_ne: return Builder.CreateICmpNE(LHS, RHS, "netmp");
            case '<':    return Builder.CreateICmpSLT(LHS, RHS, "slttmp");
            case '>':    return Builder.CreateICmpSGT(LHS, RHS, "sgttmp");
            case tok_le: return Builder.CreateICmpSLE(LHS, RHS, "sletmp");
            case tok_ge: return Builder.CreateICmpSGE(LHS, RHS, "sgetmp");
        }
    }
    
    return nullptr;
}