Class: YTLJit::VM::Node::SendNode
- Includes:
- HaveChildlenMixin, NodeUtil, OptFlagOp, SendUtil, SendNodeCodeGen
- Defined in:
- lib/ytljit/vm_sendnode.rb
Overview
Send methodes
Direct Known Subclasses
RawSendNode, SendAMNode, SendAllocateNode, SendAndNode, SendChrNode, SendCompareNode, SendCoreDefineMethodNode, SendCoreDefineSigletonMethodNode, SendDispTypeNode, SendDivNode, SendElementAssignNode, SendElementRefNode, SendEvalNode, SendGtGtNode, SendIncludeCommonNode, SendInitializeNode, SendLengthNode, SendLtLtNode, SendMathFuncNode, SendMinusNode, SendModNode, SendMultNode, SendNewNode, SendOrNode, SendPlusNode, SendRandNode, SendRangeAccessNode, SendSameArgTypeNode, SendSameSelfTypeNode, SendSizeNode, SendToFNode, SendToINode, SendXorNode
Constant Summary collapse
- @@current_node =
nil
- @@special_node_tab =
{}
- @@macro_tab =
{}
- @@user_defined_method_tab =
{}
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
Constants inherited from BaseNode
Instance Attribute Summary collapse
-
#arguments ⇒ Object
Returns the value of attribute arguments.
-
#class_top ⇒ Object
readonly
Returns the value of attribute class_top.
-
#current_exception_table ⇒ Object
Returns the value of attribute current_exception_table.
-
#frame_info ⇒ Object
readonly
Returns the value of attribute frame_info.
-
#func ⇒ Object
Returns the value of attribute func.
-
#modified_instance_var ⇒ Object
readonly
Returns the value of attribute modified_instance_var.
-
#modified_local_var ⇒ Object
readonly
Returns the value of attribute modified_local_var.
-
#next_node ⇒ Object
readonly
Returns the value of attribute next_node.
-
#opt_flag ⇒ Object
readonly
Returns the value of attribute opt_flag.
-
#result_cache ⇒ Object
Returns the value of attribute result_cache.
-
#seq_no ⇒ Object
readonly
Returns the value of attribute seq_no.
Attributes included from HaveChildlenMixin
Attributes inherited from BaseNode
#code_space, #debug_info, #element_node_list, #id, #is_escape, #parent, #ti_observee, #ti_observer, #type
Class Method Summary collapse
- .add_special_send_node(name) ⇒ Object
- .get_macro_tab ⇒ Object
- .get_user_defined_method_tab ⇒ Object
- .macro_expand(context, func, arguments, op_flag, seqno) ⇒ Object
- .make_send_node(parent, func, arguments, op_flag, seqno) ⇒ Object
- .node ⇒ Object
Instance Method Summary collapse
- #check_signature_changed(context, signat, metsigent, cursig) ⇒ Object
- #collect_candidate_type(context) ⇒ Object
- #collect_candidate_type_regident(context, slf) ⇒ Object
- #collect_info(context) ⇒ Object
- #compile(context) ⇒ Object
-
#fill_result_cache(context) ⇒ Object
This is for reduce method call whose all arguments is constant.
- #get_constant_value ⇒ Object
- #get_send_method_node(cursig) ⇒ Object
-
#initialize(parent, func, arguments, op_flag, seqno) ⇒ SendNode
constructor
A new instance of SendNode.
- #search_signature(cursig) ⇒ Object
- #traverse_childlen {|@func| ... } ⇒ Object
Methods included from SendUtil
#compile_c_fixarg, #compile_c_fixarg_raw, #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
Methods included from CommonCodeGen
#dump_context, #gen_alloca, #gen_call, #gen_save_thepr
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, #add_element_node_backward, #decide_type, #decide_type_core, #decide_type_once, #gen_type_inference_proc, #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
Constructor Details
#initialize(parent, func, arguments, op_flag, seqno) ⇒ SendNode
Returns a new instance of SendNode.
126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 |
# File 'lib/ytljit/vm_sendnode.rb', line 126 def initialize(parent, func, arguments, op_flag, seqno) super(parent) @func = func @arguments = arguments @opt_flag = op_flag @seq_no = seqno @next_node = @@current_node @@current_node = self @class_top = search_class_top @frame_info = search_frame_info @modified_instance_var = nil @modified_local_var = [{}] @result_cache = nil @method_signature = [] @current_exception_table = nil end |
Instance Attribute Details
#arguments ⇒ Object
Returns the value of attribute arguments.
148 149 150 |
# File 'lib/ytljit/vm_sendnode.rb', line 148 def arguments @arguments end |
#class_top ⇒ Object (readonly)
Returns the value of attribute class_top.
151 152 153 |
# File 'lib/ytljit/vm_sendnode.rb', line 151 def class_top @class_top end |
#current_exception_table ⇒ Object
Returns the value of attribute current_exception_table.
158 159 160 |
# File 'lib/ytljit/vm_sendnode.rb', line 158 def current_exception_table @current_exception_table end |
#frame_info ⇒ Object (readonly)
Returns the value of attribute frame_info.
152 153 154 |
# File 'lib/ytljit/vm_sendnode.rb', line 152 def frame_info @frame_info end |
#func ⇒ Object
Returns the value of attribute func.
147 148 149 |
# File 'lib/ytljit/vm_sendnode.rb', line 147 def func @func end |
#modified_instance_var ⇒ Object (readonly)
Returns the value of attribute modified_instance_var.
154 155 156 |
# File 'lib/ytljit/vm_sendnode.rb', line 154 def modified_instance_var @modified_instance_var end |
#modified_local_var ⇒ Object (readonly)
Returns the value of attribute modified_local_var.
153 154 155 |
# File 'lib/ytljit/vm_sendnode.rb', line 153 def modified_local_var @modified_local_var end |
#next_node ⇒ Object (readonly)
Returns the value of attribute next_node.
150 151 152 |
# File 'lib/ytljit/vm_sendnode.rb', line 150 def next_node @next_node end |
#opt_flag ⇒ Object (readonly)
Returns the value of attribute opt_flag.
149 150 151 |
# File 'lib/ytljit/vm_sendnode.rb', line 149 def opt_flag @opt_flag end |
#result_cache ⇒ Object
Returns the value of attribute result_cache.
155 156 157 |
# File 'lib/ytljit/vm_sendnode.rb', line 155 def result_cache @result_cache end |
#seq_no ⇒ Object (readonly)
Returns the value of attribute seq_no.
156 157 158 |
# File 'lib/ytljit/vm_sendnode.rb', line 156 def seq_no @seq_no end |
Class Method Details
.add_special_send_node(name) ⇒ Object
65 66 67 68 69 70 71 72 73 |
# File 'lib/ytljit/vm_sendnode.rb', line 65 def self.add_special_send_node(name) oldcls = @@special_node_tab[name] if oldcls == nil or self < oldcls then @@special_node_tab[name] = self else raise "Illigal SendNode #{self} #{name}" end end |
.get_macro_tab ⇒ Object
57 58 59 |
# File 'lib/ytljit/vm_sendnode.rb', line 57 def self.get_macro_tab @@macro_tab end |
.get_user_defined_method_tab ⇒ Object
61 62 63 |
# File 'lib/ytljit/vm_sendnode.rb', line 61 def self.get_user_defined_method_tab @@user_defined_method_tab end |
.macro_expand(context, func, arguments, op_flag, seqno) ⇒ Object
75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 |
# File 'lib/ytljit/vm_sendnode.rb', line 75 def self.(context, func, arguments, op_flag, seqno) if @@macro_tab[func.name] and (op_flag & (0b11 << 3)) != 0 then cclsnode = context.current_class_node if context.current_method_node == nil then cclsnode = cclsnode.make_klassclass_node end cclsnode.klass_object.ancestors.each do |ccls| cnode = ClassTopNode.get_class_top_node(ccls) cobj = nil if cnode then cobj = cnode.klass_object end if @@user_defined_method_tab[func.name] and @@user_defined_method_tab[func.name].include?(cobj) then return nil end mproc = @@macro_tab[func.name][cobj] if mproc then args = [] arguments[3..-1].each do |ele| argruby = ele.to_ruby(ToRubyContext.new).ret_code.last args.push eval(argruby) end return mproc.call(*args) end end end nil end |
.make_send_node(parent, func, arguments, op_flag, seqno) ⇒ Object
110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 |
# File 'lib/ytljit/vm_sendnode.rb', line 110 def self.make_send_node(parent, func, arguments, op_flag, seqno) spcl = @@special_node_tab[func.name] newobj = nil if spcl then newobj = spcl.new(parent, func, arguments, op_flag, seqno) else newobj = self.new(parent, func, arguments, op_flag, seqno) end func.parent = newobj arguments.each do |ele| ele.parent = newobj end newobj end |
.node ⇒ Object
53 54 55 |
# File 'lib/ytljit/vm_sendnode.rb', line 53 def self.node @@current_node end |
Instance Method Details
#check_signature_changed(context, signat, metsigent, cursig) ⇒ Object
233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 |
# File 'lib/ytljit/vm_sendnode.rb', line 233 def check_signature_changed(context, signat, metsigent, cursig) if metsigent then if metsigent[1][1] != signat[1] then # Why not push, because it excepted type inference about # this signature after. So reduce search loop. @method_signature.unshift [cursig, signat] context.convergent = false signat[1].ruby_type < metsigent[1][1].ruby_type else false end else @method_signature.unshift [cursig, signat] false end end |
#collect_candidate_type(context) ⇒ Object
251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 |
# File 'lib/ytljit/vm_sendnode.rb', line 251 def collect_candidate_type(context) cursig = context.to_signature # get saved original signature metsigent = search_signature(cursig) oldsignat = nil if metsigent then oldsignat = metsigent[1] end # prev env context = @arguments[0].collect_candidate_type(context) # block is after detect method blknode = @arguments[1] # other @arguments[2.. -1].each do |arg| context = arg.collect_candidate_type(context) end # function select context = @func.collect_candidate_type(context) signat = signature(context) changed = check_signature_changed(context, signat, metsigent, cursig) =begin if changed then @arguments.each do |arg| arg.type = nil end signat = signature(context) end =end mt, slf = get_send_method_node(cursig) if mt then if changed then mt.type_list(metsigent[1])[1] = [] mt.ti_reset end context = mt.collect_candidate_type(context, @arguments, signat) same_type(self, mt, cursig, signat, context) context.push_signature(@arguments, mt) if blknode.is_a?(TopNode) then # Have block mt.yield_node.map do |ynode| yargs = ynode.arguments.dup ysignat = ynode.signature(context) same_type(ynode, blknode, signat, ysignat, context) # inherit self from caller node yargs[2] = context.current_method_signature_node[-2][2] ysignat[2] = cursig[2] if yargs[2].decide_type_once(cursig).ruby_type == Object then context.current_method_signature_node.reverse.each {|e0| if e0[2].class == SendNewArenaNode then if yargs[2].type then yargs[2] = e0[2] ysignat[2] = yargs[2].type end break end } end context = blknode.collect_candidate_type(context, yargs, ysignat) end else context = blknode.collect_candidate_type(context) end context.pop_signature else context = collect_candidate_type_regident(context, slf) end @body.collect_candidate_type(context) end |
#collect_candidate_type_regident(context, slf) ⇒ Object
187 188 189 |
# File 'lib/ytljit/vm_sendnode.rb', line 187 def collect_candidate_type_regident(context, slf) context end |
#collect_info(context) ⇒ Object
198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 |
# File 'lib/ytljit/vm_sendnode.rb', line 198 def collect_info(context) @arguments.each do |arg| context = arg.collect_info(context) end context = @func.collect_info(context) if is_fcall or is_vcall then # Call method of same class mt = @class_top.get_method_tab[@func.name] if mt then miv = mt.modified_instance_var if miv then miv.each do |vname, vall| context.modified_instance_var[vname] = vall end end end end @modified_local_var = context.modified_local_var.last.dup @modified_instance_var = context.modified_instance_var.dup context = fill_result_cache(context) @body.collect_info(context) end |
#compile(context) ⇒ Object
336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 |
# File 'lib/ytljit/vm_sendnode.rb', line 336 def compile(context) context = super(context) context.start_using_reg(TMPR2) context.start_using_reg(PTMPR) callconv = @func.calling_convention(context) case callconv when :c_vararg context = compile_c_vararg(context) when :c_fixarg context = compile_c_fixarg(context) when :c_fixarg_raw context = compile_c_fixarg_raw(context) when :ytl context = compile_ytl(context) when nil else raise "Unsupported calling conversion #{callconv}" end decide_type_once(context.to_signature) if @type.is_a?(RubyType::RubyTypeUnboxed) and @type.ruby_type == Float then context.ret_reg = XMM0 else context.ret_reg = RETR end context.ret_node = self context.end_using_reg(PTMPR) context.end_using_reg(TMPR2) context = @body.compile(context) context end |
#fill_result_cache(context) ⇒ Object
This is for reduce method call whose all arguments is constant. But all methods can’t apply because the method may have side effect.
194 195 196 |
# File 'lib/ytljit/vm_sendnode.rb', line 194 def fill_result_cache(context) context end |
#get_constant_value ⇒ Object
377 378 379 380 381 382 383 |
# File 'lib/ytljit/vm_sendnode.rb', line 377 def get_constant_value if @result_cache then [@result_cache] else nil end end |
#get_send_method_node(cursig) ⇒ Object
168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 |
# File 'lib/ytljit/vm_sendnode.rb', line 168 def get_send_method_node(cursig) mt = nil # @arguments[2].type = nil slf = @arguments[2].decide_type_once(cursig) if is_fcall or is_vcall then mt = @func.method_top_node(@class_top, nil) else if slf.instance_of?(RubyType::DefaultType0) then # Chaos # raise "chaos" end mt = @func.method_top_node(@class_top, slf) end [mt, slf] end |
#search_signature(cursig) ⇒ Object
224 225 226 227 228 229 230 231 |
# File 'lib/ytljit/vm_sendnode.rb', line 224 def search_signature(cursig) @method_signature.each do |tabent| if cursig == tabent[0] then return tabent end end nil end |
#traverse_childlen {|@func| ... } ⇒ Object
160 161 162 163 164 165 166 |
# File 'lib/ytljit/vm_sendnode.rb', line 160 def traverse_childlen @arguments.each do |arg| yield arg end yield @func yield @body end |