mirror of
https://github.com/ruby/ruby.git
synced 2025-08-15 13:39:04 +02:00

This commit adds a `capacity` field to shapes, and adds shape transitions whenever an object's capacity changes. Objects which are allocated out of a bigger size pool will also make a transition from the root shape to the shape with the correct capacity for their size pool when they are allocated. This commit will allow us to remove numiv from objects completely, and will also mean we can guarantee that if two objects share shapes, their IVs are in the same positions (an embedded and extended object cannot share shapes). This will enable us to implement ivar sets in YJIT using object shapes. Co-Authored-By: Aaron Patterson <tenderlove@ruby-lang.org>
168 lines
4.2 KiB
Ruby
168 lines
4.2 KiB
Ruby
# frozen_string_literal: false
|
|
require 'test/unit'
|
|
require "-test-/string"
|
|
|
|
class Test_StringCStr < Test::Unit::TestCase
|
|
Bug4319 = '[ruby-dev:43094]'
|
|
|
|
def test_embed
|
|
s = Bug::String.new("abcdef")
|
|
s.set_len(3)
|
|
s.cstr_unterm('x')
|
|
assert_equal(0, s.cstr_term, Bug4319)
|
|
end
|
|
|
|
def test_long
|
|
s = Bug::String.new(Bug::String.new("abcdef")*100000)
|
|
s.cstr_unterm('x')
|
|
assert_equal(0, s.cstr_term, Bug4319)
|
|
end
|
|
|
|
def test_shared
|
|
s = Bug::String.new(Bug::String.new("abcdef")*5)
|
|
s = s.unterminated_substring(0, 29)
|
|
assert_equal(0, s.cstr_term, Bug4319)
|
|
end
|
|
|
|
def test_frozen
|
|
s0 = Bug::String.new("abcdefgh"*8)
|
|
|
|
[4, 4*3-1, 8*3-1, 64].each do |n|
|
|
s = Bug::String.new(s0[0, n])
|
|
s.cstr_unterm('x')
|
|
s.freeze
|
|
assert_equal(0, s.cstr_term)
|
|
WCHARS.each do |enc|
|
|
s = s0.encode(enc)
|
|
s.set_len(n - n % s[0].bytesize)
|
|
s.cstr_unterm('x')
|
|
s.freeze
|
|
assert_equal(0, s.cstr_term)
|
|
end
|
|
end
|
|
end
|
|
|
|
def test_rb_str_new_frozen_embed
|
|
# "rbconfi" is the smallest "maximum embeddable string". VWA adds
|
|
# a capacity field, which removes one pointer capacity for embedded objects,
|
|
# so if VWA is enabled, but there is only one size pool, then the
|
|
# maximum embeddable capacity on 32 bit machines is 8 bytes.
|
|
str = Bug::String.cstr_noembed("rbconfi")
|
|
str = Bug::String.rb_str_new_frozen(str)
|
|
assert_equal true, Bug::String.cstr_embedded?(str)
|
|
end
|
|
|
|
WCHARS = [Encoding::UTF_16BE, Encoding::UTF_16LE, Encoding::UTF_32BE, Encoding::UTF_32LE]
|
|
|
|
def test_wchar_embed
|
|
WCHARS.each do |enc|
|
|
s = Bug::String.new("\u{4022}a".encode(enc))
|
|
s.cstr_unterm('x')
|
|
assert_nothing_raised(ArgumentError) {s.cstr_term}
|
|
s.set_len(s.bytesize / 2)
|
|
assert_equal(1, s.size)
|
|
s.cstr_unterm('x')
|
|
assert_equal(0, s.cstr_term)
|
|
end
|
|
end
|
|
|
|
def test_wchar_long
|
|
str = "\u{4022}abcdef"
|
|
n = 100
|
|
len = str.size * n
|
|
WCHARS.each do |enc|
|
|
s = Bug::String.new(Bug::String.new(str.encode(enc))*n)
|
|
s.cstr_unterm('x')
|
|
assert_nothing_raised(ArgumentError, enc.name) {s.cstr_term}
|
|
s.set_len(s.bytesize / 2)
|
|
assert_equal(len / 2, s.size, enc.name)
|
|
s.cstr_unterm('x')
|
|
assert_equal(0, s.cstr_term, enc.name)
|
|
end
|
|
end
|
|
|
|
def test_wchar_lstrip!
|
|
assert_wchars_term_char(" a") {|s| s.lstrip!}
|
|
end
|
|
|
|
def test_wchar_rstrip!
|
|
assert_wchars_term_char("a ") {|s| s.rstrip!}
|
|
end
|
|
|
|
def test_wchar_chop!
|
|
assert_wchars_term_char("a\n") {|s| s.chop!}
|
|
end
|
|
|
|
def test_wchar_chomp!
|
|
assert_wchars_term_char("a\n") {|s| s.chomp!}
|
|
end
|
|
|
|
def test_wchar_aset
|
|
assert_wchars_term_char("a"*30) {|s| s[29,1] = ""}
|
|
end
|
|
|
|
def test_wchar_sub!
|
|
assert_wchars_term_char("foobar") {|s| s.sub!(/#{"foo".encode(s.encoding)}/, "")}
|
|
end
|
|
|
|
def test_wchar_delete!
|
|
assert_wchars_term_char("foobar") {|s| s.delete!("ao".encode(s.encoding))}
|
|
end
|
|
|
|
def test_wchar_squeeze!
|
|
assert_wchars_term_char("foo!") {|s| s.squeeze!}
|
|
end
|
|
|
|
def test_wchar_tr!
|
|
assert_wchars_term_char("\u{3042}foobar") {|s|
|
|
enc = s.encoding
|
|
s.tr!("\u{3042}".encode(enc), "c".encode(enc))
|
|
}
|
|
end
|
|
|
|
def test_wchar_tr_s!
|
|
assert_wchars_term_char("\u{3042}foobar") {|s|
|
|
enc = s.encoding
|
|
s.tr_s!("\u{3042}".encode(enc), "c".encode(enc))
|
|
}
|
|
end
|
|
|
|
def test_wchar_replace
|
|
assert_wchars_term_char("abc") {|s|
|
|
w = s.dup
|
|
s.replace("abcdefghijklmnop")
|
|
s.replace(w)
|
|
}
|
|
end
|
|
|
|
def test_embedded_from_heap
|
|
gh821 = "[GH-821]"
|
|
embedded_string = "abcdefghi"
|
|
string = embedded_string.gsub("efg", "123")
|
|
{}[string] = 1
|
|
non_terminated = "#{string}#{nil}"
|
|
assert_nil(Bug::String.cstr_term_char(non_terminated), gh821)
|
|
|
|
result = {}
|
|
WCHARS.map do |enc|
|
|
embedded_string = "ab".encode(enc)
|
|
string = embedded_string.gsub("b".encode(enc), "1".encode(enc))
|
|
{}[string] = 1
|
|
non_terminated = "#{string}#{nil}"
|
|
c = Bug::String.cstr_term_char(non_terminated)
|
|
result[enc] = c if c
|
|
end
|
|
assert_empty(result, gh821)
|
|
end
|
|
|
|
def assert_wchars_term_char(str)
|
|
result = {}
|
|
WCHARS.map do |enc|
|
|
s = Bug::String.new(str.encode(enc))
|
|
yield s
|
|
c = s.cstr_term_char
|
|
result[enc] = c if c
|
|
end
|
|
assert_empty(result)
|
|
end
|
|
end
|