Class: YTLJit::VM::Node::SendNewNode

Inherits:
SendNode show all
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 inherited from SendNode

add_special_send_node, #check_signature_changed, #collect_candidate_type, #collect_info, #fill_result_cache, #get_constant_value, #get_send_method_node, make_send_node, node, #search_signature

Methods included from SendUtil

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

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 inherited from BaseNode

#add_element_node, #collect_candidate_type, #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, func, arguments, op_flag, seqno) ⇒ SendNewNode

Returns a new instance of SendNewNode.



464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
# File 'lib/ytljit/vm_sendnode.rb', line 464

def initialize(parent, func, arguments, op_flag, seqno)
  super
  allocfunc = MethodSelectNode.new(self, :allocate)
  alloc = SendNode.make_send_node(self, allocfunc, 
                                  arguments[0, 3], 0, seqno)
  allocfunc.set_reciever(alloc)
  initfunc = MethodSelectNode.new(self, :initialize)
  initarg = arguments.dup
  initarg[2] = alloc
  init = SendNode.make_send_node(self, initfunc, 
                                 initarg, op_flag, seqno)
  initfunc.set_reciever(init)
  alloc.parent = init
  @initmethod = init
end

Instance Method Details

#collect_candidate_type_regident(context, slf) ⇒ Object



489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
# File 'lib/ytljit/vm_sendnode.rb', line 489

def collect_candidate_type_regident(context, slf)
  slfnode = @arguments[2]

  if slf.ruby_type.is_a?(Class) then
    case slfnode
    when ConstantRefNode
      context = @initmethod.collect_candidate_type(context)
      clstop = slfnode.value_node
      case clstop
      when ClassTopNode
        tt = RubyType::BaseType.from_ruby_class(clstop.klass_object)
        add_type(context.to_signature, tt)
        
      when LiteralNode
        tt = RubyType::BaseType.from_ruby_class(clstop.value)
        add_type(context.to_signature, tt)

      else
        raise "Unkown node type in constant #{slfnode.value_node.class}"
      end

    else
      raise "Unkonwn node type #{@arguments[2].class} "
    end
  end
  context
end

#compile(context) ⇒ Object



517
518
519
520
521
522
523
524
525
526
527
# File 'lib/ytljit/vm_sendnode.rb', line 517

def compile(context)
  @arguments[2].decide_type_once(context.to_signature)
  rtype = @arguments[2].type
  rrtype = rtype.ruby_type
  if rrtype.is_a?(Class) then
    context = @initmethod.compile(context)
    @body.compile(context)
  else
    super
  end
end

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

Yields:



480
481
482
483
484
485
486
487
# File 'lib/ytljit/vm_sendnode.rb', line 480

def traverse_childlen
  @arguments.each do |arg|
    yield arg
  end
  yield @func
  yield @initmethod
  yield @body
end