ruby/test/-ext-/string/test_cstr.rb
Jemma Issroff 5246f4027e Transition shape when object's capacity changes
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>
2022-11-10 10:11:34 -05:00

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