NO924114L - Grensesnitt for aa representere effekter i en flerspraaks optimaliserende kompilator - Google Patents

Abstract

En kompilatorsammenstilling benytter et felles (skall) eller styre- og sekvensmekanisme og en felles bakre del (der kodegeneratoren er målbestemt). Den felles bakre del innbefatter funksjoner som optimalisering, register- og minnetildeling, og kodefrembringelse. Skallet kan utføres på forskjel- lige vertsdatamaskLner og kodefrembringelsesfunksjonen ved den bakre del kan være målrettet for en hvilken som helst av et antall datamaskin- arkitekturer. En front er spesielt tilpasset for hvert forskjellig kilde- språk, så som Cobol, Fortran, Pascal, C, C++, Ada, etc. Fronten avsøker og spalter kildekodemodulene og frembringer på grunnlag av disse, en mel- lomspråk ("IL") representasjon for de programmer som er uttrykt i kildekoden. Dette EL er konstruert for å representere et hvert av kildespråkene på en universell måte, slik at grensesnittet mellom fronten og den bakre del er av et standard format og ikke behøver skrives om for hver språkbestemt front. EL representasjonen som frembringes av fronten er basert på en nippel som den elementære enhet, der hver tuppel representere en enkel operasjon som skal ut- føres så som en lasting, en lagring, en tilføyelse, en etikettering, en av- grening etc. En datastruktur skapes av fronten for hver tuppel med felter for forskjellig nødvendig informasjon. Et trekk ved oppfinnelsen er en mekanisme for å representere virkningene og avhengighetene i grensesnittet mellom front og bakre del; en tuppel har en effekt hvis den skriver til minnet og har en avhengighet hvis den leser fra et lagersted som et eller annet knutepunkt kan skrive til. En mekanisme som er uavhengig av kilde- språket er anordnet for å beskrive effektene av programmets utførelse. Et annet trekk er ved optimaliseringsdelen i kompilatoren å bruke en frem- gangsmåte til analysering av induksjonsvariable, der forbedringen er å bruke bieffektsett som er anvendt til å konstruere EDEF sett. Et annet trekk er en mekanisme for "foldekonstanter" (betegnet som K-folding eller en KFOLD rutine), som er innbefattet som en av optimaliseringene. Et yt- terligere trekk er typedefinisjonsmekanismen som er betegnet som TD modulen og som danner mekanismer benyttet ved fronten og kompilatorens bakre del ved konstruksjonen av programtypeinformasjon som skal innbefattes i en objekt- modul til bruk for en lenker eller feilsøker. Et annet trekk er en frem- gangsmåte til utførelse av kodefrembringelse ved bruk av kodesymbolmaler på en flerløps måte.