OldComp.cz

Podarilo se mi spustit z http://rosettacode.org/wiki/Category:Forth nejake programky. Quicksort a Insersort. Pouzil jsem na prevod z klasicke forth syntaxe na M4 FORTH syntaxi sileny bash skriptik https://github.com/DW0RKiN/M4_FORTH/blob/master/Testing/forth2m4.sh (proc nevyuzit neco co trochu znam, je to teda napsany prasacky, ale staci, ze to usetri praci, je to jen mezikrok). Trosku se to jeste musi rucne poladit. Ale da se to. Pokud nepouziva autor neustale nestandartni rozsireni forthu, kde pak nevim co to ma delat a jsem v koncich.

Musel jsem pridat slova pro praci s presunem dat. Kvuli razeni jsem pridal i me nestandartni rozsireni RANDOM, aby to tridilo pokazde neco jineho. Celkem zabava ze tenhle hoby projekt neustale narazi na dalsi zajimave temata. Funkce vytvarejici pseudonahodne cisla. Zkopiroval jsem dva algoritmy a udelal dva seedy a vysledek xoruji. Snad jsem nic nepokazil, protoze jsem to netestoval.

Pridal jsem minimalni podporu pro vstup dat. Slova KEY (getchar) a ACCEPT (cte retezec a zobrazuje ho).

Pridal jsem minimalni podporu pro grafiku. Umi to nakreslit pixel. Ale otvira to prostor na vyuziti dalsich veci co jsem delal. Kresleni car, kruznic, atd.

Spousta drobnych vylepseni. Jako zmena pro rutinu co vypisuje cislo. Ukazalo se ze je rychlejsi to vypsat po znacich nez pres ukladani do retezce a jeho nasledne vypsani. To byla taky celkem zabava. Potreboval jsem aby cislo nevypisovalo pocatecni nuly.

Netusim kdy me to prestane bavit. Mel bych pridat cisla s plovouci desetinou carkou, kdyz uz mam na to udelanou knihovnu. Asi jen obalim volani aby byly vstupy vzdy na HL popripade (HL,DE) a nemazalo me DE a HL (stack). A dopsani cteni a zapisu techto cisel. Jen se k tomu nejak nemuzu dostat. Je toho nejak moc...

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

Zapomnel jsem dodat jeste jednu oblast. Logicke porovnani sestnacti bitovych cisel. Se znamenkem a bez.

=
<>
<
<=
>
>=

Se to nezda, ale pokud tam je znamenko, tak je to docela tezke napsat efektivne. Zalezi i kdy vam na vystup staci jen nejaky stav, nebo potrebujete mit vystup 0 nebo -1. A zda musite vstup zachovat. Takove = je celkem zaludne. Udelat to na jeden skok? Na dva?

0 a -1:
https://github.com/DW0RKiN/M4_FORTH/blob/master/M4/logic.m4

Jen pro skok:
https://github.com/DW0RKiN/M4_FORTH/blob/master/M4/if.m4
https://github.com/DW0RKiN/M4_FORTH/blob/master/M4/loop.m4
Tohle je znamenkove porovnani s pouzitim jedineho skoku. Vysledek se xoruje s xorem znamenek na vstupu.

PS: Nemohl jsem si vybavit jak se jmenuje soucany americky prezident. Vzpomnel jsem si jen na Baraka Obamu, ale jak se jmenuje ten soucasny se zlutou parukou ne. Nakonec jsem si vzpomnel Donald Trump, ale fakt mam pocit ze tohle neni normalni.

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

U smycek jsem sjednotil slova UNLOOP a LEAVE.
LEAVE (c break) vlastne i pridal co jsem pochopil ze to dela neco jineho nez EXIT (c return).

Nezalezi uz zda je ta smycka delana pres DO LOOP nebo optimalizovana pres XDO XLOOP kde stop je napevno v kodu XLOOP a na zasobniku navratovych adres je jen index, nebo je to smycka SDO SLOOP, ktera ma vse na datovem zasobniku. Proste jak zavolate DO, XDO, SDO tak to vygeneruje definici pro UNLOOP a LEAVE a ulozi ji na M4 zasobnik, tak aby nahore bylo vzdy ta spravny UNLOOP a LEAVE pro aktualni smycku.

Tohle by slo udelat i pro indexy I J K. Ale uz by to bylo slozitejsi. Muselo by se dopocitavat a zjistovat zda to je na zasobniku a nebo RAS. Aby to bylo dokonale tak bych musel upravit aji funkce. Takze by slo automaticky zjistit tohle:
DO CALL(neco) LOOP

COLON(neco)
I DOT
SEMICOLON

Kde funkce neco taky prida data do RAS. Ale prislo me to slozity a lepsi si zatim hrat jinde... .)

PS: Jeste jsem chtel neco napsat, ale vypadlo mi to...

PSS: Ok, tak asi ohledne toho bash scriptu co pomoci sedu prevadi do loop na DO LOOP. A taky 14 10 do loop na xdo(14,10) xloop. Atd. silenym zpusobem, kdy zameni vsechny male "o" za "_____0_____" a velke "O" za "_____00_____". Pak prevede zpet jen " DO " a " LOOP " a prevod na XD_____00_____(14,10) XL_____00__________00_____P udela pouze pokud pred DO jsou dve cisla. A mezi DO a LOOP neni zadne "O". Tohle dokaze vyresit vzdy uplne nejvnitrnejsi smycku. Takze az uz neni co menit, protoze pred DO nejsou dve cisla, tak nejvnitrnejsi DO LOOP zameni na D_____00_____ L_____00__________00_____P a pokusi se zase prevest 14 10 DO LOOP na XD_____00_____(14,10) L_____00__________00_____P. Atd.

Nakonec se vrati male a velke "o". Silenstvi.
Ale nejak jsem jeste zapomnel menit I J na XI a XJ, jak jsem psal vysse tak je to jeste slozitejsi. Mam pocit ze jsem mel pouzit awk.

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

Jo uz jsem si vzpomnel! Nove nestandartni slovo BREAK. Je to vyskoceni z nepocitanych smycekKtere jsem prevedl na
Kde flag WHILE je vlastne "flag not IF BREAK THEN". REPEAT je to same co AGAIN. Pouhy skok na zacatek. A flag UNTIL skok na zacatek kdyz NEsplni podminku.

Nema to zadna data na zasobniku. WHILE vzdy skace na konec aktualni smycky.
Proc to pisu? Na rosettacode nekdo zapisuje pomoci gforth? syntaxe a ma smycky s vice WHILE a za kazdy WHILE navic prida za REPEAT THEN. Podle online forthu a pokusu o debugovani quicksortu by se to melo chovat stejne jako to mam ja. Jen s tim rozdilem ze pokud neco strci mezi REPEAT a THEN tak se to vykona pokud selze prvni WHILE. To by melo jit ale napsat alternativne i s dvema vnorenymi smyckami.

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

;# log10(2^n) = y
;# 10^y = 2^n

;# log10(2^n)=n*log10(2)
;# 10^(n*log10(2)) = 2^n

;# m*2^n = m*10^(n*log10(2)) = m*10^(int+mod) = m * 10^int * 10^mod = m * 10^mod * Eint = 1 .. 1.9 10^mod * Eint = 1.0 .. 19.99 Eint

Jde na ZX Spectru v assembleru vytvorit cislo v plovouci carce a nasledne zavolat ROM rutinu na jeho vypsani? Prijde me to ted jako snazsi reseni nez pouzit ten postup co jsem napsal vyse na prevod cisla ve formatu "zlomkova_cast1 * 2^n1" na format "zlomkova_cast2 * 10^n2".

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

0..9999
0..65535
Takze asi potrebuji jen jak ulozit floating point cislo na stack. I kdyz mozna staci kdyz ulozim cokoliv a pak zjistim kde stack lezi a prepisi to cislo na to co chci? hmm...

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

Pro tisk float čísla z vrcholu stacku kalkulátoru je funkce 2DE3h. Číslo se dá do stacku uložit např. jako integer z BC přes 2D2Bh. Na konec zásobníku čísel ukazuje proměnná STKEND 5C65h. Formát čísla: 1 bajt exponent s biasem 81h (0=číslo je integer nebo 0), 4 bajty mantisa (od vyšších bajtů) se znaménovým bitem nahrazujícím skrytý bit 1. Např. číslo 0.5 je: 80h 00h 00h 00h 00h. Číslo 1 je ve float tvaru 81h 00h 00h 00h 00h, v integer tvaru 00h 00h 01h 00h 00h (exponent = 0, 2 bajty mantisy jsou jako integer číslo).

Ve Spectru by bylo zajímavé pro Forth interpreter využít interní macro jazyk, který má k Forth jazyku velmi blízko. Interpretace se spouští přes RST 28h, za kterým následují makro tokeny, s čísly se pracuje přes stack. Lze použít i skoky, podmínky, smyčky. Tabulka tokenů je na adrese 32D7h.

Číslo Forthu by mohlo mít tvar 2 bajty integer číslo mantisa, k tomu 1 bajt dekadický exponent (zadané jako FLOAT(mant,exp)). Při uložení do stacku by se uložila mantisa 2 bajty a ta by se pak opakovaně vynásobila/vydělila 10x podle exponentu. To by se dalo zajistit makro interpreterem.

_________________
i++ (INC) increment
i-- (DEC) decrement
i@@ (EXC) excrement

Diky! Koukam ze ty cisla co si uvedl v hexadecimalnim formatu sedi s temi hodnotami co mam v dekadickem formatu. Problem mam s tim, ze ja prevadim cislo v plovouci carce ve formatu "Danagy" na cislo v plovouci carce ve formatu ZX, ktere si pekne popsal. Takze neukladam integer pres call 0x2D2B. Konverzi si doresim sam, ta by mela byt snadna protoze prevadim z nizsi presnosti na vyssi. Ale idealne by to chtelo neco co jsem zahledl na netu u Boriel BasicuFLOAT value arrives in A ED CB. Tzn. ze mam hodnoty v registru. Ale nikde jsem nenasel hodnotu pro __FPSTACK_PUSH. Mozna je to jejich rutina a ne ROM rutina.

No ale pomoci STKEND 5C65h jsem schopen to uz sesmolit primo v pameti.



Ja ale delam compiler a ne interpret. Napsat C compiler, je nad moje schopnosti, ale ten Forth je snadny. Takze se ani nesnazim, aby ten program byl nejkratsi, protoze tomu se neda u Forthu konkurovat, ale spis aby byl rychly. Tech zpusobu jak udelat Forth je nekolik jak je ukazano v tom odkazu od Kubika. Je to tam pro vice platforem, nejen Z80. Od ruznych "call xx call xy call xz" nebo jen "xx xy xz". A slo by to i tokenizovat na "x y z", ze by slova mely jen jeden bajt. A pokud jich vytvorime moc tak nektere 2 bajty. V nejake textovce u ktere nejde o rychlost by to melo hodne zkratit kod. Vic jak ten "assembler".

I ty cisla v plovouci carce jsou delany na rychlost a ne presnost. Jsou jen sestnactibitova. S EEE EEEE MMMM MMMM. Za to extremne rychla. A pouzivaji datovy stack protoze maji stejnou velikost jako integer.

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

Samozrejme:

call #2AB6 ; Ulozenie floating point cisla v na vrchol zasobnika kalkulacky
call #2DE3 ; Vypis vrcholu zasobnika kalkukacky

Na vstupe sa ocakava floating point cislo v standartnom spektrackom 5-bajtovom formate, v tychto registroch:
A ... exponent
E ... najvyssi bajt mantisy (bit 7 = znamienko)
D ... dalsi bajt mantisy
C ... dalsi bajt mantisy
B ... najnizsi bajt mantisy

Super, usetrili jste me asi nekolik dni trapeni. Muzu se rovnou pustit do konverze.

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

Vychazi me ze ZX Spectrum ma bias 0x81 a ne 0x7F. Je to mozne? Mluvim ted o hodnote co je ulozena v exponentu.

Takze kdyz je tam 0x80 tak vysledek je mantisa * 2^(0x80-Bias) = mantisa * 2^(-1)
A pokud mantisa ma same nuly. Plus nejvyssi bit ktery se neuklada je 1. Tak vysledek je 0.5. Protoze (1 + mantisa) * 2^-1 = 1 * 0.5 = 0.5.

PS: Chtel jsem se zeptat. Pokud vytisknu pomoci "call 0x2DE3" cislo na zasobniku. Tak tam zustane a nebo se odstrani? Pokud zustane, co se vola na odstraneni?

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

Zalezi ako vnimas mantisu. Obecne sa to berie ako zlomkova cast cisla, takze normalizovana mantisa (s jednotkovym najvyssim bitom, namiesto ktoreho sa uklada znamienko) predstavuje hodnoty 0.5 az 0.9999.. V tomto ponimani bias mame na 0x80 a tym padom tychto 5 bajtov 80 00 00 00 00 predstavuje floating point cislo 0.5.
Odstrani. Vsetky operacie, ktore potrebuju nejake hodnoty zo zasobniku, ich zaroven aj zo zasobniku odstrania. Takze aj #2DE3.

PS1: Ak by si niekedy potreboval zo zasobniku odstranit jednu hodnotu z vrcholu, tak to je RST #28 : DB #02 : DB #38
PS2: Urcite to vies, tak len cisto pre istotu pripominam, vypis prebieha cez RST #10, takze cez aktualne otvoreny kanal. Horna cast obrazovky je LD A,2 : CALL #1601.

Tohle je zajimava informace, protoze jsem si temer jisty ze podle normy IEEE754 je neukladany bit jednickovy a ne polovicni.
https://www.root.cz/clanky/norma-ieee-754-a-pribuzni-formaty-plovouci-radove-tecky/
V tom odkazu je i ze ZX Spectrum ma bias #80. Ale kdyz ma mantisu mezi 0.5..0.999 a ne 1..1.999 tak se trochu michaji jabka s hruskama. Jak se umisti bias a jeste podle toho zda maji specialni hodnoty to ma vliv na operaci 1/n. Protoze to muze pretect a 2x po sobe 1/n nevrati pak n.



Tohle jsem uz presunul do pocatecniho INITu. Predtim jsem to mel pred kazdym tiskem... Jinak tohle jsou veci ktere jsem uspesne zapomnel, jak jsem se kdysi pokousel tisknout v basicu na spodni 2 radky obrazovky atd.

Po pravde si nejsem jisty co presne musim uchovat pro navrt do basicu. Urcite HL', ale to DE' je asi zbytecne. A pokud bych to volal pres PRINT USR adresa, tak to asi vypise BC?

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

Jinak jsem uz udelal uplne nejzakladnejsi podporu pro cisla v plovouci carce.
Jde to dost ztuha, narazil jsem na nejake necekane problemy. Uz jen formatovani kodu a prevod na mala pisma, aby to nerozbalilo AND na funkci je pracne. Pak jsem nemel prevody cisel se znamenkem a musel je dopsat.

Dale me doslo ze je skoda, ze mam tabulky na nasobeni cisel v plovouci carce, ktere nemuzu pouzit pro nasobeni integeru, protoze jsem je uplne optimalizoval na kazdy takt a nasobit integery jsem v 3D demu nepotreboval. Pokud by to bylo vyuzitelne i pro nasobeni integeru tak by to bylo o neco pomalejsi, ale tady by to tak nevadilo... To asi necham plavat, je to moc prace. Mohl bych primo prevzit kod od Daniela A. Nagyho, protoze to tak ma udelane. Ale ma tam chybu v zaokrouhlovani. Ten vzorec je proste slozitejsi.

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

Jedničkový bit znamená nejvyšší bit mantisy. Číslo 0.5 se vyjádří jako 1 * 2^(-1 + BIAS). BIAS je zde 0x81 (v ISO normě se používá bias 0x7F). BIAS se udává jako exponent pro číslo 1.000. Mantisa znamená číslo 1 až 1.9999. Mantisa pro 0.5 by měla tvar 0x80 0x00 0x00 0x00. Nejvyšší bit "1" se skryje a nahradí se znaménkem tj. bit 0. Výsledek pak je exponent 0x80 (tj. bias 0x81 - 1), mantisa se skrytým bitem "1" a nahrazeným znaménkovým bitem 0x00 0x00 0x00 0x00. Mantisa jako zlomková část bez skryté "1" je číslo 0.000 až 0.999, k němu se přičítá skrytá "1" a tím pak má mantisa hodnotu 1.000 až 1.999.

_________________
i++ (INC) increment
i-- (DEC) decrement
i@@ (EXC) excrement