diff options
author | shyouhei <shyouhei@b2dd03c8-39d4-4d8f-98ff-823fe69b080e> | 2017-03-08 04:50:22 +0000 |
---|---|---|
committer | shyouhei <shyouhei@b2dd03c8-39d4-4d8f-98ff-823fe69b080e> | 2017-03-08 04:50:22 +0000 |
commit | b515528271a25e52cdbc28289436c94108141b4a (patch) | |
tree | 154cb627902a55ea3e0238829d79f5c983e74088 | |
parent | 63c7ccc64b6337df88d2395312bf163786ba9056 (diff) | |
download | ruby-b515528271a25e52cdbc28289436c94108141b4a.tar.gz |
re-introduce __builtin_add_overflow
r57789 (74cdd89) was gradually "improve"d by naruse through r57793 to
r57806, resulted in reverting the efect of r57789 while retaining its
complexity. I think the current situation is slightly worse than
before (same output complicated source code).
Here I introduce __builtin_add_overflow again, which (I think) is what
naruse wanted to do in r57793.
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@57807 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
-rw-r--r-- | include/ruby/ruby.h | 29 | ||||
-rw-r--r-- | internal.h | 9 | ||||
-rw-r--r-- | numeric.c | 7 |
3 files changed, 20 insertions, 25 deletions
diff --git a/include/ruby/ruby.h b/include/ruby/ruby.h index 212ba82dd7..f99264f105 100644 --- a/include/ruby/ruby.h +++ b/include/ruby/ruby.h @@ -1505,15 +1505,14 @@ rb_integer_type_p(VALUE obj) #endif static inline int -rb_long2fix_overflow(long l, VALUE *ptr) +rb_long_is_fixable_p(long v) { - if (RB_FIXABLE(l)) { - *ptr = RB_LONG2FIX(l); - return 0; - } - else { - return 1; - } +#ifdef HAVE_BUILTIN___BUILTIN_ADD_OVERFLOW + SIGNED_VALUE w; + return! __builtin_add_overflow(v, v, &w); +#else + return RB_FIXABLE(v); +#endif } #if SIZEOF_INT < SIZEOF_LONG @@ -1523,11 +1522,10 @@ rb_long2fix_overflow(long l, VALUE *ptr) static inline VALUE rb_int2num_inline(int v) { - VALUE ret; - if (rb_long2fix_overflow(v, &ret)) - return rb_int2big(v); + if (rb_long_is_fixable_p(v)) + return RB_INT2FIX(v); else - return ret; + return rb_int2big(v); } #define RB_INT2NUM(x) rb_int2num_inline(x) @@ -1547,11 +1545,10 @@ rb_uint2num_inline(unsigned int v) static inline VALUE rb_long2num_inline(long v) { - VALUE ret; - if (rb_long2fix_overflow(v, &ret)) - return rb_int2big(v); + if (rb_long_is_fixable_p(v)) + return RB_LONG2FIX(v); else - return ret; + return rb_int2big(v); } #define RB_LONG2NUM(x) rb_long2num_inline(x) diff --git a/internal.h b/internal.h index f2e726ce6e..bc8d9d30d3 100644 --- a/internal.h +++ b/internal.h @@ -368,7 +368,7 @@ ntz_intptr(uintptr_t x) # define DL2NUM(x) LL2NUM(x) #elif defined(HAVE_INT128_T) # define DLONG int128_t -# define DL2NUM(x) ((RB_POSFIXABLE(x) && RB_NEGFIXABLE(x)) ? LONG2FIX(x) : rb_int128t2big(x)) +# define DL2NUM(x) (RB_FIXABLE(x) ? LONG2FIX(x) : rb_int128t2big(x)) VALUE rb_int128t2big(int128_t n); #endif @@ -1386,12 +1386,11 @@ rb_float_new_inline(double d) static inline VALUE rb_dbl2ival(double d) { - VALUE val; - if (rb_long2fix_overflow(d, &val)) { - return rb_dbl2big(d); + if (RB_FIXABLE(d)) { + return LONG2FIX((long)d); } else { - return val; + return rb_dbl2big(d); } } @@ -3007,16 +3007,15 @@ VALUE rb_num2fix(VALUE val) { long v; - VALUE w; if (FIXNUM_P(val)) { return val; } - else if (rb_long2fix_overflow((v = rb_num2long(val)), &w)) { - rb_raise(rb_eRangeError, "integer %ld out of range of fixnum", v); + else if (rb_long_is_fixable_p(v = rb_num2long(val))) { + return LONG2FIX(v); } else { - return w; + rb_raise(rb_eRangeError, "integer %ld out of range of fixnum", v); } } |