1 files changed, 30 insertions, 0 deletions
diff --git a/base/Factorial.opt.names.vaporm b/base/Factorial.opt.names.vaporm
new file mode 100644
index 0000000..bbc6604
--- /dev/null
+++ b/base/Factorial.opt.names.vaporm
@@ -0,0 +1,30 @@
+const empty_Fac
+
+func Main [in 0, out 0, local 0]
+  $a0 = :empty_Fac
+  $a1 = 10
+  call :Fac.ComputeFac
+  $t0{t.0} = $v0
+  PrintIntS($t0{t.0})
+  ret
+
+func Fac.ComputeFac [in 0, out 0, local 1]
+  local[0] = $s0
+  $t0{this} = $a0
+  $s0{num} = $a1
+  $t1{t.0} = LtS($s0{num} 1)
+  if0 $t1{t.0} goto :if1_else
+  $t1{num_aux} = 1
+  goto :if1_end
+if1_else:
+  $t2{t.1} = Sub($s0{num} 1)
+  $a0 = $t0{this}
+  $a1 = $t2{t.1}
+  call :Fac.ComputeFac
+  $t2{t.2} = $v0
+  $t1{num_aux} = MulS($s0{num} $t2{t.2})
+if1_end:
+  $v0 = $t1{num_aux}
+  $s0 = local[0]
+  ret
+