OldComp.cz

Pri testovani jsem opravoval nejake chyby, hodne z nich co jsem tam pridal nove...
No a jedna smycka me ukazovala porad spatne vysledky.
Nasel jsem kod.
Dival se i na to co z toho leze...

A proste nevidel kde mam chybu... tak jsem to musel i vypreparovat a zkompilovat jinde jen s touto smyckou a zacal debugovat.

.ykat inemen ez ytsij meklec lyb mesj ngis u A .yrrac an ahasen a galf orez nej inem ez mesj ledeV !arkas ,galf ngis inem "H cni" A

Musel jsem jit do prace, takze jsem to nemohl dodelat, ale v praci bylo dost casu nad tim premyslet.
HL obsahuje index smycky. Od HL se odecte STOP. Takze je STOP ted na nule.

Pokud je KROK kladny a pri pricteni k HL prelezeme ze zapornych cisel do kladnych tak je konec. U kladneho kroku je nula vyjma.

Pokud je KROK zaporny a pri pricteni klesneme pod nulu do zapornych cisel tak je konec. U zaporneho kroku je nula vcetne.

At je to kladne nebo zaporne tak je jen dulezite, zda index pri pricteni kroku prekroci (jedno jakym smerem) predel co lezi mezi nulou a -1.

Takze to zvladne i carry. Jen carry je invertovan podle smeru, nebo znamenka kroku.
Taky to zvladne zjistit zda se zmenilo znamenko. To je na znamenku kroku nezavisle. Tak jsme to mel predtim.

V praci jsem mel ideu ze zmenim
na

RRA nacte carry do znamenkoveho bitu a ten vyxoruji se znamenkem kroku co je v registru B. Takze pokud bude vysledek kladny tak neni konec.

Doma jsem zjistil ze makro __ADD_HL_CONST vygeneruje i
LD BC, const
ADD HL,BC
pokud mu nic nezbyde. Takze registr B nemusi obsahovat krok, ale stop.

Hmmm... takze jeste sloziteji.

sbc A,A nacte do A carry a pred skokem se zjisti jestli je to nula nebo -1.
Pokud byl krok kladny tak Zero flag znamena ze neni konec.
Pokud byl krok zaporny tak No Zero flag znamena ze neni konec.
Takze se ten kod musi generovat v zavislosti na znamenku kroku.

_________________
Z80 Forth compiler (ZX Spectrum 48kb): https://codeberg.org/DW0RKiN/M4_FORTH

Pro pobaveni:


Pridal jsem kombo-slovo DUP PUSH STORE a DUP PUSH CSTORE.

_________________
Z80 Forth compiler (ZX Spectrum 48kb): https://codeberg.org/DW0RKiN/M4_FORTH

Pokracuji v testovani smycek a tahle me vracela spatny vysledek, skoncila misto po 1000 probehnuti jen 999.
Posledni I hodnota byla -1800 a ne -1802.



Spatne bylo, ze smycky okolo vraceli napul dobry vysledek a napul spatny...

Generovalo se to stejnym kodem...
Pak jsem si vsimnul ze prvni dve maji kladny konec a posledni 2 zaporny.
Jakmile jsem si zacal hrat s +-1 tak jsem to ale jen zhorsil...
To jsem to mel predtim celou dobu blbe?
Protoze kdyz neznam hodnotu a mam ji v DE tak jsem delal "dec DE" a vse fungovalo...

Musel jsem se podivat jeste niz az na binarni kod.

Tam jsem videl tohle


Hmmm... -1802 je 0xF8F6 takze -1803 je 0xF8F5. Me to generuje -1801!

Ok, takze zjistit zda mam zaporne cislo a pricist jednicku...ne to je taky spatne a vubec ja ani nemusim znat tu hodnotu, muze to byt "aaa" nebo "-aaa"...

Tak jsem zkousel a zkousel ....

-1+(-1802)


-1802+(-1)


-1802+0xFFFF
To same.

-1802+(0xFFFF)
To same.

0xFFFF+-1802
ERROR: Value expected but '-'found

0xFFFF+(-1802)

Spravne!!!



Pasmo zase haze klacky pod nohy pri zapornych cislech.
A tohle neni jedine misto kde jsem XXX-1 pouzil, takze i kdyz testy vysly uz spravne tak nemusi byt uplné...
Uplně minove pole. (lol musel jsem doplnit diakritiku, protoze to bylo pri cteni uz nepochopitelne)
A zrovna ta -1 je uz uplne mimo me proc to tam mam.

Chapu ze misto INDEX-STOP a pak +STEP, kde nic takoveho nepotrebuji
pouzivam opak STOP-(INDEX+STEP)
Ale je to uz rok co jsem tohle resil... jak to napsat co nejkratsi.

Nechtel bych byt v kuzi nekoho jineho kdo by to debuggoval.

Je spravne algoritmus?
Je spravne kod?
Je spravne BINARNI KOD?
Co takhle zkusit jiny prekladac... (...a to je to posledni co bych chtel)

_________________
Z80 Forth compiler (ZX Spectrum 48kb): https://codeberg.org/DW0RKiN/M4_FORTH

Vsetky tieto vyrazy by mali davat rovnaky vysledok, aspon v starych klasickych asebleroch priamo na ZX Spektre (MRS, Prometeus...) davaju.
Ale moderne cross-asemblery (Pasmo?) s tym mozu mat problemy, pretoze obvykle interne vsetko pocitaju v 32bit presnosti. Takze by som skusil este na cely vyraz aplikovat funkciu AND #FFFF ktora z vysledku "vyzobne" iba spodnych 16 bitov.
A u mna zase uplne prve, ze by som skusil SjASMPlus

potvrzuji, dělá to i AS (ASW) - zrovna nedávno mi hlásil překladač nedovolený rozsah pro instrukci JR i když bylo návěští jen kousek od skoku...
bylo tam:

prostě toto by libovolný 8bit. překladač v pohodě projel a moderní PC překladač ani náhodou

U ZX se v asm nečte hodnota od nejnižšího bytu po ten vyšší? Nějak nerozumím jak tam může vznikat ta nepřesnost při práci u 16 bitového rozsahu vůči 32 bitovému rozsahu. A další věci je co mně zajímá, to se u asm na ZX nemůže definovat rozsah s jakým se pracuje? 1 byte, 2 byte, 4 byte? Asi může, ale interně si překladač pracuje s 32 bitovou hodnotou?

Jako je mi jasný že já nejlépe vidím problém, až když se s ním přímo potýkám...

_________________
Amiga - PMD 85

Zrovna Pasmo ma vse 16bitove. Vim to, protoze jsem mel s tim problem, kdyz jsem potreboval do nej nacpat 32 bitove konstanty ze vstupu. GNU M4 je 32bitove, takze pokud to bylo cislo tak to pro Pasmo umel rozdelit.
Nevim presne jak si to Pasmo vnitrne prevadi na unsigned, kdybych znal presny vzorec jak to dela usetrilo by me to problemy. Ono je to hodne specificky problem, protoze pro normalniho programatora to nenastane, on vi co tam vklada/pise, ja to tak uplne vzdy nevim, ja potrebuji znat spravnou formulu fungujici pro kazdy vstup.

S tim jinym prekladacem jsem myslel ze by se vykaslal na M4 FORTH a zkusil treba z88dk. Se kterym mam ja osobne vetsi problem. Pokud jste cetli posledni clanek Tisnovskeho na Rootu o Compiler Exploreru, tak me prekvapil ze to pry umi i prekladat i pro osmibity. To jsem si nepamatoval, mozna to pred lety neumel. Mrknul jsem se na to a videl jen 6502, ale pak nasel i neco pro Z80!

z88dk! A vysledek prednastaveneho kodu?
Z88dk 2.2

Asi tak nejak vypada casto i me snazeni kdyz to zkousim...
Nic to neprelozi dokud tam nedopisete nejake magicke parametry a i kdyz tam vlozim co trochu funguje tak to selze protoze to potrebuje knihovny. Ty by sli asi nahrat, ale jen ukazuji jak je to neintuitivni a jakou potrebujete znalost to vubec zkompilovat.

PS: Asi by stalo za to mit nejaky script na testovani pasmo, SjASMPlus a dalsich.
Jak se kde co pise a kde stejny kod se generuje rozdilne.

_________________
Z80 Forth compiler (ZX Spectrum 48kb): https://codeberg.org/DW0RKiN/M4_FORTH

_________________
Z80 Forth compiler (ZX Spectrum 48kb): https://codeberg.org/DW0RKiN/M4_FORTH

Wow! Nasel jsem kratsi variantu vracejici spravny vysledek!

_________________
Z80 Forth compiler (ZX Spectrum 48kb): https://codeberg.org/DW0RKiN/M4_FORTH

Je to zavisle od prekladace. Standartni ...eee.. jak se rekne falesne instrukce? Pseudoinstrukce? Pro vkladani cisel do pameti jsou stejne jako pro intel

DB - vlozi bajt
DW - vlozi slovo (16 bit)
DD a dalsi uz to neumi, pravdepodobne proto, ze uz je to mimo schopnosti Z80 a musel bys zvolit jakou budes emulovat endianitu. Zda k tomu pridas i nejake pseudoinstrukce pro praci s 32 bitovym cislem, zda to bude stale v pameti, nebo zda zvolis ze DEHL je 32 bitovy cislo, nebo HLDE atd. Je tam uz moc voleb.

ld A, 8_bit_cislo - vlozi 8 bitove cislo, orizne to na spodnich 8 bitu

Format cisla bude asi taky zavisly od prekladace, jake zna napriklad predpony pro hex atd.
Co udela se zapornymi cisly.
Pokud mame misto cisla vzorec tak konkretne pasmo pokud vzorec zacina "(" to vezme ze to neni vzorec, ale ukazatel a pak skonci s chybou pokud vzorec vypada nejak jako (10+5)/5. "/5 what?". Nebo (10+5)-(20*3). "- what?" V nejhorsim pripade to spocita a udela z toho adresu.

ld HL, 16_bit_cislo - vlozi 8 bitove cislo, orizne to na spodnich 16 bitu

Omezeni to same co ld A

Pokud chceme do H vlozit hornich 8 bitu


Takze uz chapu proc ma Pasmo problem s tim -1802-1. Bere to jako -(1802-1).
Bohuzel to vytvari mnohem vetsi problem...vlastne ne, to jde taky vyresit...

0xffff+xxx bude vzdy OK
+(xxx)-1 bude taky vzdy OK
ld BC,xxx bude nekdy spatne....

Budu muset prolezt cely kod a vsude kde vkladam jen text to nahradit za

ld BC,+(xxx) pak to bude vzdy OK

Obcas pro kratsi kod mam jen ze vkladam text, ma to omezeni ze musim resit zarovnani na spravnou delku, ale zase nemusim zjistovat zda vstup je cislo. Pokud uz vim ze vstup je cislo tak volam __HEX_HL (0..15 bit) nebo __HEX_L (0..7 bit) (Popripade __HEX_H (8..15 bit), __HEX_E(16..23 bit), __HEX_D (24..31 bit)) Pak vystup vypada jako 0x83, takze jakoby kladne cislo.

_________________
Z80 Forth compiler (ZX Spectrum 48kb): https://codeberg.org/DW0RKiN/M4_FORTH

Z toho nejsem vubec moudry. Neznam synataxi pro AS, ale ty prvni 2 radky vypadaji ze nemaji vubec zadny vliv na

jr nz,cc2
...
cc2:

A pak pokud znam Pasmo tak by

rutadr equ 0-cokoliv

vyhodnotil jako kladne cislo

rutadr equ 0-1

je rutadr = 0xffff

i kdyby tam bylo jen

rutadr equ -1

tak okamzite rutadr nabere kladnou hodnotu 0xffff.

Pokud bych si myslel ze rutadr je stale -1 tak by me rychle vyvedl z omylu po

ld HL,5*rutadr

nebo

if (rutadr < 0)

PS: Ale pokud je AS starsi jak Pasmo tak je aspon videt odkud to ma.

_________________
Z80 Forth compiler (ZX Spectrum 48kb): https://codeberg.org/DW0RKiN/M4_FORTH

Hmm... napsal jsem do konzole grep -R format a vyjelo mi to snad stovky radku.

Vcetne jedne z poslednich
Tohle proste nepujde snadno opravit.
Hodnota musi mit jiny zapis jako ukazatel. +($1) by z ukazatele udelalo hodnotu.

Pri vstupu "(0x8000)" to vytvori:
ld A, +((0x8000)) bude ld A,0 ne ld A,(0x8000)

_________________
Z80 Forth compiler (ZX Spectrum 48kb): https://codeberg.org/DW0RKiN/M4_FORTH

Nevite co je s githubem? Nedari se mi nacist novy kod... Zkousle jsem i firefox, zkousel jsem i jediny soubor, zkousel jsem to i pres volbu souboru pomoci menu a ne pretazenim a nic...

Udelal jsem jeste nejake dalsi testy s pasmem a zjistil ze me "+(xxx)" nezachrani. Protoze pokud bude xxx vyraz a nekde uvnitr bude zavorka, tak to pasmo zacne zase vyhodnocovat spatne pokud hned za zavorkou bude "-".
Prvne mam spravne hodnoty a po mezere spatne, pokud je dalsi mezera tak jina spatna hodnota.



Tady jsem zapnul -B

Jen netusim jak mu s timto modem rici ze chci ukazatel. .)

Podle me je proste

ld BC,[adresa]
ld BC,(vyraz)

mnohem lepsi reseni. I kdyz pro to ma pasmo jednoduche pravidlo. Vse co zacina "(" je ukazatel.
To si ale ja nemohu dovolit, protoze se snazim programatora od techto problemu izolovat.
Ale zase bych mohl zavest ze [] je ukazatel...

_________________
Z80 Forth compiler (ZX Spectrum 48kb): https://codeberg.org/DW0RKiN/M4_FORTH

Ja jsem fakt uz uplne blbej.
To musi byt dost tezke sam poznat... .)
Ale porad mam pocit, ze na tohle nestacim, vsude samy problem kdyz se nad tim zamyslim.
I u takto jednoduchych veci.

Otevrel jsem arithmetic.m4 a dival se kde mam vsude format() a je to 3:10, takze vim ze to neni ukazatel.
Davam to do +() zavorek.
Pak si to v konzoli prohlednu a...
Vzdyt jsem si VUBEC nepomohl. Kdyz uz vim ze uvnitr kazde zavorky ten problem vyvstane nanovo!
+(-abc-1) zase selze!
Ok kaslu na to stejne kdyz M4 nezna abc tak je to tim ze je to adresa, teda kladne cislo a nebo je to pres "abc equ xxx" kde je to hned taky kladne cislo.
No jo, ale co takove "-5 + abc". To me skript rekne ze to neznam a pak pasmo spatne zkompiluje.
Ha! "0 $1" to resi. "0 - 5 + abc"
Vlastne ne... kdyz to bude kladne bez pluska tak to selze.
Ach jo.
Ok takze jeste zbyva, misto format mit vlastni makro a tam zjistit zda prvni znak je minus a pokud ano pridat znak nuly.
To by snad melo fungovat.
abc je vzdy kladne.
Kdyz uz to bude ve vlastnim makru tak nekdy pridat pres regexp neco jako "(-" --> "(0-".

_________________
Z80 Forth compiler (ZX Spectrum 48kb): https://codeberg.org/DW0RKiN/M4_FORTH

helo,

rozhodol som sa ze aj napriek nulovej reakcii na moj prechadzajuci prispevok tomu dam este sancu. a aj ked nie som pouzivatelom pasma, dal som si tu namahu a pozrel som jeho zdrojaky... ako sa vravi, najlepsia dokumentacia je zdrojak.

zo zdrojaku (verzia, ktore je v debiane) je jasne vidno, ze unarny '-' operator sa vyhodnoti uplne ako posledny. ze ked je v expression na zaciatku unarny minus, najskor sa vyhodnoti samotna expression ako keby tam ten minus nebol, a az potom sa cely vysledok zneguje, co samozrejme nie je s kostolnym poriadkom, pretoze unarne minus ma vyssiu prioritu ako binarne plus/minus (dokonca ma prioritu vyssiu ako nasobenie/delenie, ale tam to v skutocnosti nevadi, je totiz jedno ci minusom znegujeme iba prvy operand nasobenia alebo az cely vysledok... dokaz ponechavam na domacu ulohu citatela ;])

a to samozrejme plati nie len pre samotny vyraz, ale aj pre kazdy jeho uzatvorkovany podvyraz, vid napr.:

vo vysledku mame zjavne zaporne cislo (0xFD78), ale podla matematiky by vysledok mal byt kladny, pretoze vysledok zatvorky je kladny (kedze 567 je viac ako 123) a teda spocitanim cisla 42 a ineho kladneho cisla (mensieho ako 1000, aby som vylucil pretecenie) by mal zostat vysledok kladny.

nuz a tak som ucinil pokus o napravu. v prilohe je patch, ktory by mal tento problem unarneho minus osetrit (ale netvrdim, ze nie je viac podobnych situacii, kde to treba riesit, mozno aj s unarnym logickym NOT?)

po aplikovani patchu dostavam:
co znie ovela doveryhodnejsie ;]

pred tym, ako s patchom budem otravovat developera pasma, bolo by dobre (kedze tu mame takyto celkom narocny projekt, ktory tak masivne preveruje vlastnosti kompilera), aby [_dworkin] prilozeny patch experimentalne overil a nejaku dobu aktivne testoval (ci sa patchom nerozbili ine aritmeticke vyrazy a podobne..).

v prilohe je aj patch subor, ktory nesuvisi s touto temou. a sice, v pripade prekladania s parametrom "-8" (na detegovanie instrukcii, ktore i8080 nepozna) dostavame nespravny warning ohladom instrukcie "out (nn),a", ktoru i8080 samozrejme pozna (ako "OUT <NN>"). to sice nema vplyv na vygenerovany bin subor, ale zbytocne to kazi output ;]

ub

p.s.: kedze .txt prilohy stale nie su povolene (!!!) (a asi rovnako aj .patch a .diff, ktore som teraz uz radsej ani neskusal, je to proste opruz zakazdym skusat milion roznych pripon a nakoniec zistit, ze aj tak treba zipovat...), som nuteny dat prilohu na externy server. a to samozrejme implikuje, ze dana priloha bude pristupna len urcitu dobu... takze:

https://sindik.at/~ub880d/tmp/pasmo_una ... _fix.patch
https://sindik.at/~ub880d/tmp/pasmo_out ... _fix.patch