Class: YTLJit::VM::Node::SendElementRefNode

Inherits:

SendNode

• Object
• BaseNode
• SendNode
• YTLJit::VM::Node::SendElementRefNode

Includes:

SendUtil, UnboxedArrayUtil

Defined in:

lib/ytljit/vm_sendnode.rb

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

BaseNode::ESCAPE_LEVEL

Instance Attribute Summary

Attributes inherited from SendNode

#arguments, #class_top, #current_exception_table, #frame_info, #func, #modified_instance_var, #modified_local_var, #next_node, #opt_flag, #result_cache, #seq_no

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

• #collect_candidate_type_regident(context, slf) ⇒ Object
• #compile(context) ⇒ Object

Methods included from UnboxedArrayUtil

#compile_array_unboxed, #gen_ref_element, #gen_set_element

Methods included from UnboxedObjectUtil

#compile_object_unboxed

Methods included from SendUtil

#compile_c_fixarg, #compile_c_fixarg_raw, #compile_c_vararg, #compile_ytl, #gen_eval_self, #signature

Methods inherited from SendNode

add_special_send_node, #check_signature_changed, #collect_candidate_type, #collect_info, #fill_result_cache, #get_constant_value, get_macro_tab, #get_send_method_node, get_user_defined_method_tab, #initialize, macro_expand, make_send_node, node, #search_signature, #traverse_childlen

Methods included from NodeUtil

#search_class_top, #search_end, #search_frame_info, #search_top

Methods included from SendNodeCodeGen

#gen_make_argv

Methods included from CommonCodeGen

#dump_context, #gen_alloca, #gen_call, #gen_save_thepr

Methods included from OptFlagOp

#is_args_blockarg, #is_args_splat, #is_fcall, #is_opt_send, #is_super, #is_tailcall, #is_tailrecursion, #is_vcall

Methods included from HaveChildlenMixin

#initialize, #traverse_childlen

Methods inherited from BaseNode

#add_element_node, #add_element_node_backward, #collect_candidate_type, #collect_info, #decide_type, #decide_type_core, #decide_type_once, #gen_type_inference_proc, #get_constant_value, #inference_type, #initialize, #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

This class inherits a constructor from YTLJit::VM::Node::SendNode

Instance Method Details

#collect_candidate_type_regident(context, slf) ⇒ Object

# File 'lib/ytljit/vm_sendnode.rb', line 1305

def collect_candidate_type_regident(context, slf)
  cursig = context.to_signature
  case [slf.ruby_type]
  when [Array]
    fixtype = RubyType::BaseType.from_ruby_class(Fixnum)
    idxtype = @arguments[3].decide_type_once(cursig)
    if idxtype.ruby_type == Range then
      same_type(self, @arguments[2], cursig, cursig, context)
      return context
    end
    @arguments[3].add_type(cursig, fixtype)
    cidx = @arguments[3].get_constant_value

    # decide type again
    @arguments[2].type = nil
    slf = @arguments[2].decide_type_once(cursig)

    epare = nil

    @arguments[2].element_node_list.each do |ele|
      if ele[3] == cidx and ele[2] != self and 
          ele[0] == slf then
        epare2 = ele
        esig = epare2[1]
        enode = epare2[2]
        if enode.type_list(esig) != [[], []] then
          epare = epare2
          same_type(self, enode, cursig, esig, context)
        end
      end
    end

    if epare == nil then
      @arguments[2].element_node_list.each do |ele|
        if ele[3] == nil and ele[2] != self and 
            ele[0] == slf then
          epare2 = ele
          esig = epare2[1]
          enode = epare2[2]
          if enode.type_list(esig) != [[], []] then
            epare = epare2
            same_type(self, enode, cursig, esig, context)
          end
        end
      end
    end

=begin
    if epare == nil then
      @arguments[2].element_node_list.reverse.each do |ele|
        if ele[3] == cidx and ele[2] != self and 
            ele[0].ruby_type == slf.ruby_type then
          epare2 = ele
          esig = epare2[1]
          enode = epare2[2]
          unless enode.type_list(esig) == [[], []]
            epare = epare2
            same_type(self, enode, cursig, esig, context)
            break
          end
        end
      end
    end

    if epare == nil then
      nele = @arguments[2].element_node_list.select {|e| e[3] == nil}
      if nele.size == 1 then
        epare = @arguments[2].element_node_list[0]
        esig = epare[1]
        enode = epare[2]
        same_type(self, enode, cursig, esig, context)
      end
    end
=end

    if epare == nil then
      if slf.have_element? and slf.element_type then
        add_type(cursig, slf.element_type[nil][0])
      end
    end

    @type = nil
    
  when [Hash]
    cidx = @arguments[3].get_constant_value
    rtype = @arguments[2].decide_type_once(cursig)
    niltype = RubyType::BaseType.from_ruby_class(NilClass)
    @arguments[3].type = nil
    @arguments[3].add_type(cursig, niltype)
    @arguments[2].add_element_node(rtype, cursig, self, cidx, context)
  end

  context
end

#compile(context) ⇒ Object

# File 'lib/ytljit/vm_sendnode.rb', line 1400

def compile(context)
  sig = context.to_signature
  asm = context.assembler
  @arguments[2].type = nil
  rtype = @arguments[2].decide_type_once(sig)
  rrtype = rtype.ruby_type

  if rrtype == Array and !rtype.boxed and 
      @arguments[2].is_escape != :global_export then
    context = gen_ref_element(context, @arguments[2], @arguments[3])
    rtype = decide_type_once(sig)
    if rtype.ruby_type == Float and !rtype.boxed then
      asm.with_retry do
        asm.mov(XMM0, context.ret_reg)
      end
      context.ret_reg = XMM0
      context.set_reg_content(XMM0, self)
    else
      asm.with_retry do
        asm.mov(RETR, context.ret_reg)
      end
      context.ret_reg = RETR
      context.set_reg_content(RETR, self)
    end
    @body.compile(context)
  else
=begin
    p @arguments[2].type
    p @arguments[2].instance_eval {@type_list}
      p sig
    p @arguments[2].is_escape
    p debug_info
=end
    super
  end
end