Sproget Six. Til brug i rapportopgaven på kurset Oversættere. Vinter Abstract

Transkript

1 Sproget Six Til brug i rapportopgaven på kurset Oversættere Vinter 2006 Abstract Six er baseret på det sprog, der vises i figur 6.2 og 6.4 i Basics of Compiler Design. Den herværende tekst beskriver basissproget Six. Der udleveres en typechecker og oversætter for dette sprog. Rapportopgaven går ud på at modificere disse til at behandle udvidelser af Six sproget. 1 Syntaks Syntaksen for Six er vist i figur 1. Grammatikken er tvetydig, så der suppleres med de nedenfor viste præcedensregler. Plusoperatoren + er venstreassociativ. Fortegnsoperatoren - binder stærkere end +. Semikolon er højreassociativ og binder svagere end then, else, do og until. else binder til nærmeste then (se afsnit 3.5 i Basics of Compiler Design). Parenteser og krølleklammer bruges omkring henholdsvis udtryk og sætninger. 1.1 Leksikalske detaljer Navne (id) starter med et bogstav og kan indeholde bogstaver eller cifre. Kun engelske bogstaver (a z) er tilladt. Der kendes forskel på små og store bogstaver. Navne må ikke være identiske med nøgleord (som er vist i skrivemaskineskrift i figur 1), men må godt indeholde disse. F.eks. er ifald og bread tilladte navne. Talkonstanter (num) er ikke-tomme følger af cifrene 0-9. Talkonstanter er begrænset til tal, der kan repræsenteres som 16-bit tokomplement heltal. Kommentarer starter med symbolet # og slutter ved næste linie- eller sideskift. 1

2 Prog Funs Funs Fun Funs Fun Funs Fun TypeId ( TypeIds ) Stat TypeId int id TypeId void id TypeIds TypeIds TypeIds1 TypeIds1 TypeId TypeIds1 TypeId, TypeIds1 Exp num Exp id Exp - Exp Exp Exp + Exp Exp id ( Exps ) Exp read Exp ( Exp ) Exps Exps Exps1 Exps1 Exp Exps1 Exp, Exps1 Stat Stat ; Stat Stat id := Exp Stat if Cond then Stat Stat if Cond then Stat else Stat Stat while Cond do Stat Stat repeat Stat until Cond Stat id ( Exps ) Stat write Exp Stat { Stat } Cond Exp = Exp Figure 1: Syntaks for Six 2

3 2 Semantik Hvor intet andet er angivet, er semantikken for de forskellige konstruktioner i sproget identisk med semantikken for tilsvarende konstruktioner i Pascal og lignende sprog. Kørsel af et program vil kalde den første funktion, som skal være uden argumenter og af returtype void. Funktioner kan alle kalde hinanden gensidigt rekursivt. Variabler og funktioner har separate navnerum, så der kan være variabler med samme navn som funktioner. Se endvidere beskrivelsen af funktionserklæringer herunder. Six arbejder med følgende typer: int er typen af 32-bit tokomplement heltal. void angiver, at der ikke er nogen værdi. void kan ikke bruges som argumenttype til funktioner, kun som returtype. Sætninger beregner ikke nogen værdi, men kan siges at have typen void. Oversigt over operatorer: + adderer heltal. - er foranstillet (unært) minus for heltal. = afgør om argumenterne er ens. Argumenterne skal være heltal. Operander til mellemstillede operatorer beregnes fra venstre til højre. Andre konstruktioner: Funktions-erklæringer består af en angivelse af functionens type og navn, parameterenes typer og navne efterfulgt af en krop (en Stat), der bliver beregnet ved et kald til funktionen. Hvis funktionen har returtype int, er returværdien givet ved værdien på returtidspunktet af en lokal variabel med samme navn som funktionen. Denne variabel oprettes automatisk. Hvis variablen ikke tildeles en værdi inden retur, er returværdien udefineret. En funktion med returtype int må ikke have en parameter med samme navn som funtionen selv, da denne i givet fald vil blive overskygget af den lokale variabel. Generelt må der ikke være to eller flere parametre med samme navn til en funktion, og der må ikke være to eller flere funktioner med samme navn i et program. En funktion kan kalde alle erklærede funktioner, inklusive sig selv. if e 0 then s 1 else s 2 beregner betingelsen e 0. Hvis e 0 er sand, beregnes s 1, ellers beregnes s 2. if e 0 then s beregner betingelsen e 0. Hvis e 0 er sand, beregnes s, ellers ingenting. 3

4 Funktionskald skrives som et funktionsnavn med argumenterne anført i parentes og adskilt af kommaer. De aktuelle parametre i kaldet skal have samme type som de erklærede formelle parametre til funktionen (i basissproget kan dette kun være int). Parametrene beregnes fra venstre mod højre inden kaldet foretages. Funktionskald, der er udtryk (Exp), kan kun kalde funktioner med returtype int, mens funktionskald, der er sætninger (Stat), kun kan kalde funktioner med returtype void. x := e beregner e og definerer x til at have denne værdi. Variablen x skal være erklæret på forhånd (som parameter eller som returvariable i funktioner). read indlæser et heltal, som bliver værdien af read-udtrykket. write e udskriver det heltal, som det angivne udtryk beregner. 3 Abstrakt syntaks og oversætter Filen Six.sml angiver datastrukturer for den abstrakte syntaks for programmer i Six. Hele programmet har type Six.Prog. Filen SC.sml indeholder et program, der kan indlæse, typechecke og oversætte et Six program. Det kaldes ved at angive filnavnet for programmet (uden extension) på kommandolinien, f.eks. SC fib. Extension for Six-programmer er.six, f.eks. fib.six. Når Six-programmet er indlæst og typechecket, skrives den oversatte kode ud på en fil med samme navn som programmet men med extension.as. Kommandoen SC fib vil altså tage en kildetekst fra filen fib.six og skrive kode ud i filen fib.as. Den symbolske oversatte kode kan konverteres til binær kode med MASM. Kommandoen masm fib.as vil producere binær kode i filen fib.hex. Denne kan køres med MIPS-emulatoren mips, f.eks. mips fib.hex 0. mips læser inddata til programmet fra standard input og skriver uddata til standard output. Typecheckeren er implementeret i filerne Type.sig og Type.sml. Oversætteren er implementeret i filerne Compiler.sig og Compiler.sml. NB! Oversætteren overfører alle parametre i registre, så antallet af parametre til en funktion er begrænset af det antal registre, der er afsat til parameteroverførsel (sat til 10 i Compiler.sml). Rapportopgaven går blandt andet ud på bruge stakken til at overføre yderligere parametre. Hele oversætteren kan genoversættes (inklusive generering af lexer og parser) ved at skrive source compile på kommandolinien (mens man er i et katalog med alle de relevante filer, inclusive compile). Eksempelprogrammer Der er givet en række eksempelprogrammer skrevet i Six: 4

5 even.six indlæser et tal og skriver 0 eller 1 ud afhængig af om tallet er lige eller ulige. even2.six Som even.six, men det gøres med en løkke. fib.six indlæser et tal n og udskriver det n te Fibonaccital fib2.six Som fib.six, men det gøres med en løkke. recmain.six Kalder hovedfunktionen rekursivt. De ovennævnte programmer har eksempler på inddata i filer med extension.in, f.eks. fib.in. De tilsvarende uddata findes i filer med extension.out, f.eks. fib.out. 3.1 Programmer med typefejl Der er endvidere givet et antal nummererede testprogrammer (error00.six,..., error12.six), der indeholder diverse typefejl. For hvert program giver typecheckeren en relevant fejlmeddelelse og angivelse af omtrentlig position i programmet. 5