Maskinnära programmering i C och assembler

More documents

Recommendations

Info

Arbetsbok för MC12 Variabeln intvec är en vektor bestående av 10 komponenter, var och en av typen int. Följaktligen tilldelas variabeln _intvec 10*2 = 20 bytes minnesutrymme. Variabeln komplex är en sammansatt typ struct, dvs en datatyp som är komponerad av flera grundläggande typer. Här beräknar kompilatorn det sammanlagda minnesbehovet för variabeln och genererar därefter ett direktiv som åstadkommer detta. _komplex består av en variabel s1 av typen int, en variabel s2 av typen char och en variabel s3 av typen: pekare till char. Vi ser att minnesbehovet bestämts till 5 bytes och kan enkelt kolla detta: En datatyp int kräver 2 bytes, en datatyp char kräver 1 byte, en pekartyp (ovidkommande vad den pekar på) kräver 2 bytes. Det totala behovet är alltså 5 bytes. UPPGIFT 126: Översätt följande variabeldeklarationer, givna i programspråket C, till assemblerdirektiv. int a; short int b; long int c; char d; Kontrollera din lösning genom att skapa en källtextfil i C och kompilera denna till en assemblerfil. SLUT PÅ UPPGIFT 126. UPPGIFT 127: Översätt följande variabeldeklarationer, givna i programspråket C, till assemblerdirektiv. char cvec[128]; int ivec[128]; short sivec[128]; Kontrollera din lösning genom att skapa en källtextfil i C och kompilera denna till en assemblerfil. SLUT PÅ UPPGIFT 127. UPPGIFT 128: Översätt följande variabeldeklarationer, givna i programspråket C, till assemblerdirektiv. struct mystructtype{ int previd; char *name; int id; short number; int nextid; }; struct mystructtype char * char_pointer; mystruct; Kontrollera din lösning genom att skapa en källtextfil i C och kompilera denna till en assemblerfil. SLUT PÅ UPPGIFT 128. 94 Synlighet (Scope) En global variabel är ”synlig” dvs kan refereras från alla delar av programmet oavsett i vilken källtextfil programdelen definierats. För att kompilatorn, vid kompileringstillfället ska veta att en refererad symbol är deklarerad i en annan modul måste man ange detta med en externdeklaration. EXEMPEL extern int foo; main() { ... foo =1; ... } Extern-deklarationer i C ger normalt inte upphov till speciella deklarationer i assemblerfilen. I stället assembleras filen under antagandet att alla ickedefinierade symboler är externa. Det är först vid länkningen man upptäcker om något variabelnamn (symbol) inte är deklarerat. Om man vill ange att en variabel ska vara osynlig utanför den källtext den deklarerats i använder man lagringsklassen static. Variabeln är då åtkomlig från alla funktioner i källtexten men dess namn kommer inte att skickas vidare till länkaren. Detta innebär exempelvis att samma variabelnamn kan förekomma i olika källtexter (staticdeklarerade) utan att interferera med varandra. Static-deklarerade variablers namn ersätts under kompileringen med internt genererade symbolnamn som är unika inom källtextfilen UPPGIFT 129: Kompilera följande deklarationer till assembler och studera assemblerfilen. Vilken skillnad upptäcker du? int a; static int b; SLUT PÅ UPPGIFT 129.
Unsigned och Signed I C förekommer de reserverade orden unsigned respektive signed i samband med datatyper. De föregår alltid typdeklarationen och om de utelämnas så förutsätts alltid att signed avses. Låt oss se exempel på vad detta innebär för kodgenereringen av ett C-program. UPPGIFT 130: Betrakta följande C-program int j,k; main() { if( k < 100 ) j = 1; else j = 2; } Kompilera programmet till assemblerkod och identifiera kodutläggningen för if-satsen. Vilken villkorlig branch-instruktion används? Ändra nu datatypen till unsigned int och kompilera på nytt till assembler, vilken villkorlig branch-instruktion används denna gång. SLUT PÅ UPPGIFT 130. Typkonverteringar Typkonverteringar är en viktig del i kompilatorns arbete att översätta C-kod till assemblerkod. I programspråket definieras så kallade implicita typkoverteringar, dvs regler för hur kompilatorn ska bete sig vid operationer på variabler av olika typer. Man kan sätta implicit typkonvertering ur spel genom att ange vilken typ UPPGIFT 131: Kompilera följande program till assembler och studera assemblerfilen. long int la; short int sa,sb; void main() { Implicit typkonvertering. Bestäms av att resultatets sa= la; (sa) typ är short int. } sa=(short int) la; Explicit typkonvertering, dvs angiven i källtexten Arbetsbok för MC12 Upptäcker du någon skillnad mellan tilldelningssatserna? Ändra nu kompilatorns varningsnivå genom att ta bort flaggan "-w2" (Project | Settings, C-Compiler, Options) – kompilera på nytt. Vilka varningsmeddelanden får du? SLUT PÅ UPPGIFT 131. UPPGIFT 132: Kompilera följande program till assembler. unsigned int la; unsigned short int sb,sc; void main() { la = (sb
Page 1 and 2: Arbetsbok för MC12 Avsnitt 5 Maski
Page 3 and 4: • 'Base Name' - applikationens na
Page 5 and 6: Välj därefter enheten 'Console' f
Page 7 and 8: Prova funktionen genom att lägga t
Page 9 and 10: Options - här anges de flaggor som
Page 11 and 12: Stand Alone Applikation I detta mom
Page 13 and 14: XCC12 Kodgenerering Under detta mom
Page 15: Globala variabler, minnesallokering
Page 19 and 20: UPPGIFT 133: Antag att en funktion
Page 21 and 22: UPPGIFT 138: Översätt följande f
Page 23 and 24: _ML4_DipSwitch: * Rutinen ska retur
Page 25 and 26: * */ ML4DRVR.C Drivrutiner för ML4
Page 27 and 28: Projektinställningar för 'mllibte

Maskinnära programmering i C och assembler

Create successful ePaper yourself

Delete template?

Save as template?