Nie jesteś zalogowany. Proszę się zalogować lub zarejestrować.
Zmarł twórca języka BASIC Zmarł Thomas E. Kurtz twórca języka BASIC
Zmiana serwera atari.area Serwis przeszedł właśnie ważną aktualizację infrastruktury
4th Atari ASCII Compo - wyniki Dostępne są już wyniki tegorocznego ATASCII Compo.
thing neo 1.60 Olivier Landemarre wydał nową wersję desktopu Thing.
VIII. Basque Tournament of Atari 2600 Kolejna relacja, wśród otrzymywanych od naszego przyjaciela Egoitza z Kraju Basków.
atari.area forum » Programowanie - 8 bit » bugi w mads
Zaloguj się lub zarejestruj by napisać odpowiedź
Właśnie natknąłem się na błąd (tak mi się wydaje) w mads 1.8.5. Assemblacja:
cmp #kończy się generowaniem:
C9 00Poprosiłbym może o jakiś syntax error? Albo przynajmniej warning jeśli to jest usprawnienie.
Używam madsa kompilowanego fpc na ubuntu 9.04 (x86_64).
moze nie blad, ale na jakas uwage imho to zasluguje.
skad wiadomo, ze ktos nie zapomnial tam liczby wstawic?
Tak właśnie mi się zdarzyło.
to jest zamierzone, domyślnie przyjmie wartość 0 (zero)
lda # = lda #0
cmp # = cmp #0
asl = asl @
inc = inc @ (dla 65816 - opt c+)
Mads 1.9.8, kod:
opt ?+ h+ o+
blk reloc main
nop
rts
blk reloc extended
dupa1 .ds 10
dupa2 .ds 10
endgeneruje strukturę:
001: @$0000 SDX $0000 #01: $0002 RELOC MAIN
002: @$000A SDX $0002 #02: $0000 RELOC EXTENDED
003: @$0012 SDX $0002 #03: $0014 EMPTY EXTENDED
@$001A EOFW binarce wygląda to tak:
0000000: fe ff 01 00 00 00 02 00 ea 60 fe ff 02 02 02 00 .........`......
0000010: 00 00 fe ff 03 82 02 00 14 00 ..........Czy jest sposób uniknięcia pustego bloku reloc extended? Blok empty extended nie bardzo się nadaje do użycia kiedy chciałbym mieć w ciągłym bloku kilka buforów.
Natknąłem się na błędne działanie:
blk reloc main
rutynal = *+1
ldx #<rutyna
rutynah = *+1
ldy #>rutyna
rts
rutyna:
nop
rtsWystąpiło coś takiego w plemniku no i mimo, że w statycznym (blk sparta) bloku te bajty były wyliczane i aktualizowane na poprawny adres rutyny, to coś się w kodzie psuło (w tym przypadku nie chciało działać z biblioteką ENV.SYS, ale nie wiem czemu).
Jeśli dobrze zrozumiałem drac030, to winne były fixupy dla rutyna.
Ponieważ dochodzenie co się stało (nie widać błędów w listingu programu -l, a kod pod emulcem często wygląda poprawnie), to może dałoby się spowodować, żeby konstrukcja #<. #> i #^ nigdy nie generowała fixupa? Albo przynajmniej niech rzuca błędem, że tak nie można...
Ja wcale nie jestem pewien, czy to była ta przyczyna, bo pod disasemblerem wszystko wyglądało zdrowo. W każdym razie mads nie powinien akceptować składni w rodzaju <etykieta i >etykieta (włączając w to #<etykieta i #>etykieta), jeśli "etykieta" jest adresem zdefiniowanym wewnątrz blk reloc albo blk empty.
I przyłączam się do sugestii mono, że .ds następujące od razu po blk reloc nie powinno generować podwójnych nagłówków, tylko wytworzyć pusty blok o odpowiedniej wielkości (i z zadanym w blk reloc atrybutem).
W programach relokowalnych dla SDX potrzeba czasem znać indeks bloku (w pliku), w którym znajduje się obiekt (procedura, dane).
Czy w związku z tym można by mieć możliwość np. nazywania bloków za pomocą etykiety:
kod1: blk reloc main
...
kod2: blk reloc extended
...dzięki temu mógłbym sobie adresować tablicę EXTENDED+3 w taki sposób:
lda EXTENDED+3+kod1
jsr JEXT_ON
...
jsr JEXT_OFF
lda EXTENDED+3+kod2
jsr JEXT_ON
...
jsr JEXT_OFFco gwarantowało by mi dostęp do odpowiedniego bloku pamięci.
Problematyczne jest też wykorzystanie blk empty, ponieważ rzadko zachodzi potrzeba rezerwacji pojedynczego bufora, jako osobnego bloku pamięci (tym bardziej, że loader ogranicza ilość bloków relokowalnych), a bardzo często pojedynczy blok empty dzielony jest na kilka różnych buforów lub zmiennych. Czy można by dodać taką konstrukcję:
blk empty main/extended/$xx
dane1: .ds 20
dane2: .ds 30
adres: .ds 2która generowałaby odpowiedni blok empty (pojedynczy). W połączeniu z nazywaniem bloków blk pozwalałoby to na ładny dostęp do pamięci w programach dla SDX.
Edit: Oczywiście nie upieram się przy etykiecie - może to być nazwa bloku deklarowana np:
blk empty main/extended/$xx nazwa
blk reloc main/extended/$xx nazwaczy jak by tam było wygodnie.
użycie w relokowalnym kodzie składni
ldx #<cos
ldy #>coszostanie zinterpretowane jako tryb absolutny # z wartością młodszy/starszy jednak ta wartość nie będzie relokowana
dopiero kod
ldx <cos
ldy >coszostanie zinterpretowany jako młodszy/starszy bajt adresy i będzie relokowany
proszę pamiętać że mads, xasm są dziećmi QA, nie rozumiem tej chęci pisania znaku dodatkowego, zapomnieliście QA
zostanie zinterpretowane jako tryb absolutny #
WTF?
a takie tam, natychmiastowy #
p.s.
Fox opisz jeszcze interlace Rybagsa, będzie kolejny artek, może w końcu wypuścisz je z szuflady
a takie tam, natychmiastowy #
p.s.
Fox opisz jeszcze interlace Rybagsa, będzie kolejny artek z przykładowym kodem, może w końcu wypuścisz je z szuflady
Jeśli chcemy użyć trybów adresowania 65816, musimy o tym poinformować asembler przez 'OPT C+'.
Jakoś nie bardzo: mads mimo opt c+ nie akceptuje rozkazów w rodzaju ora ($01,s).
To całkiem zrozumiałem zważywszy, że najbliższy tryb adresowania do tego co chcesz osiągnąć to ora ($01,s),y :)
Racja, zapomniałem :) NVM, zatem.
Nie nie... MVN służy do czegoś zupełnie innego :cool: ;)
ktoś Tu pije na stanowisku pracy ;)
mads 1.9.9 build 7 (28 Jan 14)
nie wnikajac w szczegoly mads nielegalnie kompiluje np. NPO $ffff ( TOP - 3-bajtowy nop) jako BPL *
Sam widzisz, że ten nielegalny rozkaz czasem zawiesza procesor. ;)
wczesniejsza wersja mads dobrze kompilowala. teraz to nawet strach postawic podwojnego nopa bo wychodzi PHP ;-)
Program:
blk reloc main
start nop
rts
blk reloc $42
ext nop
rts
.ds $0200Generuje coś takiego:
1 FE FF 01 00 blk reloc main
2
3 0000,0002> EA start nop
4 0001 60 rts
5
6 0002 FE FF 02 42 blk reloc $42
7
8 0002,0002> EA ext nop
9 0003 60 rts
10
11 = 0004 .ds $0200
12
12 0004 FE FF 03 C2 04 00 + BLK EMPTYNagłówek wygenerowany przez .ds ma ustawiony bit 'page align' ($C2 = %11000010), dziedziczy go po ostatniej dyrektywie blk reloc. Bug polega na tym, że nie ma (chyba?) sposobu na uniknięcie tego dziedziczenia, tzn. jeśli chcę, żeby blok binarny był wyrównany do granicy stron, a późniejszy .ds nie, nie mogę tego zrobić[1].
[1] oprócz stosowania średniowiecznej metody liczenia offsetów na palcach od dyrektywy blk empty, co w przypadku skomplikowanych programów, mających dziesiątki pól .ds, po prostu nie wchodzi w rachubę.
Dorzucam błąd
mads kompiluje bez błędów poniższy kod:
org ekr
dta b(0)
ini ekr
ekr equ *Wygenerowana binarka to:
00000000 ff ff e4 02 e4 02 00 e2 02 e3 02 e4 02 |.............|
0000000dWydaje mi sie ze w przypadku takiej referencji powinien byc zglaszany blad (org powinien byc znany w pierwszym przebiegu, ewentualnie w drugim jesli nie zalezy od labelki do ktorej sie odnosi) Tymczasem mads wesolo przyjmuje ze ekr to 02e4 - czyli jako adres asemblacji przyjmuje adrez z makra ini (2e2)+PC
Wylazlo to przy testach mojego asma :) (w ramach pracy 'pseudonaukowej' implementuję "Compiler Design" ;)
Mads w wersji nanjowszej
ini adr
to w rzeczywistosci
org $02e2
.word adr
czyli... wszystko gra.
Zaloguj się lub zarejestruj by napisać odpowiedź
atari.area forum » Programowanie - 8 bit » bugi w mads
Wygenerowano w 0.033 sekund, wykonano 48 zapytań