Ende einer Sprungtabelle ermitteln

Uwe schrieb:

> Beim SRAM ist dies ja folgendermaßen möglich:
>
>         .equ maxadress = $0070
>         ...
>   LDI   temp2,low (maxAdress)
>   LDI   temp3,high(maxAdress)
>   CP    temp2,XL
>   CPC   temp3,XH
>   BRCC  ENDE
>         ...
>
> Gibt es eine Lösung für den Programmspeicher? D.h. kann ich irgendwie
> das Ende der Tabelle definieren?

Du kannst natürlich an das Ende der Tabelle ein Label setzen und dann 
mit der Adresse des Labels operieren.

...

MeinTab:
    RJMP Routine1
    RJMP Routine2
    RJMP Routine2
MeinTabEnde:


In Anlehung an dein SRAM Beispiel dann eben

   LDI   temp2,low (MeinTabEnde)
   LDI   temp3,high(MeinTabEnde)
   CP    temp2,XL
   CPC   temp3,XH
   BRCC  ENDE


Sieh dir doch mal in der Hilfe zum AVR-Assembler gleich im ersten 
Kapitel 'User's Guide' den Abschnitt 'Expressions' an. Da kann man so 
einiges vom Assembler berechnen lassen.

Uwe schrieb:
> Hallo Karl Heinz!
>
> Danke!! Werd ich gleich mal ausprobieren!
> Ist es sicher dass der Assembler das nächste Label(MeinTabEnde)
> grundsätzlich in die direkt folgende Speicheradresse schreibt?

Ich denke du meinst das richtige, auch wenn du dich schlecht ausdrückst. 
Denn bei einem Label wird gar nichts 'geschrieben'. Ein Label ist 
einfach nur ein symbolischer Name für eine bestimmte Speicheradresse. 
Eben die, an der der nächste Befehl im Speicher zu liegen kommt.

Und ja. Der Assmbler baut da KEINE Lücken ein. Im Beispiel:

MeinTab:
    RJMP Routine1
    RJMP Routine2
    RJMP Routine2
MeinTabEnde:
    NOP

bezeichnet MeinTabEnde die nächste Speicheradresse unmittelbar nach dem 
letzten RJMP, also die Adresse im Speicher, an der der Befehl NOP liegt.
Der Assembler legt alle Befehle immer hintereinander in den Speicher. Er 
darf da nicht nach Gutdünken irgendwelche Lücken lassen.

(Aufpassen auf den Unterschied zwischen Byteadressierung und 
Wortadressierung. Aber den Unterschied kennst du ja ohnehin, weil du ihn 
ja beim Aufbau der Sprungtabelle auch berücksichtigen musstest. Ein 
Label ist eine Wortadresse. Demzufolge ergibt dann auch der Ausdruck
    MeinTabEnde - MeinTab
die Anzahl der Einträge in deiner Sprungtabelle. Denn ein kompletter 
RJMP ist ja 2 Bytes - 1 Wort - groß.

1

    ldi r16, MeinTabEnde - MeinTab

2

3

....

4

5

MeinTab:

6

    RJMP Routine1

7

    RJMP Routine2

8

    RJMP Routine2

9

MeinTabEnde:

R16 wird mit dem Wert 3 geladen, weil die Tabelle aus 3 RJMP besteht.
Du hättest genausogut

1

    ldi r16, 3

schreiben können. De facto ist das sogar dasselbe, nur eine andere 
Schreibweise. Nur brauch ich dir sicherlich nicht erzählen, warum die 
Variante 'der Assembler soll das ausrechnen' besser ist als 'ich als 
Programmierer zähle die RJMP'. Denn anderst du die 'Tabelle' ab auf

1

MeinTab:

2

    RJMP Routine1

3

    RJMP Routine2

4

    RJMP Routine2

5

    RJMP Routine2

6

    RJMP Routine2

7

MeinTabEnde:

dann wird r16 mit dem Wert 5 geladen, ohne dass du am LDI was ändern 
musst. Der Assembler rechnet dir aus der Differenz der beiden Adressen 
aus, wieviele Worte (und damit wieviele RJMP) dazwischen liegen.

Lass den Assembler für dich arbeiten!

@Uwe,

was ich nicht verstehe - warum schreibst du Sprungbefehle in die 
Sprungtabelle? So wie du es jetzt hast, springst du mit ijmp in die 
Tabelle und dort gehts weiter zum eigentlichen Ziel.

Mach es so, das in der Tabelle nur die Zieladressen stehen, denn mit 
deinen jrmp in der Tabelle wirst du auf Dauer auch nicht weit kommen.

Bsp:

1

MeinTab:   .dw  Routine1,Routine2,Routine2,0

2

3

4

Nav:

5

        ldi   zl,low(MeineTab*2)

6

        ldi   zh,high(MeineTab*2)

7

8

  ;zum nächsten Element

9

        adiw  Z,2

10

11

  ;Element holen

12

        lpm   xl,Z+

13

        lpm   xh,Z+       ;Sprungziel laden

14

        mov   r16,xl

15

        or    r16,xh      ;Ziel 0x0000? -> ENDE

16

        breq  tab_Overflow

17

  ;Element aufrufen

18

        movw  z,x

19

        ijmp

das Ende in dieser Form an die Tabelle anzuhängen, bringt natürlich nur 
was, wenn mann die Elemente nacheinander abruft. Es nützt nichts, wenn 
du 3 Sprungziele hast und versuchst das Ziel 5 abzurufen.

Sascha

Hallo,

sind die Routinen auch mit ret abgeschlossen?
Wird zwischen "TabDurchlaufen" und icall noch was anderes gemacht was 
dir Z verändert?
Wird Z innerhalb der Routinen verändert?

Es währe es sowieso besser am Ende von "TabDurchlaufen" kein ret, 
sondern ein ijmp zu setzen, das ret aus der Routine führt dann direkt 
zurück zu Main.

Sascha

Uwe schrieb:
> Hi,
>
> das Z Register wird durch die Routinen definitiv nicht verändert. Hab
> testweise den kompletten Code aus den Routinen gelöscht um
> sicherzugehen.
>
> Ich hab es auch mal mit ijmp versucht. Gleiches Resultat. Sobald ich
> ijmp oder icall aufrufe, wird das Ende der Tabelle nicht erkannt.

Und was ergibt ein Single Step durch den Code?

Im Simulator vom AVR-Studio hast du doch eine Anzeige aller Register und 
wie sie sich von Schritt zu Schritt verändern. Geh halt mal den Teil in 
Einzelschritten durch (F11) und sieh dir an, was die Register machen, 
was am Stack liegt etc. etc.

> Uwe schrieb:
>> Hi,
>> Ich hab es auch mal mit ijmp versucht. Gleiches Resultat.
na was denn nun - sind die Routinen die du aufrufst mit ret 
abgeschlossen oder nicht!? Wenn ja hat ijmp ja keinen Sinn, wenn nein 
was passiert dann am Ende der Routinen.
Was willst du überhaupt mit dem Program und diesem Aufbau bezwecken?

Sascha

Uwe schrieb:
> Im Moment hab ich folgendes Problem (ich hab den Code abgeändert bzw.
> stark vereinfacht um das Problem besser beschreiben zu können):

vielleicht solltest du doch wieder etwas mehr Code zeigen um das Problem 
besser lösen zu können.

Sascha

Uwe schrieb:
> Mir ist in der AVR Studio Simulation aufgefallen, dass die Carry Flag
> nicht gesetzt wird, auch wenn die Registerpaare temp2,temp3 und ZL,ZH
> die gleichen Werte haben.
was anderes ist auch nicht zu erwarten:
Gleichheit der Werte erzeugt nun mal keinen Übertrag, der entsteht erst, 
wenn der zweite Operand größer als der erste ist (bei cp, sub, ...).


Sascha