abhijeetbhagat / charon Goto Github PK

let function foo()  = if 8 then print(\"rust\") else print(\"c++\") in foo() end

; ModuleID = 'main_mod'
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"

@.str = private unnamed_addr constant [5 x i8] c"rust\00"
@.str2 = private unnamed_addr constant [4 x i8] c"c++\00"

define i32 @main() {
entry:
  call void @foo()
  %call = call void @exit(i32 0)
  ret i32 0
}

define void @foo() {
ifcont:
  %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([5 x i8]* @.str, i32 0, i32 0))
  ret void
}

declare i32 @printf(i8*, ...)

declare i32 @printf1(i8*, ...)

declare void @exit(i32)

    fn parse_if_then_else_expr(&mut self) -> Option<(TType, B<Expr>)>{
        //eat 'if'
        self.lexer.get_token();
        //parse the conditional expr
        let opt_tup = self.expr().unwrap();
        match self.lexer.curr_token {
            Token::Then => {
                self.lexer.get_token(); //advance to the next token
                let (_, then_expr) = self.expr().unwrap();
                match self.lexer.curr_token { // <==Will this always work?
                    Token::Else => {
                        self.lexer.get_token(); //advance to the next token
                        let (_, else_body) = self.expr().unwrap();
                        return Some((TVoid, B(IfThenElseExpr(opt_tup.1, then_expr, else_body))))
                    }
                    _ => {}
                }
                Some((TVoid, B(IfThenExpr(opt_tup.1, then_expr))))
            },
            _ => panic!("Expected then after the if expression")
        }
    }