2015-05-08 15:10:30 +03:00
|
|
|
module Virtual
|
|
|
|
module Compiler
|
2015-05-04 14:22:22 +03:00
|
|
|
|
|
|
|
# while- attr_reader :condition, :body
|
2015-05-08 15:10:30 +03:00
|
|
|
def self.compile_while expression, method
|
2015-07-18 19:02:54 +03:00
|
|
|
# this is where the while ends and both branches meet
|
|
|
|
merge = method.source.new_block("while merge")
|
|
|
|
# this comes after the current and beofre the merge
|
|
|
|
start = method.source.new_block("while_start" )
|
|
|
|
method.source.current start
|
|
|
|
|
|
|
|
cond = Compiler.compile(expression.condition, method)
|
|
|
|
|
|
|
|
method.source.add_code IsTrueBranch.new(merge)
|
|
|
|
|
|
|
|
last = cond
|
2015-05-04 14:22:22 +03:00
|
|
|
expression.body.each do |part|
|
2015-07-18 19:02:54 +03:00
|
|
|
last = Compiler.compile(part , method)
|
2014-07-17 16:46:17 +03:00
|
|
|
raise part.inspect if last.nil?
|
|
|
|
end
|
2015-07-18 19:02:54 +03:00
|
|
|
# unconditionally branch to the start
|
|
|
|
method.source.add_code UnconditionalBranch.new(start)
|
|
|
|
|
|
|
|
# continue execution / compiling at the merge block
|
|
|
|
method.source.current merge
|
2014-07-17 16:46:17 +03:00
|
|
|
last
|
2014-07-14 16:19:47 +03:00
|
|
|
end
|
2015-05-08 15:10:30 +03:00
|
|
|
end
|
2015-05-04 14:22:22 +03:00
|
|
|
end
|