mirror of
https://github.com/ruby/ruby.git
synced 2022-11-09 12:17:21 -05:00
f9727c12cc
* [Feature #12005] Unify Fixnum and Bignum into Integer * include/ruby/ruby.h (rb_class_of): Return rb_cInteger for fixnums. * insns.def (INTEGER_REDEFINED_OP_FLAG): Unified from FIXNUM_REDEFINED_OP_FLAG and BIGNUM_REDEFINED_OP_FLAG. * vm_core.h: Ditto. * vm_insnhelper.c (opt_eq_func): Use INTEGER_REDEFINED_OP_FLAG instead of FIXNUM_REDEFINED_OP_FLAG. * vm.c (vm_redefinition_check_flag): Use rb_cInteger instead of rb_cFixnum and rb_cBignum. (C): Use Integer instead of Fixnum and Bignum. * numeric.c (fix_succ): Removed. (Init_Numeric): Define Fixnum as Integer. * bignum.c (bignew): Use rb_cInteger instead of Rb_cBignum. (rb_int_coerce): replaced from rb_big_coerce and return fixnums as-is. (Init_Bignum): Define Bignum as Integer. Don't define ===. * error.c (builtin_class_name): Return "Integer" for fixnums. * sprintf.c (ruby__sfvextra): Use rb_cInteger instead of rb_cFixnum. * ext/-test-/testutil: New directory to test. Currently it provides utilities for fixnum and bignum. * ext/json/generator/generator.c: Define mInteger_to_json. * lib/mathn.rb (Fixnum#/): Redefinition removed. git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@55024 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
334 lines
11 KiB
Ruby
334 lines
11 KiB
Ruby
# frozen_string_literal: false
|
|
require 'test/unit'
|
|
|
|
class TestInteger < Test::Unit::TestCase
|
|
BDSIZE = 0x4000000000000000.coerce(0)[0].size
|
|
def self.bdsize(x)
|
|
((x + 1) / 8 + BDSIZE) / BDSIZE * BDSIZE
|
|
end
|
|
def bdsize(x)
|
|
self.class.bdsize(x)
|
|
end
|
|
|
|
def test_aref
|
|
# assert_equal(1, (1 << 0x40000000)[0x40000000], "[ruby-dev:31271]")
|
|
# assert_equal(0, (-1 << 0x40000001)[0x40000000], "[ruby-dev:31271]")
|
|
big_zero = 0x40000000.coerce(0)[0]
|
|
assert_equal(0, (-0x40000002)[big_zero], "[ruby-dev:31271]")
|
|
assert_equal(1, 0x400000001[big_zero], "[ruby-dev:31271]")
|
|
end
|
|
|
|
def test_pow
|
|
assert_not_equal(0, begin
|
|
0**-1
|
|
rescue
|
|
nil
|
|
end, "[ruby-dev:32084] [ruby-dev:34547]")
|
|
end
|
|
|
|
def test_lshift
|
|
assert_equal(0, 1 << -0x40000000)
|
|
assert_equal(0, 1 << -0x40000001)
|
|
assert_equal(0, 1 << -0x80000000)
|
|
assert_equal(0, 1 << -0x80000001)
|
|
# assert_equal(bdsize(0x80000000), (1 << 0x80000000).size)
|
|
end
|
|
|
|
def test_rshift
|
|
# assert_equal(bdsize(0x40000001), (1 >> -0x40000001).size)
|
|
assert_predicate((1 >> 0x80000000), :zero?)
|
|
assert_predicate((1 >> 0xffffffff), :zero?)
|
|
assert_predicate((1 >> 0x100000000), :zero?)
|
|
# assert_equal((1 << 0x40000000), (1 >> -0x40000000))
|
|
# assert_equal((1 << 0x40000001), (1 >> -0x40000001))
|
|
end
|
|
|
|
def test_Integer
|
|
assert_raise(ArgumentError) {Integer("0x-1")}
|
|
assert_raise(ArgumentError) {Integer("-0x-1")}
|
|
assert_raise(ArgumentError) {Integer("0x 123")}
|
|
assert_raise(ArgumentError) {Integer("0x 123")}
|
|
assert_raise(ArgumentError) {Integer("0x0x5")}
|
|
assert_raise(ArgumentError) {Integer("0x0x000000005")}
|
|
assert_nothing_raised(ArgumentError) {
|
|
assert_equal(1540841, "0x0x5".to_i(36))
|
|
}
|
|
assert_raise(ArgumentError) { Integer("--0") }
|
|
assert_raise(ArgumentError) { Integer("-+0") }
|
|
assert_raise(ArgumentError) { Integer("++1") }
|
|
assert_raise(ArgumentError) { Integer("") }
|
|
assert_raise(ArgumentError) { Integer("10 x") }
|
|
assert_raise(ArgumentError) { Integer("1__2") }
|
|
assert_raise(ArgumentError) { Integer("1z") }
|
|
assert_raise(ArgumentError) { Integer("46116860184273__87904") }
|
|
assert_raise(ArgumentError) { Integer("4611686018427387904_") }
|
|
assert_raise(ArgumentError) { Integer("4611686018427387904 :") }
|
|
assert_equal(0x4000000000000000, Integer("46_11_686_0184273_87904"))
|
|
assert_raise(ArgumentError) { Integer("\0") }
|
|
assert_nothing_raised(ArgumentError, "[ruby-core:13873]") {
|
|
assert_equal(0, Integer("0 "))
|
|
}
|
|
assert_nothing_raised(ArgumentError, "[ruby-core:14139]") {
|
|
assert_equal(0377, Integer("0_3_7_7"))
|
|
}
|
|
assert_raise(ArgumentError, "[ruby-core:14139]") {Integer("0__3_7_7")}
|
|
assert_equal(1234, Integer(1234))
|
|
assert_equal(1, Integer(1.234))
|
|
|
|
# base argument
|
|
assert_equal(1234, Integer("1234", 10))
|
|
assert_equal(668, Integer("1234", 8))
|
|
assert_equal(4660, Integer("1234", 16))
|
|
assert_equal(49360, Integer("1234", 36))
|
|
# decimal, not octal
|
|
assert_equal(1234, Integer("01234", 10))
|
|
assert_raise(ArgumentError) { Integer("0x123", 10) }
|
|
assert_raise(ArgumentError) { Integer(1234, 10) }
|
|
assert_raise(ArgumentError) { Integer(12.34, 10) }
|
|
assert_raise(ArgumentError) { Integer(Object.new, 1) }
|
|
|
|
assert_raise(ArgumentError) { Integer(1, 1, 1) }
|
|
|
|
assert_equal(2 ** 50, Integer(2.0 ** 50))
|
|
assert_raise(TypeError) { Integer(nil) }
|
|
|
|
bug6192 = '[ruby-core:43566]'
|
|
assert_raise(Encoding::CompatibilityError, bug6192) {Integer("0".encode("utf-16be"))}
|
|
assert_raise(Encoding::CompatibilityError, bug6192) {Integer("0".encode("utf-16le"))}
|
|
assert_raise(Encoding::CompatibilityError, bug6192) {Integer("0".encode("utf-32be"))}
|
|
assert_raise(Encoding::CompatibilityError, bug6192) {Integer("0".encode("utf-32le"))}
|
|
assert_raise(Encoding::CompatibilityError, bug6192) {Integer("0".encode("iso-2022-jp"))}
|
|
|
|
assert_raise_with_message(ArgumentError, /\u{1f4a1}/) {Integer("\u{1f4a1}")}
|
|
end
|
|
|
|
def test_int_p
|
|
assert_not_predicate(1.0, :integer?)
|
|
assert_predicate(1, :integer?)
|
|
end
|
|
|
|
def test_succ
|
|
assert_equal(2, 1.send(:succ))
|
|
end
|
|
|
|
def test_chr
|
|
assert_equal("a", "a".ord.chr)
|
|
assert_raise(RangeError) { (-1).chr }
|
|
assert_raise(RangeError) { 0x100.chr }
|
|
end
|
|
|
|
def test_upto
|
|
a = []
|
|
1.upto(3) {|x| a << x }
|
|
assert_equal([1, 2, 3], a)
|
|
|
|
a = []
|
|
1.upto(0) {|x| a << x }
|
|
assert_equal([], a)
|
|
|
|
y = 2**30 - 1
|
|
a = []
|
|
y.upto(y+2) {|x| a << x }
|
|
assert_equal([y, y+1, y+2], a)
|
|
end
|
|
|
|
def test_downto
|
|
a = []
|
|
-1.downto(-3) {|x| a << x }
|
|
assert_equal([-1, -2, -3], a)
|
|
|
|
a = []
|
|
1.downto(2) {|x| a << x }
|
|
assert_equal([], a)
|
|
|
|
y = -(2**30)
|
|
a = []
|
|
y.downto(y-2) {|x| a << x }
|
|
assert_equal([y, y-1, y-2], a)
|
|
end
|
|
|
|
def test_times
|
|
(2**32).times do |i|
|
|
break if i == 2
|
|
end
|
|
end
|
|
|
|
def assert_int_equal(expected, result, mesg = nil)
|
|
assert_kind_of(Integer, result, mesg)
|
|
assert_equal(expected, result, mesg)
|
|
end
|
|
|
|
def assert_float_equal(expected, result, mesg = nil)
|
|
assert_kind_of(Float, result, mesg)
|
|
assert_equal(expected, result, mesg)
|
|
end
|
|
|
|
def test_round
|
|
assert_int_equal(11111, 11111.round)
|
|
assert_int_equal(11111, 11111.round(0))
|
|
|
|
assert_float_equal(11111.0, 11111.round(1))
|
|
assert_float_equal(11111.0, 11111.round(2))
|
|
|
|
assert_int_equal(11110, 11111.round(-1))
|
|
assert_int_equal(11100, 11111.round(-2))
|
|
assert_int_equal(+200, +249.round(-2))
|
|
assert_int_equal(+300, +250.round(-2))
|
|
assert_int_equal(-200, -249.round(-2))
|
|
assert_int_equal(-300, -250.round(-2))
|
|
assert_int_equal(+30 * 10**70, (+25 * 10**70).round(-71))
|
|
assert_int_equal(-30 * 10**70, (-25 * 10**70).round(-71))
|
|
assert_int_equal(+20 * 10**70, (+25 * 10**70 - 1).round(-71))
|
|
assert_int_equal(-20 * 10**70, (-25 * 10**70 + 1).round(-71))
|
|
|
|
assert_int_equal(1111_1111_1111_1111_1111_1111_1111_1110, 1111_1111_1111_1111_1111_1111_1111_1111.round(-1))
|
|
assert_int_equal(-1111_1111_1111_1111_1111_1111_1111_1110, (-1111_1111_1111_1111_1111_1111_1111_1111).round(-1))
|
|
end
|
|
|
|
def test_floor
|
|
assert_int_equal(11111, 11111.floor)
|
|
assert_int_equal(11111, 11111.floor(0))
|
|
|
|
assert_float_equal(11111.0, 11111.floor(1))
|
|
assert_float_equal(11111.0, 11111.floor(2))
|
|
|
|
assert_int_equal(11110, 11110.floor(-1))
|
|
assert_int_equal(11110, 11119.floor(-1))
|
|
assert_int_equal(11100, 11100.floor(-2))
|
|
assert_int_equal(11100, 11199.floor(-2))
|
|
assert_int_equal(0, 11111.floor(-5))
|
|
assert_int_equal(+200, +299.floor(-2))
|
|
assert_int_equal(+300, +300.floor(-2))
|
|
assert_int_equal(-300, -299.floor(-2))
|
|
assert_int_equal(-300, -300.floor(-2))
|
|
assert_int_equal(+20 * 10**70, (+25 * 10**70).floor(-71))
|
|
assert_int_equal(-30 * 10**70, (-25 * 10**70).floor(-71))
|
|
assert_int_equal(+20 * 10**70, (+25 * 10**70 - 1).floor(-71))
|
|
assert_int_equal(-30 * 10**70, (-25 * 10**70 + 1).floor(-71))
|
|
|
|
assert_int_equal(1111_1111_1111_1111_1111_1111_1111_1110, 1111_1111_1111_1111_1111_1111_1111_1111.floor(-1))
|
|
assert_int_equal(-1111_1111_1111_1111_1111_1111_1111_1120, (-1111_1111_1111_1111_1111_1111_1111_1111).floor(-1))
|
|
end
|
|
|
|
def test_ceil
|
|
assert_int_equal(11111, 11111.ceil)
|
|
assert_int_equal(11111, 11111.ceil(0))
|
|
|
|
assert_float_equal(11111.0, 11111.ceil(1))
|
|
assert_float_equal(11111.0, 11111.ceil(2))
|
|
|
|
assert_int_equal(11110, 11110.ceil(-1))
|
|
assert_int_equal(11120, 11119.ceil(-1))
|
|
assert_int_equal(11200, 11101.ceil(-2))
|
|
assert_int_equal(11200, 11200.ceil(-2))
|
|
assert_int_equal(100000, 11111.ceil(-5))
|
|
assert_int_equal(300, 299.ceil(-2))
|
|
assert_int_equal(300, 300.ceil(-2))
|
|
assert_int_equal(-200, -299.ceil(-2))
|
|
assert_int_equal(-300, -300.ceil(-2))
|
|
assert_int_equal(+30 * 10**70, (+25 * 10**70).ceil(-71))
|
|
assert_int_equal(-20 * 10**70, (-25 * 10**70).ceil(-71))
|
|
assert_int_equal(+30 * 10**70, (+25 * 10**70 - 1).ceil(-71))
|
|
assert_int_equal(-20 * 10**70, (-25 * 10**70 + 1).ceil(-71))
|
|
|
|
assert_int_equal(1111_1111_1111_1111_1111_1111_1111_1120, 1111_1111_1111_1111_1111_1111_1111_1111.ceil(-1))
|
|
assert_int_equal(-1111_1111_1111_1111_1111_1111_1111_1110, (-1111_1111_1111_1111_1111_1111_1111_1111).ceil(-1))
|
|
end
|
|
|
|
def test_truncate
|
|
assert_int_equal(11111, 11111.truncate)
|
|
assert_int_equal(11111, 11111.truncate(0))
|
|
|
|
assert_float_equal(11111.0, 11111.truncate(1))
|
|
assert_float_equal(11111.0, 11111.truncate(2))
|
|
|
|
assert_int_equal(11110, 11110.truncate(-1))
|
|
assert_int_equal(11110, 11119.truncate(-1))
|
|
assert_int_equal(11100, 11100.truncate(-2))
|
|
assert_int_equal(11100, 11199.truncate(-2))
|
|
assert_int_equal(0, 11111.truncate(-5))
|
|
assert_int_equal(+200, +299.truncate(-2))
|
|
assert_int_equal(+300, +300.truncate(-2))
|
|
assert_int_equal(-200, -299.truncate(-2))
|
|
assert_int_equal(-300, -300.truncate(-2))
|
|
assert_int_equal(+20 * 10**70, (+25 * 10**70).truncate(-71))
|
|
assert_int_equal(-20 * 10**70, (-25 * 10**70).truncate(-71))
|
|
assert_int_equal(+20 * 10**70, (+25 * 10**70 - 1).truncate(-71))
|
|
assert_int_equal(-20 * 10**70, (-25 * 10**70 + 1).truncate(-71))
|
|
|
|
assert_int_equal(1111_1111_1111_1111_1111_1111_1111_1110, 1111_1111_1111_1111_1111_1111_1111_1111.truncate(-1))
|
|
assert_int_equal(-1111_1111_1111_1111_1111_1111_1111_1110, (-1111_1111_1111_1111_1111_1111_1111_1111).truncate(-1))
|
|
end
|
|
|
|
def test_bitwise_and_with_integer_mimic_object
|
|
def (obj = Object.new).to_int
|
|
10
|
|
end
|
|
assert_raise(TypeError, '[ruby-core:39491]') { 3 & obj }
|
|
|
|
def obj.coerce(other)
|
|
[other, 10]
|
|
end
|
|
assert_equal(3 & 10, 3 & obj)
|
|
end
|
|
|
|
def test_bitwise_or_with_integer_mimic_object
|
|
def (obj = Object.new).to_int
|
|
10
|
|
end
|
|
assert_raise(TypeError, '[ruby-core:39491]') { 3 | obj }
|
|
|
|
def obj.coerce(other)
|
|
[other, 10]
|
|
end
|
|
assert_equal(3 | 10, 3 | obj)
|
|
end
|
|
|
|
def test_bitwise_xor_with_integer_mimic_object
|
|
def (obj = Object.new).to_int
|
|
10
|
|
end
|
|
assert_raise(TypeError, '[ruby-core:39491]') { 3 ^ obj }
|
|
|
|
def obj.coerce(other)
|
|
[other, 10]
|
|
end
|
|
assert_equal(3 ^ 10, 3 ^ obj)
|
|
end
|
|
|
|
def test_bit_length
|
|
assert_equal(13, (-2**12-1).bit_length)
|
|
assert_equal(12, (-2**12).bit_length)
|
|
assert_equal(12, (-2**12+1).bit_length)
|
|
assert_equal(9, -0x101.bit_length)
|
|
assert_equal(8, -0x100.bit_length)
|
|
assert_equal(8, -0xff.bit_length)
|
|
assert_equal(1, -2.bit_length)
|
|
assert_equal(0, -1.bit_length)
|
|
assert_equal(0, 0.bit_length)
|
|
assert_equal(1, 1.bit_length)
|
|
assert_equal(8, 0xff.bit_length)
|
|
assert_equal(9, 0x100.bit_length)
|
|
assert_equal(9, 0x101.bit_length)
|
|
assert_equal(12, (2**12-1).bit_length)
|
|
assert_equal(13, (2**12).bit_length)
|
|
assert_equal(13, (2**12+1).bit_length)
|
|
|
|
assert_equal(10001, (-2**10000-1).bit_length)
|
|
assert_equal(10000, (-2**10000).bit_length)
|
|
assert_equal(10000, (-2**10000+1).bit_length)
|
|
assert_equal(10000, (2**10000-1).bit_length)
|
|
assert_equal(10001, (2**10000).bit_length)
|
|
assert_equal(10001, (2**10000+1).bit_length)
|
|
|
|
2.upto(1000) {|i|
|
|
n = 2**i
|
|
assert_equal(i+1, (-n-1).bit_length, "(#{-n-1}).bit_length")
|
|
assert_equal(i, (-n).bit_length, "(#{-n}).bit_length")
|
|
assert_equal(i, (-n+1).bit_length, "(#{-n+1}).bit_length")
|
|
assert_equal(i, (n-1).bit_length, "#{n-1}.bit_length")
|
|
assert_equal(i+1, (n).bit_length, "#{n}.bit_length")
|
|
assert_equal(i+1, (n+1).bit_length, "#{n+1}.bit_length")
|
|
}
|
|
end
|
|
end
|