diff --git a/print-rvar-to-bril.rkt b/print-rvar-to-bril.rkt new file mode 100644 index 0000000..e1a3928 --- /dev/null +++ b/print-rvar-to-bril.rkt @@ -0,0 +1,17 @@ +#lang racket + +(provide print-rvar-bril) + +(require (prefix-in bril: bril/lang)) +(require "cvar-to-bril.rkt") +(require "uniquify.rkt") +(require "remove-complex-oper.rkt") +(require "explicate-control.rkt") +(require "rvar.rkt") + +(define (print-rvar-bril program) + (bril:write-bril + (cvar-to-bril + (explicate-control + (remove-complex-opera*-2 + (uniquify program))))))