fibinacci actually compiles, doesnt mean it works though

lib/ast/call_site_expression.rb

@@ -11,10 +11,24 @@ module Ast
       function = context.program.get_or_create_function(name)
       raise "Forward declaration not implemented (#{name}) #{inspect}" if function == nil
       call = Vm::CallSite.new( name ,  params  , function)
+      save_locals context , into
       call.load_args into
       call.do_call into
+      resore_locals context , into
     end
-    
+
+    def save_locals context , into
+      into.instance_eval do 
+        push [:r0, :r1 , :r2]
+      end
+    end
+
+    def resore_locals context , into
+      into.instance_eval do 
+        pop [:r0, :r1 , :r2]
+      end
+    end
+
     def inspect
       self.class.name + ".new(" + name.inspect + ", ["+ 
         args.collect{|m| m.inspect }.join( ",") +"] )"  

lib/ast/operator_expressions.rb

@@ -18,6 +18,7 @@ module Ast
     def compile context , into
       puts "compile operator #{to_s}"
       r_val = right.compile(context , into)
+      puts "compiled right #{r_val.inspect}"
       if operator == "="    # assignment, value based
         raise "Can only assign variables, not #{left}" unless left.is_a?(NameExpression) 
         l_val = context.locals[left.name]
@@ -38,7 +39,9 @@ module Ast
         code = l_val.less_or_equal into , r_val
       when "+"
         res = Vm::Integer.new(context.function.next_register)
-        code = res.plus into , l_val , r_val
+        into.add_code     res.is l_val + r_val
+#        code = res.plus into , l_val , r_val
+        code = res
       when "-"
         res = Vm::Integer.new(context.function.next_register)
         code = res.minus into , l_val , r_val