Class: CastOff::Compiler::SimpleIR::CheckincludearrayPre
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
-
#initialize(param, argc, return_value, insn, cfg) ⇒ CheckincludearrayPre
constructor
A new instance of CheckincludearrayPre.
- #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, #harmless?, #mark, #param_irs, #param_variables, #propergate_boxed_value, #propergate_exact_class, #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) ⇒ CheckincludearrayPre
929 930 931 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 929 def initialize(param, argc, return_value, insn, cfg) super(param, argc, return_value, insn, cfg) end |
Instance Method Details
#propergate_guard_usage ⇒ Object
933 934 935 936 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 933 def propergate_guard_usage() params = param_irs() params.each{|p| p.need_guard(false)} end |
#side_effect? ⇒ Boolean
954 955 956 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 954 def side_effect? true end |
#to_c(params) ⇒ Object
938 939 940 941 942 943 944 945 946 947 948 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 938 def to_c(params) ret = [] ret << super(params) param = param_variables() ary = param.shift # このチェックがなくならないことを前提に、この命令に対するガードを削除したので、 # このチェックは削除しないこと ret << " if (TYPE(#{ary}) != T_ARRAY) #{@return_value} = rb_Array(#{ary});" bug() unless param.empty? ret.join("\n") end |
#type_propergation(defs) ⇒ Object
950 951 952 |
# File 'lib/cast_off/compile/ir/call_ir.rb', line 950 def type_propergation(defs) @return_value.is_static([Array]) end |