Bascom Inline-Assembler

Druckbare Version

40 Beiträge dieses Themas auf einer Seite anzeigen

22.12.2011, 09:21
MagicWSmoke

Zitat:

Zitat von PicNick

Bascom ist nicht der allergrösste Optimierer.

Trifft hier zumindest was den Speicherverbrauch betrifft nicht zu.

Zitat:

Wenn die Zielvariable ("Empf") ein Word ist, verwendet Bascom eigentlich generell die
LD XL, lbyte ( ..)
LD XH, hbyte( ..)
sequenz, auch wenn das im Einzelfall gar nicht notwendig wäre

Vom Flashverbrauch her macht's keinen Unterschied, es sind nur mehr Zyklen, ich denke wir sprechen hier über Speicherverbrauch.

Code:

LDS Rxx, {Word_Var_Adr_LB} <-- 4 Bytes, 1 Zyklus LDS Ryy, {Word_Var_Adr_HB} <-- 4 Bytes, 1 Zyklus ' 8 Bytes, 2 Zyklen

Code:

LDI XL, lbyte(Word_Var_Adr_LB) <-- 2 Bytes, 1 Zyklus LDI XH, hbyte(Word_Var_Adr_LB) <-- 2 Bytes, 1 Zyklus LD Rxx, X+ <-- 2 Bytes, 2 Zyklen LD Ryy, X <-- 2 Bytes, 1 Zyklus ' 8 Bytes, 5 Zyklen

Ansonsten wär's interessant, woraus das von Chris gezeigte Assemblerlisting erzeugt wurde, meine Version 2.0.7.3 baut aus:

Code:

Dim A As Byte , B As Byte B = A

das hier:

Code:

9: B = A LDS R24,0x0060 9: B = A STS 0x0061,R24

Egal ob mit oder ohne eingeschaltete Optimierung, und das ist einwandfrei so.
22.12.2011, 10:17
PicNick

Bei Byte = BYte ist es so, wie du sagst

aaaber
Beispiel :

Code:

Dim A As Byte Dim B As Byte Dim C As Word B = 165 A = B C = B End

Was wird draus:

Code:

B = 165 LDI r24,0xA5 STS 0x0061,r24 'ok, besser geht's nicht A = B LDS r24,0x0061 STS 0x0060,r24 'ok, ebenfalls das entspricht deinem Beispiel aber jetzt WORD = BYTE ------------------- C = B LDI XL,0x61 LDI XH,0x00 LD r24,X jetzt lädt er "B" nicht mehr mit LDS, sondern über X LDI XL,0x62 ' das Word-speichern ist wohl ok, wenn man nicht erbsen zählt LDI XH,0x00 ST X+,r24 CLR r24 ST X,r24 -------- er hätte schreiben können STS 0x0062,r24 CLR r24 STS 0x0063,r24
22.12.2011, 10:33
MagicWSmoke

Zitat:

Zitat von PicNick

Code:

LDI XL,0x61 LDI XH,0x00 LD r24,X jetzt lädt er "B" nicht mehr mit LDS, sondern über X

Ja, ist jetzt nicht direkt logisch, da dazu keine Notwendigkeit besteht.
22.12.2011, 10:48
PicNick

Ich kann ja nur vermuten. Bascom macht ja ein implizites "Casting" auf die Zielvariable (word), d.h. er wählt zum Registerladen die "X" -Methode.
dann hätt man aber erwarten können

Code:

LDI XL,0x61 LDI XH,0x00 LD r24,X CLR R25

' ab nun wäre "B" ein gecastetes WORD (R24/R25), und Bascom müsste sich nicht mehr drum kümmern.
Das geschieht aber auch wieder nicht. Er muss jedesmal doch wieder dran denken, dass "B" eigentlich nur ein Byte ist

Nun, was soll's
22.12.2011, 11:01
MagicWSmoke

Zitat:

Zitat von PicNick

Nun, was soll's

Hab's Mark geschrieben, mal sehen was draus wird.
23.12.2011, 12:37
Che Guevara

Hallo,

erstmal danke für die Erklärungen. Ich habe jetzt mal alles, was ich als nicht relevant empfinde, auskommentiert und wollte euch fragen, obs so passt oder ob man noch was optimieren kann? V.a. gehts um möglichst wenige Taktzyklen.

Code:

Isr_int0: push r16 'sichere r16 Push r10 'Push r11 Push r24 Push r26 'Push r27 lds r16 , {channel} 'lade channel in r16 cpi r16 , 6 'vergleiche r16 mit 6 brlo _lower 'springe, wenn kleiner rjmp _out_of_range 'sonst springe nach _out_of_range _lower: '_lower Label cpi r16 , 1 'vergleiche r16 mit 1 brge _higher 'springe, wenn größer gleich rjmp _out_of_range 'sonst springe nach _out_of_range _higher: '_higher Label '###################################################################################################################################### '###################################################################################################################################### 'Ldi R26 , 0x46 'Ldi R27 , 0x00 Ld R24 , X 'Ldi R26 , 0x3f 'Ldi R27 , 0x03 Ld R10 , X+ 'Clr R11 Ldi R26 , 0x15 'Ldi R27 , 0x03 Lsl R10 'Rol R11 Add R26 , R10 'Adc R27 , R11 St X + , R24 Clr R24 St X , R24 '###################################################################################################################################### '###################################################################################################################################### _out_of_range: '_out_of_range Label ldi r16 , 6 'lade 6 in r16 !out tcnt0 , r16 'schreibe r16 in timer0 lds r16 , {channel} 'lade Channel in r16 inc r16 'erhöhe Channel um 1 sts {channel} , r16 'lade r16 in Channel 'Pop r27 Pop r26 Pop r24 'Pop r11 Pop r10 pop r16 'stelle r16 wieder her Return

Vielleicht fällt euch ja noch was auf, anderfalls wäre es nett, wenn ihr mir ein OK gebt.

Btw: Bascom Version ist 1.11.9.5 ;)

Vielen Dank & Gruß
Chris
23.12.2011, 12:57
PicNick

Wäre besser, du stelltst dein ganzes Programm da rein. Man kann sonst die Variablen-Adressen nicht verifizieren. Ausserdem, wenn du Zyklen sparen willst, gibt's da ein paar Vorschläge.
23.12.2011, 13:28
Che Guevara

Das ganze Programm ist der Quadrocopter Quellcode von Willa. Leider kann ich ihn nicht hier reinstellen, weil er zu lang ist.

Zitat:

gibt's da ein paar Vorschläge.

Wo ist den da? Hier im Thread?

Gruß
Chris
23.12.2011, 13:59
PicNick

:mrgreen: "DA" ist momentan in meinem Hirn :mrgreen:
Geht darum, dass die 1:1 Übertragung von BASCOM ---> Assembler natürlich nicht das Gelbe vom kolumbus ist.

Nun, wenigstens die (relevanten) Variablen definitionen würd' ma schon noch gerne sehen.
Oder sind das genau die vom 1.Post ?

Und worum geht's eigentlich ? Durchschnitt von 6 Messungen ?
23.12.2011, 14:47
Che Guevara

Definitionen sind (glaube ich) die vom ersten Post:

Code:

Dim Empf(5) As Word Dim Channel As Byte

Hm, das ist mir durchaus klar, aber ich kann nicht den ganzen Code nach ASM übersetzen; Trotzdem möchte ich die ISR "etwas" verschnellern. Momentan (also reines Bascom) sinds 162 Takte, das ist zulange.
Worum gehts?
Mit dieser ISR wird das Summensignal des Empfängers eingelesen (und näturlich mithilfe des Timer0). Es gibt 5 relevante Kanäle, die die Software benötigt. Durchschnittsberechnungen sind keine vorhanden. Hier nochmal der orignale Code:

Code:

Getreceiver: 'falling edge detection If Channel > 0 And Channel < 6 Then 'fill empf(1-5) Empf(channel) = Timer0 End If Timer0 = 6 'preload for 4.096 ms Incr Channel 'if no falling edge was detected for a longer period, channel will increase above 11 Return

(wie gesagt von Willa)
Diesen möchte ich auf ASM umschreiben. Habs auch schon mal so gemacht:

Code:

Isr_int0: push r16 'sichere r16 lds r16 , {channel} 'lade channel in r16 cpi r16 , 6 'vergleiche r16 mit 6 brlo _lower 'springe, wenn kleiner rjmp _out_of_range 'sonst springe nach _out_of_range _lower: '_lower Label cpi r16 , 1 'vergleiche r16 mit 1 brge _higher 'springe, wenn größer gleich rjmp _out_of_range 'sonst springe nach _out_of_range _higher: '_higher Label '###################################################################################################################################### '###################################################################################################################################### Empf(channel) = Timer0 '###################################################################################################################################### '###################################################################################################################################### _out_of_range: '_out_of_range Label ldi r16 , 6 'lade 6 in r16 !out tcnt0 , r16 'schreibe r16 in timer0 lds r16 , {channel} 'lade Channel in r16 inc r16 'erhöhe Channel um 1 sts {channel} , r16 'lade r16 in Channel pop r16 'stelle r16 wieder her Return

Das waren glaube ich 43 Takte, was auch schon deutlich besser ist. (Als Nosave INT) Aber da geht doch noch mehr, oder nicht?

Gruß
Chris

EDIT:
Bei dem letzten Code habe ich vergessen, die Register, die Bascom für die Anweisung "Empf(channel) = Timer0" braucht, zu sichern. Das sind R10, R11, R24, R26, R27.
Das macht dann nochmal 5(Register) * 2(Push&Pop) * 2(Takte pro Befehl) = 20 Takte mehr.

40 Beiträge dieses Themas auf einer Seite anzeigen