// File: KJTang[P]SimpleCompiler/Parser.cpp
// Function: Parser::parseExpression()
ASTNode *Parser::parseExpression() {
    #ifdef DEBUG
    std::cout<<curToken.second<<"\tparseExpression"<<std::endl;
    #endif
    std::stack<ASTNode*> numStack;
    std::stack<int> opStack;
    while (true) {
        switch (curToken.first) {
            case Token::NUMBER: {
                numStack.push(this->parseNumber());
                break;
            }
            case Token::IDENTIFIER: {
                numStack.push(this->parseIdentifier());
                break;
            }
            case static_cast<Token>('('): {
                numStack.push(this->parseParenExpr());
                break;
            }
            case static_cast<Token>(','): 
            case static_cast<Token>(';'): {
                // expression end
                getNextToken(); // eat ',' or ';'
            }
            case static_cast<Token>(')'): {
                // expression end
                while (!opStack.empty()) {
                    char op = opStack.top();
                    opStack.pop();
                    ASTNode *l, *r;
                    r = numStack.top();
                    numStack.pop();
                    l = numStack.top();
                    numStack.pop();
                    BinaryExprAST *binExpr = new BinaryExprAST(op, l, r);
                    numStack.push(binExpr);
                }
                if (!numStack.empty()) {
                    return numStack.top();
                } else {
                    // std::cout<<"empty expression!"<<std::endl;
                    return nullptr;
                }
            }
            default: {
                // std::cout<<"op"<<std::endl;
                if (!opStack.empty() && 
                    getOperatorPrecedence(opStack.top()) >= getOperatorPrecedence(static_cast<int>(curToken.first))) {
                    char op = opStack.top();
                    opStack.pop();
                    ASTNode *l, *r;
                    r = numStack.top();
                    numStack.pop();
                    l = numStack.top();
                    numStack.pop();
                    BinaryExprAST *binExpr = new BinaryExprAST(op, l, r);
                    numStack.push(binExpr);
                }
                opStack.push(static_cast<int>(curToken.first));
                getNextToken();
                break;
            }
        }
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1d0, %rsp            # imm = 0x1D0
movq %rdi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x138(%rbp)
leaq -0x60(%rbp), %rdi
callq 0x102b0
leaq -0xb0(%rbp), %rdi
callq 0x102e0
jmp 0xf131
jmp 0xf133
jmp 0xf135
movq -0x138(%rbp), %rax
movl 0x58(%rax), %eax
movq %rax, -0x140(%rbp)
subq $0x3b, %rax
ja 0xf3f7
movq -0x140(%rbp), %rax
leaq 0xc216(%rip), %rcx      # 0x1b374
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb8(%rbp)
movl %eax, -0xbc(%rbp)
jmp 0xf5f4
movq -0x138(%rbp), %rdi
callq 0xf610
movq %rax, -0x148(%rbp)
jmp 0xf193
movq -0x148(%rbp), %rax
movq %rax, -0xc8(%rbp)
leaq -0x60(%rbp), %rdi
leaq -0xc8(%rbp), %rsi
callq 0x10310
jmp 0xf1b3
jmp 0xf5c1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb8(%rbp)
movl %eax, -0xbc(%rbp)
jmp 0xf5e8
movq -0x138(%rbp), %rdi
callq 0xf6f0
movq %rax, -0x150(%rbp)
jmp 0xf1e4
movq -0x150(%rbp), %rax
movq %rax, -0xd0(%rbp)
leaq -0x60(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
callq 0x10310
jmp 0xf204
jmp 0xf5c1
movq -0x138(%rbp), %rdi
callq 0xf680
movq %rax, -0x158(%rbp)
jmp 0xf21e
movq -0x158(%rbp), %rax
movq %rax, -0xd8(%rbp)
leaq -0x60(%rbp), %rdi
leaq -0xd8(%rbp), %rsi
callq 0x10310
jmp 0xf23e
jmp 0xf5c1
movq -0x138(%rbp), %rdi
callq 0x10070
jmp 0xf251
jmp 0xf253
jmp 0xf255
leaq -0xb0(%rbp), %rdi
callq 0x10340
movb %al, -0x159(%rbp)
jmp 0xf269
movb -0x159(%rbp), %al
xorb $-0x1, %al
testb $0x1, %al
jne 0xf27a
jmp 0xf394
leaq -0xb0(%rbp), %rdi
callq 0x10360
movq %rax, -0x168(%rbp)
jmp 0xf28f
movq -0x168(%rbp), %rax
movb (%rax), %al
movb %al, -0xd9(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0x10380
jmp 0xf2ac
leaq -0x60(%rbp), %rdi
callq 0x103a0
movq %rax, -0x170(%rbp)
jmp 0xf2be
movq -0x170(%rbp), %rax
movq (%rax), %rax
movq %rax, -0xf0(%rbp)
leaq -0x60(%rbp), %rdi
callq 0x103c0
jmp 0xf2da
leaq -0x60(%rbp), %rdi
callq 0x103a0
movq %rax, -0x178(%rbp)
jmp 0xf2ec
movq -0x178(%rbp), %rax
movq (%rax), %rax
movq %rax, -0xe8(%rbp)
leaq -0x60(%rbp), %rdi
callq 0x103c0
jmp 0xf308
movl $0x20, %edi
callq 0x3290
movq %rax, -0x180(%rbp)
jmp 0xf31b
movq -0x180(%rbp), %rdi
movsbl -0xd9(%rbp), %esi
movq -0xe8(%rbp), %rdx
movq -0xf0(%rbp), %rcx
callq 0x103e0
jmp 0xf33e
movq -0x180(%rbp), %rax
movq %rax, -0xf8(%rbp)
movq -0xf8(%rbp), %rax
movq %rax, -0x100(%rbp)
leaq -0x60(%rbp), %rdi
leaq -0x100(%rbp), %rsi
callq 0x10310
jmp 0xf36c
jmp 0xf255
movq -0x180(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb8(%rbp)
movl %eax, -0xbc(%rbp)
callq 0x3270
jmp 0xf5e8
leaq -0x60(%rbp), %rdi
callq 0x10440
movb %al, -0x181(%rbp)
jmp 0xf3a5
movb -0x181(%rbp), %al
testb $0x1, %al
jne 0xf3e0
jmp 0xf3b1
leaq -0x60(%rbp), %rdi
callq 0x103a0
movq %rax, -0x190(%rbp)
jmp 0xf3c3
movq -0x190(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x8(%rbp)
movl $0x1, -0x104(%rbp)
jmp 0xf5c6
movq $0x0, -0x8(%rbp)
movl $0x1, -0x104(%rbp)
jmp 0xf5c6
leaq -0xb0(%rbp), %rdi
callq 0x10340
movb %al, -0x191(%rbp)
jmp 0xf40b
movb -0x191(%rbp), %al
testb $0x1, %al
jne 0xf58c
jmp 0xf41b
leaq -0xb0(%rbp), %rdi
callq 0x10360
movq %rax, -0x1a0(%rbp)
jmp 0xf430
movq -0x138(%rbp), %rdi
movq -0x1a0(%rbp), %rax
movl (%rax), %esi
callq 0x10460
movl %eax, -0x1a4(%rbp)
jmp 0xf44d
movq -0x138(%rbp), %rdi
movl 0x58(%rdi), %esi
callq 0x10460
movl %eax, -0x1a8(%rbp)
jmp 0xf464
movl -0x1a4(%rbp), %eax
movl -0x1a8(%rbp), %ecx
cmpl %ecx, %eax
jl 0xf58c
leaq -0xb0(%rbp), %rdi
callq 0x10360
movq %rax, -0x1b0(%rbp)
jmp 0xf48d
movq -0x1b0(%rbp), %rax
movb (%rax), %al
movb %al, -0x105(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0x10380
jmp 0xf4aa
leaq -0x60(%rbp), %rdi
callq 0x103a0
movq %rax, -0x1b8(%rbp)
jmp 0xf4bc
movq -0x1b8(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x118(%rbp)
leaq -0x60(%rbp), %rdi
callq 0x103c0
jmp 0xf4d8
leaq -0x60(%rbp), %rdi
callq 0x103a0
movq %rax, -0x1c0(%rbp)
jmp 0xf4ea
movq -0x1c0(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x110(%rbp)
leaq -0x60(%rbp), %rdi
callq 0x103c0
jmp 0xf506
movl $0x20, %edi
callq 0x3290
movq %rax, -0x1c8(%rbp)
jmp 0xf519
movq -0x1c8(%rbp), %rdi
movsbl -0x105(%rbp), %esi
movq -0x110(%rbp), %rdx
movq -0x118(%rbp), %rcx
callq 0x103e0
jmp 0xf53c
movq -0x1c8(%rbp), %rax
movq %rax, -0x120(%rbp)
movq -0x120(%rbp), %rax
movq %rax, -0x128(%rbp)
leaq -0x60(%rbp), %rdi
leaq -0x128(%rbp), %rsi
callq 0x10310
jmp 0xf56a
jmp 0xf58c
movq -0x1c8(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb8(%rbp)
movl %eax, -0xbc(%rbp)
callq 0x3270
jmp 0xf5e8
movq -0x138(%rbp), %rax
movl 0x58(%rax), %eax
movl %eax, -0x12c(%rbp)
leaq -0xb0(%rbp), %rdi
leaq -0x12c(%rbp), %rsi
callq 0x10490
jmp 0xf5b1
movq -0x138(%rbp), %rdi
callq 0x10070
jmp 0xf5bf
jmp 0xf5c1
jmp 0xf133
leaq -0xb0(%rbp), %rdi
callq 0x8bd0
leaq -0x60(%rbp), %rdi
callq 0x104c0
movq -0x8(%rbp), %rax
addq $0x1d0, %rsp            # imm = 0x1D0
popq %rbp
retq
leaq -0xb0(%rbp), %rdi
callq 0x8bd0
leaq -0x60(%rbp), %rdi
callq 0x104c0
movq -0xb8(%rbp), %rdi
callq 0x3470
nopl (%rax)