Class: YTLJit::VM::Node::SendCompareNode

Inherits:
SendNode show all
Includes:
CompareOperationUtil, SendUtil
Defined in:
lib/ytljit/vm_sendnode.rb

Direct Known Subclasses

SendGeNode, SendGtNode, SendLeNode, SendLtNode

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 CompareOperationUtil

#gen_compare_operation

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, #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, #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 



740
741
742
743
744
745
746
747
748
749
750
 
# File 'lib/ytljit/vm_sendnode.rb', line 740

def collect_candidate_type_regident(context, slf)
  cursig = context.to_signature
  same_type(@arguments[3], @arguments[2], cursig, cursig, context)
  same_type(@arguments[2], @arguments[3], cursig, cursig, context)
  tt = RubyType::BaseType.from_object(true)
  add_type(cursig, tt)
  tt = RubyType::BaseType.from_object(false)
  add_type(cursig, tt)

  context
end

#commmon_compile_compare(context, rtype, fixcmp, flocmp) ⇒ Object 



752
753
754
755
756
757
758
759
760
761
762
763
764
765
 
# File 'lib/ytljit/vm_sendnode.rb', line 752

def commmon_compile_compare(context, rtype, fixcmp, flocmp)
  rrtype = rtype.ruby_type
  if rrtype == Fixnum then
    context = gen_compare_operation(context, :cmp, fixcmp, 
                                    TMPR2, TMPR, RETR)
  elsif rrtype == Float then
    context = gen_compare_operation(context, :comisd, flocmp, 
                                    XMM4, XMM0, RETR)
  else
    raise "Unkowwn type #{rtype}"
  end

  context
end

#compile(context) ⇒ Object 



767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
 
# File 'lib/ytljit/vm_sendnode.rb', line 767

def compile(context)
  @arguments[2].decide_type_once(context.to_signature)
  rtype = @arguments[2].type
  rrtype = rtype.ruby_type
  if rtype.ruby_type.is_a?(RubyType::DefaultType0) or
     @class_top.search_method_with_super(@func.name, rrtype)[0] then
    return super(context)
  end

  context = gen_eval_self(context)
  context.ret_node.type = nil
  srtype = context.ret_node.decide_type_once(context.to_signature)
  context = srtype.gen_unboxing(context)
  if rrtype == Fixnum then
    context = compile_compare(context, rtype)

  elsif rrtype == Float then
    context = compile_compare(context, rtype)

  else
    raise "Unkown method #{rtype.ruby_type} #{@func.name}"
  end

  @body.compile(context)
end