Class: CastOff::Compiler::SimpleIR::Tostring
- Defined in:
- lib/cast_off/compile/ir/call_ir.rb
Constant Summary
Constants included from Instruction
Instruction::BlockSeparator, Instruction::BranchInstruction, Instruction::IgnoreInstruction, Instruction::JumpOrReturnInstruction, Instruction::SupportInstruction, Instruction::TypeInfoUser, Instruction::VM_CALL_ARGS_BLOCKARG_BIT, Instruction::VM_CALL_ARGS_SPLAT_BIT, Instruction::VM_CALL_FCALL_BIT, Instruction::VM_CALL_OPT_SEND_BIT, Instruction::VM_CALL_SUPER_BIT, Instruction::VM_CALL_TAILCALL_BIT, Instruction::VM_CALL_TAILRECURSION_BIT, Instruction::VM_CALL_VCALL_BIT
Instance Attribute Summary
Attributes inherited from VMInsnIR
Attributes inherited from CallIR
#argc, #result_variable, #return_value, #values, #variables, #variables_without_result
Attributes inherited from IR
Instance Method Summary collapse
- #harmless?(recv_p) ⇒ Boolean
-
#initialize(param, argc, return_value, insn, cfg) ⇒ Tostring
constructor
A new instance of Tostring.
- #propergate_exact_class(defs) ⇒ Object
- #propergate_guard_usage ⇒ Object
- #side_effect? ⇒ Boolean
- #to_c(params) ⇒ Object
- #type_propergation(defs) ⇒ Object
Methods inherited from VMInsnIR
#dont_duplicate_if_harmless, #should_be_alive?
Methods inherited from CallIR
#can_not_unbox, #mark, #param_irs, #param_variables, #propergate_boxed_value, #sampling_return_value, #sampling_return_value?, #should_be_alive?, #unboxing_prelude
Methods included from Util
Methods inherited from IR
#add_sampling_variable, #alive, #alive?, #dispatch_method?, #generate_guard, #get_definition, #get_definition_str, #get_usage, #get_variable, #inlining_target?, #propergate_boxed_value, #reset, #sampling_variable, #set_info, #standard_guard_target, #unboxing_prelude, #vanish, #vanish?
Constructor Details
#initialize(param, argc, return_value, insn, cfg) ⇒ Tostring
Returns a new instance of Tostring.
367 368 369 370 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 367 def initialize(param, argc, return_value, insn, cfg) super(param, argc, return_value, insn, cfg) bug() unless @param.size() == 1 end |
Instance Method Details
#harmless?(recv_p) ⇒ Boolean
399 400 401 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 399 def harmless?(recv_p) @param[0].param_value.is_just?(String) end |
#propergate_exact_class(defs) ⇒ Object
377 378 379 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 377 def propergate_exact_class(defs) @return_value.class_exact? ? false : @return_value.is_class_exact() end |
#propergate_guard_usage ⇒ Object
372 373 374 375 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 372 def propergate_guard_usage() params = param_irs() params.each{|p| p.need_guard(true)} end |
#side_effect? ⇒ Boolean
403 404 405 406 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 403 def side_effect? # FIXME return false when reciever class to_s method is no-side-effect. true end |
#to_c(params) ⇒ Object
381 382 383 384 385 386 387 388 389 390 391 392 393 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 381 def to_c(params) ret = [] ret << super(params) param = param_variables() obj = param.shift if obj.is_just?(String) ret << " #{@return_value} = #{obj};" else ret << " #{@return_value} = rb_obj_as_string(#{obj});" end bug() unless param.empty? ret.join("\n") end |
#type_propergation(defs) ⇒ Object
395 396 397 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 395 def type_propergation(defs) @return_value.is_static([String]) end |