toplevel.ml

(*
toplevel.ml

@authors Aidan Barg
         Abby Larson
         Claudia Aranda Barrios
         Steven Oh
*)
   
   type action = Ast | Sast | LLVM_IR | Compile

   let () =
     let action = ref Compile in
     let set_action a () = action := a in
     let speclist = [
       ("-a", Arg.Unit (set_action Ast), "Print the AST");
       ("-s", Arg.Unit (set_action Sast), "Print the SAST");
       ("-l", Arg.Unit (set_action LLVM_IR), "Print the generated LLVM IR");
       ("-c", Arg.Unit (set_action Compile),
         "Check and print the generated LLVM IR (default)");
     ] in  
     let usage_msg = "usage: ./toplevel.native [-a|-s|-l|-c] [file.gp]" in
     let channel = ref stdin in
     Arg.parse speclist (fun filename -> channel := open_in filename) usage_msg;
     
     let lexbuf = Lexing.from_channel !channel in
     let ast = Parser.program Scanner.token lexbuf in  
     match !action with
       Ast -> print_string (Ast.string_of_program ast)
     | _ -> let sast = Semant.check ast in
       match !action with
         Ast     -> ()
       | Sast    -> print_string (Sast.string_of_sprogram sast)
       | LLVM_IR -> print_string (Llvm.string_of_llmodule (Codegen.translate sast))
       | Compile -> let m = Codegen.translate sast in
     Llvm_analysis.assert_valid_module m;
     print_string (Llvm.string_of_llmodule m)
   
(* open Ast 

let () =
  let lex_buf = Lexing.from_channel stdin in
  let ast = Parser.program Scanner.token lex_buf in
  (*** print_string (Ast.string_of_program parsed_expr) ***)
  let sast = Semant.check ast in
  print_string (Llvm.string_of_llmodule (Codegen.translate sast))
  (* print_string (Sast.string_of_program sast) *)


  (*** code from MicroC for reference
      (* Top-level of the MicroC compiler: scan & parse the input,
      check the resulting AST and generate an SAST from it, generate LLVM IR,
      and dump the module *)

    type action = Ast | Sast | LLVM_IR | Compile

    let () =
      let action = ref Compile in
      let set_action a () = action := a in
      let speclist = [
        ("-a", Arg.Unit (set_action Ast), "Print the AST");
        ("-s", Arg.Unit (set_action Sast), "Print the SAST");
        ("-l", Arg.Unit (set_action LLVM_IR), "Print the generated LLVM IR");
        ("-c", Arg.Unit (set_action Compile),
          "Check and print the generated LLVM IR (default)");
      ] in  
      let usage_msg = "usage: ./microc.native [-a|-s|-l|-c] [file.mc]" in
      let channel = ref stdin in
      Arg.parse speclist (fun filename -> channel := open_in filename) usage_msg;
      
      let lexbuf = Lexing.from_channel !channel in
      let ast = Parser.program Scanner.token lexbuf in  
      match !action with
        Ast -> print_string (Ast.string_of_program ast)
      | _ -> let sast = Semant.check ast in
        match !action with
          Ast     -> ()
        | Sast    -> print_string (Sast.string_of_sprogram sast)
        | LLVM_IR -> print_string (Llvm.string_of_llmodule (Codegen.translate sast))
        | Compile -> let m = Codegen.translate sast in
      Llvm_analysis.assert_valid_module m;
      print_string (Llvm.string_of_llmodule m)
  ***) *)