Class: YTLJit::VM::Node::ClassValueNode

Inherits:
BaseNode 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 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, define) ⇒ ClassValueNode

Returns a new instance of ClassValueNode.



2536
2537
2538
2539
 
# File 'lib/ytljit/vm.rb', line 2536

def initialize(parent, define)
  super(parent)
  @define = define
end

Instance Attribute Details

#define ⇒ Object

Returns the value of attribute define.



2546
2547
2548
 
# File 'lib/ytljit/vm.rb', line 2546

def define
  @define
end

Instance Method Details

#collect_candidate_type(context) ⇒ Object 



2548
2549
2550
2551
2552
2553
2554
2555
2556
2557
2558
2559
2560
2561
2562
 
# File 'lib/ytljit/vm.rb', line 2548

def collect_candidate_type(context)
  dmylit = LiteralNode.new(self, nil)
  arg = [dmylit, dmylit, @define]
  sig = []
  cursig = context.to_signature
  arg.each do |ele|
    ele.decide_type_once(cursig)
    sig.push ele.type
  end
  type = RubyType::BaseType.from_ruby_class(@define.klassclass)
  sig[2] = type
  context = @define.collect_candidate_type(context, arg, sig)

  @body.collect_candidate_type(context)
end

#compile(context) ⇒ Object 



2564
2565
2566
2567
2568
2569
 
# File 'lib/ytljit/vm.rb', line 2564

def compile(context)
#          raise "Can't compile"

  context = super(context)
  context = @define.compile(context)
  @body.compile(context)
end

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

Yields:



2541
2542
2543
2544
 
# File 'lib/ytljit/vm.rb', line 2541

def traverse_childlen
  yield @define
  yield @body
end