+
+ fun processir externs (Tree.FUNCTION (id, ir)) =
+ let
+ val name = "_l3_" ^ (Symbol.name id)
+
+ fun realname s = if (List.exists (fn n => s = n) externs)
+ then s
+ else "_l3_" ^ s
+
+ val _ = Flag.guard flag_verbose say ("Processing function: " ^ name)
+
+ val _ = Flag.guard flag_verbose say " Generating proto-x86_64 code..."
+ val assem = Codegen.codegen ir
+ val _ = Flag.guard flag_assem
+ (fn () => List.app (TextIO.print o (x86.prettyprint x86.Long)) assem) ()
+
+ val _ = Flag.guard flag_verbose say " Analyzing liveness..."
+ val (preds, liveness) = Liveness.liveness assem;
+ val _ = Flag.guard flag_liveness
+ (fn () => List.app
+ (fn (asm, liv) =>
+ TextIO.print (
+ let
+ val xpp = x86.prettyprint x86.Long asm
+ val xpp = String.extract (xpp, 0, SOME (size xpp - 1))
+ val spaces = implode (List.tabulate (40 - size xpp, fn _ => #" ")) handle size => ""
+ val lpp = Liveness.prettyprint liv
+ val lpp = String.extract (lpp, 0, SOME (size lpp - 1))
+ val spaces2 = implode (List.tabulate (40 - size lpp, fn _ => #" ")) handle size => ""
+ in
+ xpp ^ spaces ^ lpp ^ spaces2 ^ "\n"
+ end))
+ (ListPair.zip (assem, Liveness.listify liveness))) ()
+
+ val _ = Flag.guard flag_verbose say " Graphing..."
+ val (igraph,temps) = Igraph.gengraph (preds, liveness)
+
+ val _ = Flag.guard flag_verbose say " Ordering..."
+ val order = ColorOrder.colororder (igraph,temps)
+
+ val _ = Flag.guard flag_verbose say " Coloring..."
+ val colors = Colorizer.colorize order igraph;
+ val _ = Flag.guard flag_color
+ (fn () => List.app (TextIO.print o
+ (fn (t, i) =>
+ (Temp.name t) ^ " => " ^ (
+ if (i <= x86.regtonum x86.R14D)
+ then (x86.prettyprint_oper x86.Long (x86.REG (x86.numtoreg i)))
+ else
+ "spill[" ^ Int.toString (i - x86.regtonum x86.R14D) ^ "]")
+ ^ "--"^ Int.toString i ^ "\n"))
+ colors) ()
+
+ val _ = Flag.guard flag_verbose say " Solidifying x86_64 code..."
+ val x86 = Solidify.solidify colors assem;
+
+ val _ = Flag.guard flag_verbose say " Peepholing..."
+ val x86p = Peephole.peephole x86;
+
+ val _ = Flag.guard flag_verbose say " Stringifying..."
+ val x86d = [x86.DIRECTIVE(".globl " ^ name),
+ x86.DIRECTIVE(name ^ ":")]
+ @ x86p
+ val code = Stringify.stringify realname x86d
+ in
+ code
+ end