Class: YTLJit::VM::Node::SendElementAssignNode

Inherits:
SendNode show all
Includes:
SendUtil
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

Instance Attribute Summary

Attributes inherited from SendNode

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

Attributes included from HaveChildlenMixin

#body

Attributes inherited from BaseNode

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

Instance Method Summary collapse

Methods included from SendUtil

#compile_c_fixarg, #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, #compile, #fill_result_cache, #get_constant_value, #get_send_method_node, #initialize, 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

#dump_context, #gen_call, #gen_make_argv

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

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

Instance Method Details

#collect_candidate_type_regident(context, slf) ⇒ Object 



857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
 
# File 'lib/ytljit/vm_sendnode.rb', line 857

def collect_candidate_type_regident(context, slf)
  case [slf.ruby_type]
  when [Array]
    fixtype = RubyType::BaseType.from_ruby_class(Fixnum)
    sig = context.to_signature
    val = @arguments[4]
    @arguments[3].add_type(sig, fixtype)
    @arguments[2].add_element_node(sig, val, context)
    decide_type_once(sig)
    @arguments[2].type = nil
    @arguments[2].decide_type_once(sig)
    epare = @arguments[2].element_node_list[0]
    esig = epare[0]
    enode = epare[1]
    if enode != self then
      same_type(self, enode, sig, esig, context)
      same_type(enode, self, esig, sig, context)
    end

  when [Hash]
    @arguments[2].add_element_node(context.to_signature, self, context)
  end

  context
end