sizeof(int) == 3

[vak]

Встречался ли вам процессор, где sizeof(int) равен трём? Не древность какая, а вполне современный чип. На Маузере $12 баксов стоит. Это тот самый eZ80, что в компьютере Agon Light, что я упоминал. Он хоть и уродился от 16-битного z80, но размер всех регистров увеличили до 24 бит. Получился странный размер целого числа.

Zilog поставляет бесплатный компилятор Си, но только для Windows. К счастью, оно успешно ставится и работает на Линуксе посредством Wine. Скачивается по ссылке: ZDS II eZ80Acclaim. После установки пакет оказывается в каталоге ~/.wine/drive_c/ZiLOG/ZDSII_eZ80Acclaim!_5.3.4.

Чтобы выяснить размер int, скомпилируем тривиальную програмку и глянем ассемблерный результат:

$ cat szint.c
int szint()
{
    return sizeof(int);
}

$ export WINEDEBUG=-winediag,-systray

$ wine ~/.wine/drive_c/ZiLOG/ZDSII_eZ80Acclaim\!_5.3.4/bin/ez80cc.exe -cpu:EZ80F92 -noasm szint.c

$ cat szint.src
; Zilog eZ80 ANSI C Compiler Release 3.4
; -nomodsect -peephole -globalopt -localcse -optsize
; -const=ROM 
	FILE	".\szint.c"
	.assume ADL=1
	SEGMENT CODE
;    1	int szint()
;    2	{
_szint:
;    3	    return sizeof(int);
	LD	HL,3
;    4	}
	RET	

;**************************** _szint ***************************
;Name                         Addr/Register   Size   Type

; Stack Frame Size: 6 (bytes)
;       Spill Code: 0 (instruction)

	XDEF _szint
	END

Видите команду LD HL,3? Это возвращаемое значение sizeof(int) = 3.

Глянем для интереса значения INT_MAX и INT_MIN:

$ grep -rh define\ INT_M ~/.wine/drive_c/ZiLOG/ZDSII_eZ80Acclaim\!_5.3.4/include
#define INT_MAX         8388607            /* max value for int            */
#define INT_MIN         (-8388607 - 1)     /* min value for int            */

Такой вот странный процессор.

Comments

[sab123]

Бывают еще и 18-битные. А Z80 был 8-битный, в нем пара регистров объединялась для 16-битного адреса.

[vak]

Есть ссылочка на limits.h для 18-битного процессора?

[sab123]

Нет, я сам таким не пользовался. Там вроде как 9-битные байты.

[perdakot]

но размер всех регистров увеличили до 24 бит

А на MSP430X 20-битные регистры, sizeof(int)=2.5.

[vak]

Предъявите код?

[perdakot]

https://en.wikipedia.org/wiki/TI_MSP430

MSP430X 20-bit extension

In order to support this, an extended form of the MSP430 uses 20-bit registers and a 20-bit address space

[vak]

Какое значение INT_MAX?

[perdakot]

Я не знаю, где вам это взять. Нагуглилось

-mlarge
Use large-model addressing (20-bit pointers, 32-bit size_t).
-msmall
Use small-model addressing (16-bit pointers, 16-bit size_t).

Есть какие-то трудности, чтобы INT_MAX был 0x7FFFF?

[vak]

Размер адреса и размер целого не особо связаны.
И как-то не встречались мне архитектуры, где размер целого в Си был бы не кратным байту. Думаю, это противоречит стандарту языка.

[archaicos]

Прям вещественное число возвращает sizeof?

[perdakot]

По-моему, оно там 4 возвращало. Но это ж криво, должно 2.5.

[archaicos]

Размер может быть больше эффективного (но не может быть вещественным, т.к. sizeof возвращает целочисленный size_t). Дырки возможны.

[perdakot]

но не может быть вещественным

Недоработка же. Надо было размер возвращать в битах.

[archaicos]

Было бы прикольней, если бы все инструкции были по 3 байта, и pc был кратен 3.

[vak]

Да разве этим удивишь. На интеле вон размер инструкции может быть от 1 до 16 байт, и никто не парится.

[archaicos]

Не, просто прикольно было бы проверять на делимость на три. :)
Не слишком сложно, но зачотно.

[sab123]

Будете смеяться, на Итаниуме (он же в девичестве Мерсед) было подобное. Там, если я правильно помню, в 8-байтовое слово укладывались две 3-байтовых инструкции и одна 2-байтовая. Что было 3 инструкции на слово - это точно, а вот подробности я мог напутать.

[ivanrubilo]

А есть такие, ну не 3 байта, но 12 бит, 14 бит на некоторых микроконтроллерах PIC. На x86 можно однобайтовую префиксами добить и до 3.

[chabapok]

Какой ужас, такое в раст портировать?

Если мы заговорили об экзотике, то https://ru.wikipedia.org/wiki/%D0%A1%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B0_%D0%BE%D1%81%D1%82%D0%B0%D1%82%D0%BE%D1%87%D0%BD%D1%8B%D1%85_%D0%BA%D0%BB%D0%B0%D1%81%D1%81%D0%BE%D0%B2

"Практическое применение: чехословацкая ламповая ЭВМ «EPOS», советская военная многопроцессорная суперЭВМ 5Э53, предназначенная для решения задач противоракетной обороны."

[vit_r]

А зачем? Не кремний же экономили.

[juan_gandhi]

Ну хотя бы целое число. А то на иных архитектурках оно было не целое.

[ivanrubilo]

Там небось экстра бит был добавлен (ну или несколько) для того чтобы что-то сигнализировать типа «имеет валидное значение» как в Итанике?

[juan_gandhi]

Нет, там экстра биты не играли никакой роли.

[vak]

По определению языка Си sizeof(type) это целое. Означает размер числа в элементах типа char. То есть по определению всегда sizeof(char)==1. А другие типы кратные этому размеру.