BD
потому что это СЛОЖНО
Size: a a a
2021 April 21
BD
и компилятор тупо не умеет, у него время компиляции улетит на марс чтобы понять что тут хотя бы надо оптимизировать
d
тут сложнее ибо заранее не известен размер, я про этот случай я выше вроде уже всё написал...
BD
ну это имеенно та “дружественная реализация” которую предлагают для замены strcpy вручную
BD
(это и нее близко даже к тому что написано в libc)
d
если честно я и сам не знаю как эту штуку можно оптимизировать даже написав полностью на асме
BD
для этого надо мозг, желание, и много много корнер кейсов
BD
ну для начала в глибц оно выбирает strcpy в рантайме в зависимости от имеющейся архитектуры и фич проца
d
с memcpy надеюсь по проще?
BD
потом использует simd для нахождения нулевых байтиков и пока не наткнулись на ноль копирует целыми simd регистрами за раз
BD
same shit, там единственная разница - размер известен наперед, поэтому можно поделить на размер simd регистра и сразу выбрать алгоритм
DF
Технически такое нахождение нулей это чтение за пределы объекта/аллокации
IJ
Замечу что переписав на ассемблере втупую получится, скорее всего, медленнее
d
а не страшно что будет чтение за пределы 0-терминатора?
BD
это ж сишечка, ей ПОХУЮ
d
возможно, целевая архитектура даёт гарантии на этот счёт
BD
а там еще такой момент что simd чтения всегда ALIGNED
DF
Дааа
d
не обязательно
BD
да ладно, ну ок, simd чтение в libc всегда aligned