Class: YTLJit::VM::Node::ConstantRefNode

Inherits:

VariableRefCommonNode

• Object
• BaseNode
• VariableRefCommonNode
• YTLJit::VM::Node::ConstantRefNode

Includes:

NodeUtil, TypeListWithoutSignature

Defined in:

lib/ytljit/vm.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

• #value_node ⇒ Object readonly

  Returns the value of attribute value_node.

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(context) ⇒ Object
• #compile(context) ⇒ Object
• #get_constant_value ⇒ Object
• #initialize(parent, klass, name) ⇒ ConstantRefNode constructor

  A new instance of ConstantRefNode.

Methods included from TypeListWithoutSignature

#add_type, #set_type_list, #type_list, #type_list_initvar

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, #collect_info, #decide_type, #decide_type_core, #decide_type_once, #gen_type_inference_proc, #inference_type, #marge_type, #same_type, #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, klass, name) ⇒ ConstantRefNode

Returns a new instance of ConstantRefNode.

# File 'lib/ytljit/vm.rb', line 3263

def initialize(parent, klass, name)
  super(parent)
  @name = name
  rklass = nil
  case klass
  when LiteralNode, ConstantRefNode
    rklass = klass.get_constant_value[0]
    klass = ClassTopNode.get_class_top_node(rklass)

  when ClassTopNode
    rklass = klass.get_constant_value[0]
    
  else
    klass = search_class_top
  end

  @class_top = klass # .search_class_top
  @value_node = nil
  clsnode = nil
  if klass then
    @value_node, clsnode = klass.search_constant_with_super(@name)
  end
  if clsnode == nil and rklass then
    @value_node = LiteralNode.new(self, rklass.const_get(@name))
  end
end

Instance Attribute Details

#value_node ⇒ Object (readonly)

Returns the value of attribute value_node.

# File 'lib/ytljit/vm.rb', line 3290

def value_node
  @value_node
end

Instance Method Details

#collect_candidate_type(context) ⇒ Object

# File 'lib/ytljit/vm.rb', line 3292

def collect_candidate_type(context)
  if @value_node.is_a?(ClassTopNode) or 
      @value_node.is_a?(LiteralNode) then
    add_type(context.to_signature, @value_node.type)
  else
    cursig = context.to_signature
    same_type(self, @value_node, cursig, cursig, context)
  end

  context
end

#compile(context) ⇒ Object

# File 'lib/ytljit/vm.rb', line 3304

def compile(context)
  case @value_node
  when ClassTopNode
    obj = @value_node.klass_object
    objadd = lambda { obj.address }
    context.ret_reg  = OpVarImmidiateAddress.new(objadd)

  else
    context = @value_node.compile_get_constant(context)
  end
  
  context.ret_node = self
  context 
end

#get_constant_value ⇒ Object

# File 'lib/ytljit/vm.rb', line 3319

def get_constant_value
  @value_node.get_constant_value
end