Class: YTLJit::VM::Node::InstanceVarAssignNode

Inherits:
InstanceVarRefCommonNode show all
Includes:
HaveChildlenMixin
Defined in:
lib/ytljit/vm.rb

Constant Summary

Constants inherited from BaseNode

BaseNode::ESCAPE_LEVEL

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 collapse

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 included from NodeUtil

#search_class_top, #search_end, #search_frame_info, #search_top

Methods inherited from BaseNode

#add_element_node, #add_element_node_backward, #add_element_node_backward_aux, #decide_type, #decide_type_core, #decide_type_once, #gen_type_inference_proc, #get_constant_value, #inference_type, #marge_element_node, #marge_type, #same_type, #search_valid_signature, #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, name, mnode, val) ⇒ InstanceVarAssignNode

Returns a new instance of InstanceVarAssignNode.



3771
3772
3773
3774
3775
3776
 
# File 'lib/ytljit/vm.rb', line 3771

def initialize(parent, name, mnode, val)
  super(parent, name, mnode)
  val.parent = self
  @val = val
  @curpare = [self, []]
end

Instance Attribute Details

#val ⇒ Object (readonly)

Returns the value of attribute val.



3778
3779
3780
 
# File 'lib/ytljit/vm.rb', line 3778

def val
  @val
end

Instance Method Details

#collect_candidate_type(context) ⇒ Object 



3794
3795
3796
3797
3798
3799
3800
3801
3802
3803
3804
3805
3806
3807
3808
3809
3810
3811
3812
3813
3814
3815
 
# File 'lib/ytljit/vm.rb', line 3794

def collect_candidate_type(context)
  context = @val.collect_candidate_type(context)
  cursig = context.to_signature
  if !@curpare[1].include? cursig then
      @curpare[1].push cursig
  end
  same_type(self, @val, cursig, cursig, context)
#          same_type(@val, self, cursig, cursig, context)
  @val.type = nil
  rtype = @val.decide_type_once(cursig)
  rrtype = rtype.ruby_type
  if rrtype != Fixnum and rrtype != Float then
    if cursig[2].boxed and @val.is_escape != :global_export and true then
      @val.set_escape_node_backward(:global_export)
      context = @val.collect_candidate_type(context)
#              context.convergent = false
    else
      @val.set_escape_node_backward(:local_export)
    end
  end
  @body.collect_candidate_type(context)
end

#collect_info(context) ⇒ Object 



3785
3786
3787
3788
3789
3790
3791
3792
 
# File 'lib/ytljit/vm.rb', line 3785

def collect_info(context)
  context = @val.collect_info(context)
  if context.modified_instance_var[@name] == nil then
    context.modified_instance_var[@name] = []
  end
  context.modified_instance_var[@name].push @curpare
  @body.collect_info(context)
end

#compile(context) ⇒ Object 



3821
3822
3823
3824
 
# File 'lib/ytljit/vm.rb', line 3821

def compile(context)
  context = super(context)
  compile_main(context)
end

#compile_main(context) ⇒ Object 



3817
3818
3819
 
# File 'lib/ytljit/vm.rb', line 3817

def compile_main(context)
  context
end

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

Yields:



3780
3781
3782
3783
 
# File 'lib/ytljit/vm.rb', line 3780

def traverse_childlen
  yield @val
  yield @body
end