Project

General

Profile

Feature #6972 » patch2.diff

Glass_saga (Masaki Matsushita), 09/05/2012 10:07 PM

View differences:

compile.c
switch (mid) {
case idLength: SP_INSN(length); break;
case idSize: SP_INSN(size); break;
case idEmptyP: SP_INSN(empty_p);break;
case idSucc: SP_INSN(succ); break;
case idNot: SP_INSN(not); break;
}
id.c
REGISTER_SYMID(idEach, "each");
REGISTER_SYMID(idLength, "length");
REGISTER_SYMID(idSize, "size");
REGISTER_SYMID(idEmptyP, "empty?");
REGISTER_SYMID(idLambda, "lambda");
REGISTER_SYMID(idIntern, "intern");
REGISTER_SYMID(idGets, "gets");
insns.def
/**
@c optimize
@e optimized empty?
@j 最適化された recv.empty?()。
*/
DEFINE_INSN
opt_empty_p
(IC ic)
(VALUE recv)
(VALUE val)
{
if (!SPECIAL_CONST_P(recv)) {
if (HEAP_CLASS_OF(recv) == rb_cString &&
BASIC_OP_UNREDEFINED_P(BOP_EMPTY_P, STRING_REDEFINED_OP_FLAG)) {
if (RSTRING_LEN(recv) == 0) val = Qtrue;
else val = Qfalse;
}
else if (HEAP_CLASS_OF(recv) == rb_cArray &&
BASIC_OP_UNREDEFINED_P(BOP_EMPTY_P, ARRAY_REDEFINED_OP_FLAG)) {
if (RARRAY_LEN(recv) == 0) val = Qtrue;
else val = Qfalse;
}
else if (HEAP_CLASS_OF(recv) == rb_cHash &&
BASIC_OP_UNREDEFINED_P(BOP_EMPTY_P, HASH_REDEFINED_OP_FLAG)) {
if (RHASH_EMPTY_P(recv)) val = Qtrue;
else val = Qfalse;
}
else {
goto INSN_LABEL(normal_dispatch);
}
}
else {
INSN_LABEL(normal_dispatch):
PUSH(recv);
CALL_SIMPLE_METHOD(0, idEmptyP, recv);
}
}
/**
@c optimize
@e optimized succ
@j 最適化された recv.succ()。
*/
template/id.h.tmpl
MethodMissing
Length
Size
EmptyP
Gets
Succ
Each
test/ruby/test_optimization.rb
assert_equal 6, "string".length
end
def test_string_empty?
assert_equal true, "".empty?
assert_equal false, "string".empty?
assert_nil redefine_method('String', 'empty?') { "string".empty? }
assert_equal true, "".empty?
assert_equal false, "string".empty?
end
def test_string_plus
assert_equal "", "" + ""
assert_equal "x", "x" + ""
......
assert_equal 3, [1,2,3].length
end
def test_array_empty?
assert_equal true, [].empty?
assert_equal false, [1,2,3].empty?
end
def test_hash_length
assert_equal 0, {}.length
assert_equal 1, {1=>1}.length
end
def test_hash_empty?
assert_equal true, {}.empty?
assert_equal false, {1=>1}.empty?
end
class MyObj
def ==(other)
true
vm.c
OP(ASET, ASET), (C(Array), C(Hash));
OP(Length, LENGTH), (C(Array), C(String), C(Hash));
OP(Size, SIZE), (C(Array), C(String), C(Hash));
OP(EmptyP, EMPTY_P), (C(Array), C(String), C(Hash));
OP(Succ, SUCC), (C(Fixnum), C(String), C(Time));
#undef C
#undef OP
vm_insnhelper.h
BOP_ASET,
BOP_LENGTH,
BOP_SIZE,
BOP_EMPTY_P,
BOP_SUCC,
BOP_GT,
BOP_GE,
(2-2/2)