Бага SDCC версии 3.3.0

[TSL]

Обрадовалася душа, что такой весь сабж хороший, давай думаю его наконец заюзаю. Не прошло и полчаса, как наступил на багу.

char i;
void main(void)
{
	i = 0;
	while (1)
		i = (i == 3) ? 0 : (i + 1);
}

Свежайшая версия 3.3.0 компилирует вот в это:

_main:
;1.c:9: i = 0;
	ld	hl,#_i + 0
	ld	(hl), #0x00
;1.c:11: while (1)
00102$:
;1.c:13: i = (i == 3) ? 0 : (i + 1);
	ld	a,(#_i + 0)
	cp	a,#0x03
	jr	Z,00107$
	inc	a
00107$:
	ld	(#_i + 0),a
	jr	00102$

Я думаю, комментировать не надо.

ИЧСХ, проверил на версии 2.9.0 (та, которая в шыру-СДК):

_main:
;1.c:9: i = 0;
	ld	hl,#_i + 0
	ld	(hl), #0x00
;1.c:11: while (1)
00102$:
;1.c:13: i = (i == 3) ? 0 : (i + 1);
	ld	a,(#_i+0)
	sub	a,#0x03
	jr	NZ,00106$
	ld	c,#0x00
	jr	00107$
00106$:
	ld	hl,#_i + 0
	ld	c,(hl)
	inc	c
00107$:
	ld	hl,#_i + 0
	ld	(hl), c
	jr	00102$

Предлагается найти 100500 отличий.

Cвежая версия делает намного более вменяемый код. Но пропустить ТАКУЮ багу...
Ладно бы код был какой экзотичный. И что интересно: если написать например:

i = (i == 3) ? 1 : (i + 1);

то получится уже вот так:

	ld	a,(#_i + 0)
	sub	a, #0x03 ; <-- !!!!!!!!!!!!!!!!!
	jr	NZ,00106$
	ld	a,#0x01
	jr	00107$
00106$:
	ld	a,(#_i + 0)
	inc	a
00107$:
	ld	(#_i + 0),a

Перепутали CP и SUB, бида бида...

---------- Post added at 03:57 ---------- Previous post was at 03:51 ----------

Проверил: присутствует в версиях 3.2.0 и 3.1.0 Нету в версии 3.0.0, но она генерит такую же капусту, как и 2.9.0.

[Advertiser]

[Eltaron]

Это лучше сюда http://sourceforge.net/p/sdcc/bugs/

[TSL]

Уже.
Но я полагаю, сообщить народу не повредит.

[crazy_bender/ex-PLACEBO]

а где бы взять готовую сборку?

[TSL]

Сборку чего?

---------- Post added at 06:05 ---------- Previous post was at 05:55 ----------

О, ответили:
It looks like a peephole rule problem. When compiled with --no-peep the resulting assembly looks correct to me.
Действительно, опция --no-peep генерит:

	ld	iy,#_i
	ld	a,0 (iy)
	sub	a, #0x03
	jp	NZ,00108$
	jp	00109$
00108$:
	jp	00103$
00109$:
	ld	a,#0x00
	jp	00104$
00103$:
	ld	iy,#_i
	ld	a,0 (iy)
	inc	a
00104$:
	ld	iy,#_i
	ld	0 (iy),a

Ну, то есть peephole не работает, и старая лапша.

[Error404]

SDCC исторически насквозь кривой. Особенно если пользуешься чем-то кроме простых операций. Я забил им пользоваться. Поскольку компилю большие проекты, искать потом в десятке тысяч строк почему рабочий код после SDCC не работает - нунафиг.

[perestoronin]

почему рабочий код после SDCC не работает

Если ПО не править, то оно так и останется бажным, я то ПО что мне нужно правлю, чего и всем рекомендую, не чего халяву ловить, надо и самим хотя бы капельку своего труда вложить в открытое ПО.

[Error404]

Если ПО не править, то оно так и останется бажным, я то ПО что мне нужно правлю, чего и всем рекомендую, не чего халяву ловить, надо и самим хотя бы капельку своего труда вложить в открытое ПО.

SDCC это как жигули: то уши мерзнут, то хвост отваливается, бесконечная история ловли глюков. А жизнь одна. Нафиг. Тем более это не лучший компилятор ни по коду ни по быстродействию, и на реале не работает.
Я вот никакого кайфа от правки инструментария не имею вообще. Другое дело, писать что-то прикладное.

[psb]

Если ПО не править, то оно так и останется бажным, я то ПО что мне нужно правлю, чего и всем рекомендую

есть еще такая поговорка: из говна конфетку не сделать. если идеология кривая, можешь ее всю костылями увешать, она все равно будет падать то тут, то там.

[Valen]

Это лучше сюда http://sourceforge.net/p/sdcc/bugs/

Во-во причем все люди нормальные так и делают.

[
TSL, перенеси все баги из баг списка. И везде пропиши "Перепутали X и Y, бида бида...".
И в каждой ветке ответят, "кривой.. кривой.."

]