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

Constants inherited from BaseNode

YTLJit::VM::Node::BaseNode::ESCAPE_LEVEL

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, #add_element_node_backward, #collect_info, #decide_type, #decide_type_core, #decide_type_once, #gen_type_inference_proc, #get_constant_value, #inference_type, #marge_element_node, #marge_type, #same_type, #set_escape_node, #set_escape_node_backward, #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.



2150
2151
2152
2153
2154
 
# File 'lib/ytljit/vm.rb', line 2150

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

Instance Method Details

#branch(as, address) ⇒ Object 



2163
2164
2165
2166
2167
 
# File 'lib/ytljit/vm.rb', line 2163

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

#collect_candidate_type(context) ⇒ Object 



2169
2170
2171
2172
2173
 
# File 'lib/ytljit/vm.rb', line 2169

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 



2175
2176
2177
2178
2179
2180
2181
2182
2183
2184
2185
2186
2187
2188
2189
2190
2191
2192
2193
2194
2195
2196
2197
2198
2199
2200
2201
2202
 
# File 'lib/ytljit/vm.rb', line 2175

def compile(context)
  sig = context.to_signature
  context = super(context)
  context = @jmp_to_node.compile_block_value(context, self)
  jmptocs = @jmp_to_node.get_code_space(sig)

  curas = context.assembler
  context = @cond.compile(context)
  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) 


2156
2157
2158
2159
2160
2161
 
# File 'lib/ytljit/vm.rb', line 2156

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