vm.fail
MLIR DAG rewriter w/ SSA IR, dominance and CFG analysis passes
1open Ir
2open Parser
3open Nemo
4open Printer
5
6let () =
7 if Array.length Sys.argv < 2 then begin
8 Printf.eprintf "Usage: %s <file.ir>\n" Sys.argv.(0);
9 exit 1
10 end;
11 let path = Sys.argv.(1) in
12 let f = parse_func_from_file path in
13 let f' = mem2reg f in
14 Printf.printf "Before (mem2reg input):\n";
15 print_func f;
16 Printf.printf "\nAfter (SSA):\n";
17 print_func f'