From fa153d74359bfef231aa97d3f164211990f19eee Mon Sep 17 00:00:00 2001 From: akr Date: Thu, 17 Mar 2016 09:50:19 +0000 Subject: * enum.c (enum_inject): Implement the specialized code for sum of integers including Bignums. * internal.h (rb_fix_plus): Declared to be usable from enum_inject. * numeric.c (rb_fix_plus): Defined. git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@54147 b2dd03c8-39d4-4d8f-98ff-823fe69b080e --- ChangeLog | 9 +++++++++ enum.c | 48 ++++++++++++++++++++++++++++++++++++++---------- internal.h | 1 + numeric.c | 6 ++++++ test/ruby/test_enum.rb | 36 ++++++++++++++++++++++++++++++++++++ 5 files changed, 90 insertions(+), 10 deletions(-) diff --git a/ChangeLog b/ChangeLog index a762c5315c..ef81b12fc3 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,12 @@ +Thu Mar 17 18:39:04 2016 Tanaka Akira + + * enum.c (enum_inject): Implement the specialized code for sum of + integers including Bignums. + + * internal.h (rb_fix_plus): Declared to be usable from enum_inject. + + * numeric.c (rb_fix_plus): Defined. + Thu Mar 17 17:20:28 2016 Anton Davydov * thread_sync.c: [DOC] Update documentation for Queue class diff --git a/enum.c b/enum.c index 951e30ab32..e2ed920533 100644 --- a/enum.c +++ b/enum.c @@ -719,17 +719,45 @@ enum_inject(int argc, VALUE *argv, VALUE obj) i = 0; } id = SYM2ID(op); - if (id == idPLUS && FIXNUM_P(v) && - rb_method_basic_definition_p(rb_cFixnum, idPLUS)) { - long n = FIX2LONG(v); - while (i < RARRAY_LEN(obj)) { - VALUE e = RARRAY_AREF(obj, i); - if (!FIXNUM_P(e)) break; - n += FIX2LONG(e); /* should not overflow long type */ - i++; - if (!FIXABLE(n)) break; + if (id == idPLUS) { + if (FIXNUM_P(v) && + rb_method_basic_definition_p(rb_cFixnum, idPLUS)) { + long n = FIX2LONG(v); + while (i < RARRAY_LEN(obj)) { + VALUE e = RARRAY_AREF(obj, i); + if (!FIXNUM_P(e)) break; + n += FIX2LONG(e); /* should not overflow long type */ + i++; + if (!FIXABLE(n)) break; + } + v = LONG2NUM(n); + } + if (i < RARRAY_LEN(obj) && (FIXNUM_P(v) || RB_TYPE_P(v, T_BIGNUM)) && + rb_method_basic_definition_p(rb_cFixnum, idPLUS) && + rb_method_basic_definition_p(rb_cBignum, idPLUS)) { + long n = 0; + while (i < RARRAY_LEN(obj)) { + VALUE e = RARRAY_AREF(obj, i); + if (FIXNUM_P(e)) { + n += FIX2LONG(e); /* should not overflow long type */ + i++; + if (!FIXABLE(n)) { + v = rb_big_plus(LONG2NUM(n), v); + n = 0; + } + } + else if (RB_TYPE_P(e, T_BIGNUM)) { + v = rb_big_plus(e, v); + i++; + } + else { + break; + } + } + if (n != 0) { + v = rb_fix_plus(LONG2FIX(n), v); + } } - v = LONG2NUM(n); } for (; i> ((sizeof(v) * 8) - n))) diff --git a/numeric.c b/numeric.c index 93e2bda2cd..7f43fdb2a5 100644 --- a/numeric.c +++ b/numeric.c @@ -2990,6 +2990,12 @@ fix_plus(VALUE x, VALUE y) } } +VALUE +rb_fix_plus(VALUE x, VALUE y) +{ + return fix_plus(x, y); +} + /* * call-seq: * fix - numeric -> numeric_result diff --git a/test/ruby/test_enum.rb b/test/ruby/test_enum.rb index 3dfbd26929..c7e19fa7cc 100644 --- a/test/ruby/test_enum.rb +++ b/test/ruby/test_enum.rb @@ -2,6 +2,7 @@ require 'test/unit' EnvUtil.suppress_warning {require 'continuation'} require 'stringio' +require "rbconfig/sizeof" class TestEnumerable < Test::Unit::TestCase def setup @@ -184,7 +185,33 @@ class TestEnumerable < Test::Unit::TestCase assert_equal(nil, @empty.inject() {9}) end + FIXNUM_MIN = -(1 << (8 * RbConfig::SIZEOF['long'] - 2)) + FIXNUM_MAX = (1 << (8 * RbConfig::SIZEOF['long'] - 2)) - 1 + + def test_inject_array_mul + assert_equal(nil, [].inject(:*)) + assert_equal(5, [5].inject(:*)) + assert_equal(35, [5, 7].inject(:*)) + assert_equal(3, [].inject(3, :*)) + assert_equal(15, [5].inject(3, :*)) + assert_equal(105, [5, 7].inject(3, :*)) + end + def test_inject_array_plus + assert_equal(3, [3].inject(:+)) + assert_equal(8, [3, 5].inject(:+)) + assert_equal(15, [3, 5, 7].inject(:+)) + assert_equal(15.0, [3, 5, 7.0].inject(:+)) + assert_equal(2*FIXNUM_MAX, Array.new(2, FIXNUM_MAX).inject(:+)) + assert_equal(2*(FIXNUM_MAX+1), Array.new(2, FIXNUM_MAX+1).inject(:+)) + assert_equal(10*FIXNUM_MAX, Array.new(10, FIXNUM_MAX).inject(:+)) + assert_equal(0, ([FIXNUM_MAX, 1, -FIXNUM_MAX, -1]*10).inject(:+)) + assert_equal(FIXNUM_MAX*10, ([FIXNUM_MAX+1, -1]*10).inject(:+)) + assert_equal(2*FIXNUM_MIN, Array.new(2, FIXNUM_MIN).inject(:+)) + assert_equal((FIXNUM_MAX+1).to_f, [FIXNUM_MAX, 1, 0.0].inject(:+)) + end + + def test_inject_array_plus_redefined assert_separately([], <<-"end;") class Fixnum undef :+ @@ -194,6 +221,15 @@ class TestEnumerable < Test::Unit::TestCase end assert_equal(0, [1,2,3].inject(:+), "[ruby-dev:49510] [Bug#12178]") end; + assert_separately([], <<-"end;") + class Bignum + undef :+ + def +(x) + 0 + end + end + assert_equal(0, [#{FIXNUM_MAX},1,1].inject(:+)) + end; end def test_partition -- cgit v1.2.3