Class: YTLJit::VM::Node::BranchCommonNode

Inherits:
BaseNode show all
Includes:
HaveChildlenMixin, IfNodeCodeGen
Defined in:
lib/ytljit/vm.rb

Direct Known Subclasses

BranchIfNode, BranchUnlessNode

Constant Summary

Constants included from AbsArch

AbsArch::AL, AbsArch::BL, AbsArch::CL, AbsArch::DL, AbsArch::FUNC_ARG, AbsArch::FUNC_ARG_YTL, AbsArch::FUNC_FLOAT_ARG, AbsArch::FUNC_FLOAT_ARG_YTL, AbsArch::INDIRECT_BPR, AbsArch::INDIRECT_RETR, AbsArch::INDIRECT_SPR, AbsArch::INDIRECT_TMPR, AbsArch::INDIRECT_TMPR2, AbsArch::INDIRECT_TMPR3

Constants included from SSE

SSE::XMM0, SSE::XMM1, SSE::XMM2, SSE::XMM3, SSE::XMM4, SSE::XMM5, SSE::XMM6, SSE::XMM7

Instance Attribute Summary

Attributes included from HaveChildlenMixin

#body

Attributes inherited from BaseNode

#code_space, #debug_info, #element_node_list, #id, #is_escape, #parent, #ti_observee, #ti_observer, #type

Instance Method Summary collapse

Methods inherited from BaseNode

#add_element_node, #collect_info, #decide_type, #decide_type_core, #decide_type_once, #gen_type_inference_proc, #get_constant_value, #inference_type, #merge_type, #same_type, #ti_add_observer, #ti_changed, #ti_del_link, #ti_reset, #ti_update

Methods included from TypeListWithSignature

#add_type, #set_type_list, #type_list, #type_list_initvar

Methods included from Inspect

#inspect_by_graph

Constructor Details

#initialize(parent, cond, jmpto) ⇒ BranchCommonNode

Returns a new instance of BranchCommonNode.



1738
1739
1740
1741
1742
 
# File 'lib/ytljit/vm.rb', line 1738

def initialize(parent, cond, jmpto)
  super(parent)
  @cond = cond
  @jmp_to_node = jmpto
end

Instance Method Details

#branch(as, address) ⇒ Object 



1751
1752
1753
1754
1755
 
# File 'lib/ytljit/vm.rb', line 1751

def branch(as, address)
  # as.jn(address)
  # as.je(address)
  raise "Don't use this node direct"
end

#collect_candidate_type(context) ⇒ Object 



1757
1758
1759
1760
1761
 
# File 'lib/ytljit/vm.rb', line 1757

def collect_candidate_type(context)
  context = @cond.collect_candidate_type(context)
  context = @jmp_to_node.collect_candidate_type(context, self)
  @body.collect_candidate_type(context)
end

#compile(context) ⇒ Object 



1763
1764
1765
1766
1767
1768
1769
1770
1771
1772
1773
1774
1775
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785
1786
1787
1788
1789
 
# File 'lib/ytljit/vm.rb', line 1763

def compile(context)
  context = super(context)
  context = @jmp_to_node.compile_block_value(context, self)

  jmptocs = @jmp_to_node.code_space
  context = @cond.compile(context)
  curas = context.assembler
  curas.with_retry do
    if context.ret_reg != TMPR then
      curas.mov(TMPR, context.ret_reg)
    end
    
    # In 64bit mode. It will be sign extended to 64 bit
    curas.and(TMPR, OpImmidiate32.new(~4))
  end

  curas.with_retry do
    branch(curas, jmptocs.var_base_address)
  end

  context = @body.compile(context)
  oldcs = context.set_code_space(jmptocs)
  context = @jmp_to_node.compile(context)
#          context.set_code_space(oldcs)

  context
end

#traverse_childlen {|@cond| ... } ⇒ Object

Yields:

  • (@cond) 


1744
1745
1746
1747
1748
1749
 
# File 'lib/ytljit/vm.rb', line 1744

def traverse_childlen(&block)
  @jmp_to_node.traverse_block_value(self, &block)
  yield @cond
  yield @jmp_to_node
  yield @body
end