Class: CastOff::Compiler::SimpleIR::Putstring
- 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) ⇒ Putstring
constructor
A new instance of Putstring.
- #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) ⇒ Putstring
Returns a new instance of Putstring.
198 199 200 201 202 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 198 def initialize(param, argc, return_value, insn, cfg) super(param, argc, return_value, insn, cfg) bug() unless @argc == 1 bug() unless @param[0].param_value.is_a?(Literal) end |
Instance Method Details
#harmless?(recv_p) ⇒ Boolean
230 231 232 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 230 def harmless?(recv_p) true end |
#propergate_exact_class(defs) ⇒ Object
209 210 211 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 209 def propergate_exact_class(defs) @return_value.class_exact? ? false : @return_value.is_class_exact() end |
#propergate_guard_usage ⇒ Object
204 205 206 207 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 204 def propergate_guard_usage() params = param_irs() params.each{|p| p.need_guard(false)} end |
#side_effect? ⇒ Boolean
234 235 236 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 234 def side_effect? false end |
#to_c(params) ⇒ Object
213 214 215 216 217 218 219 220 221 222 223 224 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 213 def to_c(params) ret = [] ret << super(params) param = param_variables() str = param.shift bug() unless str.is_a?(Literal) code = dont_duplicate_if_harmless(str) code = " #{@return_value} = rb_str_resurrect(#{str});" unless code ret << code bug() unless param.empty? ret.join("\n") end |
#type_propergation(defs) ⇒ Object
226 227 228 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 226 def type_propergation(defs) @return_value.is_static([String]) end |