Transcrição

1 PGL-Umalinguagemparao FabioA.G.Lubacheski ensinodealgoritmos WalterAoiamaNagai MarceloSilvaCintra

2 PGL-Umalinguagemparaoensinodealgoritmos edefendidopelossrs.fabioa.g.lubacheski,marcelosilvacintraewalteraoiama Nagai. projetodegraduac~aodevidamentecorrigido Esteexemplarcorrespondearedac~aonaldo CampoGrande,9defevereirode1998. Prof.RonaldoAlvesFerreira Orientador Projetodegraduac~aoapresentadoaoDepartamentodeComputac~aoeEstatstica, obtenc~aodottulodebacharelemci^encia dacomputac~ao. UFMS,comorequisitoparcialparaa

3 Resumo cialmente.essaslinguagensest~aobaseadas,normalmente,nalnguainglesa.paraum duc~aodasoluc~aodeumproblemaparaaslinguagensdeprogramac~aoexistentescomer- UmagrandebarreiraenfrentadapelosiniciantesnaCi^enciadaComputac~aoeatra- poisassoluc~oesestudadasemsaladeaulas~aoexpressasdeformaalgoritmicaenalngua portuguesa.umdosobjetivosdesteprojetoediminuiressabarreiraatravesdadenic~ao inicianten~aoadapatadoaessalngua,issosetornaumproblemaadicionalasersuperado, deumanovalinguagemdeprogramac~aobaseadainteiramentenalnguaportuguesa.esta decompiladores,concentrando-seprincipalmentenotopicodeotimizac~aodecodigo,nas novalinguagemfoidenominadapgl(portugollanguage). estruturasdedadosenosprincipaisalgoritmosutilizadosnaconstruc~aodeumcompilador AlemdedeniralinguagemPGL,estetrabalhoapresentaumarevis~aodateoria parapgl.

4 iv

5 Conteudo 2ALinguagemPGL 1Introduc~ao 1 2.3Rotinas Vis~aoGeraldaLinguagem Tipos Express~oes Variaveis,Par^ametrosFormais,ConstanteseRotulos Comandos Otimizac~ao 3.2AnaliseSintatica AnaliseLexica Gerac~aodeCodigoIntermediario CodigodeTr^esEnderecos AnaliseSem^antica BlocosBasicos Representac~aodeBlocosBasicossobaformadeGrafosDirecionadosAcclicos GrafodeFluxo TecnicasdeOtimizac~ao Otimizac~aoPeephole Ordenac~aoHeursticadoGDA Eliminac~aodeSubexpress~oesComuns...32 v

6 4Implementac~ao CONTEUDO 37 vi AnaliseSintatica AnaliseLexica...38 FasedeAnalise EstruturasdeDados TabeladeSmbolos AnaliseSem^antica BlocosBasicos CodigodeTr^esEnderecos DescritordeTipos OtimizadordeCodigo GeradordeCodigo GrafoDirigidoAcclico AnalisedeVariaveisVivas DescritoresdeRegistradoreseEnderecos GeradordeCodigoSimples Conclus~ao 4.4.4Afunc~aoobterreg PropostasparaTrabalhosFuturos ResultadosObtidos BOperadoresdaLinguagemPGL AGramaticadaLinguagemPGL CPalavrasReservadasdaLinguagemPGL 67

7 ListadeFiguras 2.2Exemplodedeclarac~aodeprocedimentoefunc~ao Exemplodeumprocedimentoeduasfunc~oes Exemplodeimplementac~aodetiposnalinguagemPGL Exemplodeprocedimentoefunc~oesencaixadas Exemplodedeclarac~aoderotulos,variaveiseconstantes Exemplodarepresentac~aodeumcodigodetr^esenderecos Blocobasico Exemplodesentencasdetr^esenderecos ExemplodeumprogramafonteemPGL GrafodeFluxo GrafoDirecionadoAcclico Codigodetr^esenderecosdasexpress~oes Trechodeumprogramaexemplo Umaarvoresintaticacomum Grafodeuxoalteradocomaotimizac~ao Fluxodecontroledagura Fluxodecontroledagura Eliminac~aodesubexpress~oescomuns GDAaposaplicac~aodoalgoritmoheurstico AlgoritmoheursticoparaGDA Func~aodedispers~aohashpjw EstruturadedadosdaTabeladeSmbolos Tabeladedispers~aoaberta EstruturadedadosdoDescritordeTipos...44 vii

8 LISTADEFIGURAS 4.5EstruturadedadosdoCodigodeTr^esEnderecos...44 viii 4.8Programasoma EstruturadedadosdoBlocoBasico Codigodetr^esenderecosdoprogramasoma EstruturadedadosdoGrafoDirecionadoAcclico AlgoritmodeAnalisedeVariaveisVivas ExemplodeUsosdeVariaveisemPGL...52

9 Captulo1 Introduc~ao descritademaneiraclara,precisaesemambiguidades.oquesebuscaeumasequ^encia putador.paraqueumproblemasejaresolvidocomputacionalmente,suasoluc~aodeveser OobjetivobasicodaCi^enciadaComputac~aoeasoluc~aodeproblemasatravesdocom- nitadepassosquequandoseguidoslevaasoluc~aodoproblema.esseeoconceitode algoritmoseconstituiabasedacomputac~ao. formanatural.utilizarumalinguagemalgortmicaeaformamaiscomumeeciente trato,eparaescrev^e-loeprecisoummeiopararepresentaressepensamentoabstratode Paradesenvolverumalgoritmoenecessarioumcertograuderaciocniologicoeabs- pensamentohumano. modo,umalinguagemdeveexpressardeformanaturaloraciocniologicoecriativodo dedescreverasideias,poisoatodeescrevereaunicamaneiradeformaliza-las.desse barreiradecomunicac~aoentreohomemeamaquina.oscomputadoresoperam,em geral,numnvelmuitoat^omico,manipulandodgitosbinarios,registradores,posic~oesde Oadventodoscomputadorestornouevidente,desdemuitocedo,aexist^enciadeuma memoriaetc.,enquantopessoaspreferemexpressar-seusandolnguasnaturais,auxiliadas, quandonecessario,peloempregodenotac~aomatematica.desdemuitocedotentou-se superaressabarreiracomaintroduc~aodelinguagensdeprogramac~ao. cutadostendoemvistaasoluc~aodeproblemas.existeumadiversidadedelinguagens deprogramac~ao,cadaumacomsuascaractersticaspropriasedestinadasasoluc~aode Atravesdelinguagensdeprogramac~ao,osalgoritmospodemserimplementadoseexe- problemasespeccos.amaioriadessaslinguagenspossuemseuscomandosemingl^es, taiscomocepascal.muitoslivrosdeensinodealgoritmosutilizamumalinguaguemde- 1

10 nominadaportugolparaaespecicac~aodealgoritmos,comoporexemplo[5].aprincipal Captulo1.Introduc~ao 2 caractersticadalinguagemportugolequeseuscomandoss~aoemportugu^es. paraoensinodealgoritmosemumcursointrodutoriodeci^enciadacomputac~ao.esta novalinguagem,denominadapgl(portugollanguage),estatotalmentebaseadana Umdosobjetivosdesteprojetoedenirumanovalinguaguemdeprogramac~aovoltada cal,demodoqueousuariodequalquerumadessaslinguagenspodefacilmentetraduzir lnguaportuguesa,ouseja,possuitodosseuscomandosemportugu^es. seuprogramapglparaessaslinguagensevice-versa.dessamaneira,oprogramador ALinguagemPGLpossuicaractersticasdeoutraslinguagens,taiscomoCePas- poderapensarlivrementenassoluc~oesdeproblemasepoderaimplementa-lasfacilmente nocomputador. eaquelequeaplicatransformac~oesdemelhoriadecodigodeformaaseobterumcodigo truc~aodeumcompiladorotimizador1paraestalinguagem.umcompiladorotimizador Alemdaespecicac~aodalinguaguemPGL,esteprojetotemcomoobjetivoacons- quesejaexecutadomaisrapidamente,queocupemenosespacoouosdois.essastrans- queocodigoobtidosejaotimo[1]. formac~oess~aotradicionalmentechamadasdeotimizac~oes,apesardotermon~aoserapropri- ado,porquesomenteemalgumassituac~oesespeccaspode-segarantirmatematicamente selec~aodetransformac~oesdemelhoriadecodigo[1]: Aconstruc~aodeumcompiladorotimizadorbaseia-seemtr^escriteriosbasicosparaa 1.umatransformac~aodevepreservarosignicadodosprogramas,istoe,umaotimizac~aon~aopodemodicarasadaproduzidaporumprograma; 2.umatransformac~aoprecisa,namedia,\acelerar"osprogramasporumfatormensuravel; 3.umatransformac~aoprecisavaleroesforco.N~aofazsentidoumcompiladorgastartempoadicionaldecompilac~aocomosprogramas-fonteseesseesforcon~aofor Duranteodesenvolvimentodesteprojeto,tecnicasdeotimizac~aodecodigoser~aoestudadas,bemcomoasestruturasdedadosnecessariasparaquetaistecnicaspossamser recompensadoquandooprogramaforexecutado. implementadas. 1OptimizingCompiler

11 Captulo1.Introduc~ao Esteprojetoestaorganizadodamaneiraaseguir.Ocaptulo2descreveasprincipaiscaractersticasdalinguagemPGLcomo,porexemplo,tipos,comandos,rotinaseas 3 funcionalidadesdeidenticadores(variaveis,constanteserotulos).ocaptulo3fazuma breverevis~aodateoriadecompiladores,concentrando-seprincipalmenteemalgoritmos PGL.Ocaptulo5apresentaasconclus~oesepossveisextens~oesparaestetrabalho. estruturasdedadosutilizadasealgunsdetalhesdeimplementac~aodocompiladorpara eestruturasdedadosnecessariosparaaotimizac~aodecodigo.ocaptulo4descreveas

12 Captulo1.Introduc~ao 4

13 Captulo2 ALinguagemPGL NestecaptuloseraapresentadaalinguagemPGL,mostrandocaractersticasqueadetersticasdeformagenerica.Asec~ao2.2forneceinformac~oessobreostiposbasicosexistenteseapossibilidadedesecriartiposestruturados.Asec~ao2.3detalhafunc~oese maneira:asec~ao2.1apresentaumavis~aogeraldalinguagem,mostrandosuascarac- nemcomoumalinguagemdeprogramac~ao.ocaptuloestaorganizadodaseguinte procedimentos,tiposdepar^ametrospossveis,tiposderetornoeotratamentodeescopo dasvariaveislocais.asec~ao2.4detalhaoscomandosexistentesnalinguagem,taiscomo: existenteseosoperadoresdasexpress~oes. constantes,rotulosedospar^ametrosformais.asec~ao2.6descreveostiposdeexpress~oes comandosrepetitivos,condicionaiseoutros.asec~ao2.5tratadadeclarac~aodevariaveis, AlinguagemPGLofereceumconjuntodetiposbasicos,comoporexemplo,inteiro, 2.1 Vis~aoGeraldaLinguagem booleano,caracter,realefrase.alemdisso,oprogramadorpglpodeconstruirnovos tiposestruturadosemaiscomplexosapartirdessestipos. possvelmodica-laduranteoprograma.osdemaistipos:booleano,caracterereals~ao comumtamanhomaximode255caracteres.umafraseesempreconstante,n~aosendo Umafraseeumasequ^enciadecaracteres(dgitoseletras)contidaentreumparde'"', equivalentesaostiposboolean,charerealdalinguagempascal. racteres(dgitoeletra),comecandocomumaletra,n~aohavendodistinc~aoentreletras Umidenticadorereconhecidopelalinguagemcomosendoumasequ^enciadeca- 5

14 maiusculaseminusculas.umidenticadorpoderepresentarrotulos,variaveis,rotinas, Captulo2.ALinguagemPGL 6 constantesoupalavrasreservadas. execuc~aodoprogramaealterado,seguindoparaaprimeirainstruc~aoaposorotulo.um dedesvio,desdequeorotulojatenhasidodeclarado.aoreferenciarumrotulo,ouxode Adenic~aoderotulospossibilitaaoprogramadorarefer^enciapormeiodeumcomando comandoqualquerpodeserprecedidoporumrotuloseguidodosmbolo':'(doispontos). aassociac~aodeumidenticadoraumvalorquepodeserumnumerointeiro,real,caracter poderaseralteradoaolongodoprograma.afacilidadequeasconstantesproporcioname Adenic~aodeconstantesconsisteematribuirumvaloraumidenticador,quen~ao oufrase,tornando-osin^onimodovalorassociado. mentos,eseguemopadr~aodalinguagempascal,sendoassim,func~oespodemtervalor deretorno,enquantoqueumprocedimenton~aopodeter.alemdisso,asec~ao2.3discute AlinguagemPGLpermiteacriac~aoderotinas,quepodemserfunc~oesouprocedi- caractersticasdasrotinas,formasderetornoetratamentodasvariaveislocais,bemcomo, otratamentoparaospar^ametrosdasrotinas.rotinaspodemserdeclaradasdentrode rotinacomonalinguagempascal. 2.2 Umtipodeneoconjuntodevaloresqueumavariavelpodeassumireasoperac~oese Tipos avariavelocupaecomoefeitasuarepresentac~aonamemoriadocomputador[8]. tipo.otipodavariavelpermiteaocompiladordeterminaraquantidadedememoriaque relac~oesqueatuamsobreestesvalores.todavariaveldeveestarassociadaaumunico deumproblemaespecco.alinguagempglpossuicincotiposbasicos:booleano,inteiro, caracter,frase,real.umtipobasicoeumtipocomcaractersticasjadenidaspelo Adenic~aoecriac~aodetiposs~aoutilizadaspeloprogramadorcomoauxlionasoluc~ao compilador.epermitidoaoprogramadoraredenic~aodetiposbasicoseacriac~aode novostiposdenominadostiposestruturados. podemserutilizadoscomoconstantesaolongodeumprograma,aumentandoacompreens~aodomesmo.issoemostradoclaramentenalinha(3)nagura2.1. porumasequ^enciadeidenticadoresconstantesemordemcrescente.estesidenticadores Umexemplodedenic~aodetipopodeserumaenumerac~ao,queeumtipoconstrudo Umaoutraformadoprogramadordenirumtipoeutilizarosexistentes,denindo

15 novosvaloresqueser~aoaceitospelonovotipo.otipointervalodeneosvaloresmaximo Captulo2.ALinguagemPGL 7 gura2.1temosumexemplodeumtipointervalo. emnimoqueelepoderaaceitar.osvaloresmaximoemnimos~aoidenticadoresconstantes,umnumerointeiroouumcaracter,sempredemesmotipo.nalinha(5)e(6)da enumerac~aoeintervalopodemsercombinadosdemodoaformartiposestruturadosque s~aodivididosemvetor,registroeconjunto.atravesdecombinac~oesdotipovetorpode-se Ostiposbasicosbooleano,inteiro,caracter,fraseerealemaisostiposdenidos chegaraumtipoestruturadomatriz,queeumvetorcommaisdeumadimens~ao.os edenidonadeclarac~aodomesmo.parasefazeracessosaoselementosdovetor,usa-se elementosdeumvetordevemsertodosdomesmotipoeonumerodeelementosexo porelementosquepodemserdetiposdistintos(basicos,estruturados),comonoexemplo onomedavariavelvetorseguidodondiceentrecolchetes.jaotiporegistroeformado nalinha(8)dagura2.1.cadacomponentedeumregistroedenominadocampo.os camposdeumregistropodemserreferenciadosusando-seonomedavariaveldotipo registroseguidodeumpontoeoidenticador(campo).otipoconjunto,assimcomoo aceitandooperac~oesbasicasdeconjuntocomo(uni~ao,diferencaeintersec~ao). tipovetor,tambemconsistenumacolec~aodeelementosdeummesmotipo,adiferenca estanamanipulac~aodoselementos,poisotipoconjuntoetratadocomoumaunidade, din^amicass~aoreferenciadasindiretamenteutilizando-seooperadordeindirec~ao. seja,variaveisquepodemsercriadasoudestrudasemtempodeexecuc~ao.asvariaveis Asvariaveisassociadasaotipoponteiros~aodenominadasvariaveisdin^amicas,ou Agura2.1mostravariosexemplosdedenic~oesdetiposvalidosnalinguagemPGL. 2.3 AsrotinasdalinguagemPGLpossuemumtratamentoigualaodasoutraslinguagens Rotinas par^ametrosderotinass~aoexpress~oes,variaveiseaspropriasrotinas.umarotinapode estruturadas,possuindoprincipalmenteumaequival^enciacomalinguagempascal.os assumirasformasmostradasnagura2.2: forempassadosporrefer^enciaseusvalorespoder~aoseralteradosduranteaexecuc~aoda Estespar^ametrospodemserpassadosporvalorouporrefer^encia,Quandoospar^ametros Asequ^enciapar1,par2,...denotaospar^ametrosformaisqueumarotinapodeassumir. rotinaeasalterac~oesser~aoreetidasnasvariaveisdeorigem.

16 Captulo2.ALinguagemPGL 8 (4) (3) (1)programaexemplo (2)tiponumero Equipes =(Corinthians,Palmeiras,Santos,Sao_Paulo, =inteiro; (7) (6) (5) Rodadas Cariocas=Botafogo..Vasco; Paulistas=Corinthians..Sao_Paulo; =1..7; Botafogo,Flamengo,Fluminense,Vasco); (8) (9) Clube =registro (12) (11) (10) fimregistro; socios=numero; titulos=numero; nome =Equipes; (13) (14) PontosGanhos=vetor[Rodadas]denumero; (17)fim. (15)inicio (16)//corpodoprograma Tabela =vetor[equipes][equipes]deequipes; Figura2.1:Exemplodeimplementac~aodetiposnalinguagemPGL. (2) (3) (4) (1) inicio procedimentoidenticador(par1,par2,...) (5) (6) m funcaoidenticador(par1,par2,...):identicador corpodoprocedimento (9) (7) (8) m inicio corpodafunc~ao Figura2.2:Exemplodedeclarac~aodeprocedimentoefunc~ao.

17 Captulo2.ALinguagemPGL Todosospar^ametrosformaisdeumarotinaetodasasvariaveisdeclaradasnelatem9 (1) umescopolocallimitadoaocorpodarotina,istoe,s~aolocaisarotina. (4) (2) (3) inicio procedimentop1(valora,b:inteiro;referenciac:inteiro) (5) (6) m funcaof1(a,b:inteiro):inteiro c<-a+b; (9) (10) (7) (8) m inicio (11) funcaof2(a,b:inteiro):inteiro F1<-a+b; (14) (13) (12) m inicio retornea+b; Umretornodefunc~aopodeassumirduasformas,aprimeiraerepresentadanalinha Figura2.3:Exemplodeumprocedimentoeduasfunc~oes. comandoretorne,comomostraalinha(13)dagura2.3.ovalorderetornodeuma (8)dagura2.3,emqueoidenticadorf1dafunc~aoarmazenaovalorquedeveraser func~aodeveserdeumtipobasicooudeumtipoapontador,n~aosendopossveloretornode retornadopelemesma.asegundaforma,menosrepresentativa,efeitautilizando-seo tiposestruturados(vetor,registro,matriz,etc).epermitidaaoprogramadoraliberdade deescolhadaformaqueserautilizadaparaoretornodevalordeumafunc~ao,poisambas Pascal[8].Oencaixamentoderotinasefeitoatravesdadeclarac~aodesubrotinasdentro possuemamesmafuncionalidade.. derotinas,comomostraagura2.4.comesseencaixamentoassubrotinaspodemutilizar Umoutrorecursodalinguagemeoencaixamentoderotinas,comonalinguagem asvariaveis,tipos,constantes,rotuloserotinasdeclaradasnasrotinasmaisexternas. Kowaltowskiem[7]apresentaumestudoextensosobreencaixamentoderotinas. ouseja,quaisvariaveispodemservistasporoutrassubrotinas.nalinha(8)dagura 2.4,oprocedimentop3temacessoatodasasvariaveisqueforamdeclaradasnoprograma Oprogramaencaixadomostraquaiss~aoosescoposdasvariaveisnosprocedimentos, principal,asqueforamdeclaradasemp1,alemdesuaspropriasvariaveis.masopro-

18 Captulo2.ALinguagemPGL 10 (1) (2) programaencaixado (5) (4) (3) declarea:inteiro; declareb:inteiro; procedimentop1 (7) (8) (6) inicio declarec:inteiro; procedimentop2 (9) (10) (11) inicio m p2; a<-a+b+c; (12) (13) (15) (16) m(14) declared:inteiro; a<-a+b; (17) inicio a<-a+d; procedimentop3 (20) (21) (18) (19) inicio m (22) mp1; p3; Figura2.4:Exemplodeprocedimentoefunc~oesencaixadas.

19 cedimentop2n~aotemacessoasvariaveisqueforemdeclaradasapartirnoprocedimento Captulo2.ALinguagemPGL 11 encaixamentomaisinterno. p3possuemummesmonveldeencaixamento.jaoprocedimentop2temumnvelde p3,poisp2sopodeseracessadoapartirdoprocedimentop1.osprocedimentosp1e 2.4 AlinguagemPGLpermitecomandossimilaresaosdasoutraslinguagensestruturadas, Comandos daseguinteforma: umaseriedesentencasseparadasporponto-vrgula.umcomandodeatribuic~aoefeito emboraapresentecaractersticasespeccasqueadiferenciam.umasentencaspgle Aformageraldeumcomandocondicionale: identicador expressao; (2) (1) (3) seexpressaoentao (4) (5)... (6) senao (7) (8) (9)... Ocomandorotuladorepresentadonalinha(2)docomandocondicionalindicaquepode mse execuc~aonormaldoprograma.aformageraldecomandorotuladoemostradaaseguir. setratardeumcomandocomrotulo,sendoutilizadosomentesefornecessariodesviara Aformageraldeumcomandodedesvioe: [identicador:]comandof[identicador:]comandog emqueidenticaorrepresentaumrotulo. Aformageraldeumcomandodedesviomultiploe: desvieparaidenticador;

20 Captulo2.ALinguagemPGL escolhaexpressaode 12 AlinguagemPGLpermitediversoscomandosderepetic~ao,quepossuem mescolha fcasog 3formasbasicas: enquantoexpressaofaca... comandorotulado menquanto repita... comandorotulado ateexpressao paraidenticadordeexpressaoateexpressao[passoexpressao]faca... comandorotulado explicados.aformadeumadeclarac~aodedesviodeiterac~aoe: Alinguagempermiteumcomandodedesviodeiterac~aodos3comandos mpara abandone; anteriormentenotopicoderotinas,estadeclarac~aoearetorne.ocomando retorneeutilizadosomenteemfunc~oesn~aosendopossvelutiliza-loemum AlinguagemPGLcontemumadeclarac~aoderetornodefunc~aojadiscutida procedimento,jaqueprocedimentosn~aopossuemvalorderetorno.

21 2.5 Captulo2.ALinguagemPGL Variaveis,Par^ametrosFormais,ConstanteseRotulos 13 Variaveis,constantes,par^ametrosformaiserotuloss~aodenotadosemPGL porsimplesidenticadores. essavariavelpassaserdenominadacomovariavellocaleereconhecidasomentenocorpodestarotina,possuindoportanto,umescopolocal.jaahecido.quandodeclaramosumavariaveldentrodeumadeterminadarotina, Escopoeolocal(ouponto)noprogramaemqueumidenticadorerecon- seuescopo(dereconhecimento)eemtodooprograma[12]. variaveisdeclaradasnoinciodoprogramas~aodenominadasvariaveisglobaise estruturado(complexo).essaassociac~aoevalidaemtodooblocoquea contem. Umadeclarac~aodevariaveisassociaumidenticadoraumtipobasicoou mesmoescopo.estaregran~aovalepararotinasencaixadas,poisummesmo identicadorpodeestaremdiferentesescopos. Ummesmoidenticadorsopodeserdeclaradoumaunicavezdentrodeum Adeclarac~aodevariaveispossuiaseguinteformageral: Aatribuic~aodevariaveispossuiaseguinteformageral: declareidenticador1,identicador2,...:tipo; Ooperadordeatribuic~aoerepresentadopelosmbolo<-.Onovovalorpara identicador expressao; avariavelqueestaaesquerdadesteoperadoreobtidoapartirdaavaliac~ao nasvaloresdetiposbasicos:inteiro,real,booleano,caracter,frase.otamanhode daexpress~aoqueestaadireita. umaconstanteeindicadopelotipoatribudoaela.umaconstantepossuium Asconstantess~aorepresentadasporidenticadoresepodemassumirape- valorxoquen~aosemodicaduranteaexecuc~aodeumprograma. Adeclarac~aodeconstantesedaseguinteforma: constanteidenticador=constante;

22 Captulo2.ALinguagemPGL Adeclarac~aoderotulospossuioseguinteformato: 14 Todorotulodeveserdeclaradoantesdeseuusonasec~aodedeclarac~ao rotulosidenticador1,identicador2,...; doblocoemqueestacontido.essadeclarac~aodisponibilizaorotuloparaa refer^enciadocomandodesviepara.qualquercomandopodeserprecedidode umrotulodenido. PGL: Segueabaixoumexemplodedeclarac~oesemumprogramanalinguagem 3constanteconst1=3; 1programaexemplo1; 2rotulo 45tipotipo1=^inteiro; l,l2,l3; 6declarevar1,var2:inteiro; 7 var3,var4:frase; const2=const1; 11fim 9inicio 10 8procedimentop1(par1,par2:inteiro); //corpodoprograma Figura2.5:Exemplodedeclarac~aoderotulos,variaveiseconstantes. Umaexpress~aoeformadadeoperandos,operadorespodendosersimplesou 2.6 Express~oes Express~oessimpless~aoformadasporvariaveis,constantesoupar^ametrosformais. complexas.asexpress~oescomplexass~aocompostasporexpress~oessimples. truturado).acadatipoeassociadoumconjuntodeoperac~oespossveissobre asinst^anciasdotipo,podendoassim,determinarosoperadoresinerentesaos Osoperandosest~aosempreassociadosaumdeterminadotipo(basicooues- operandos.osoperadoresdalinguagempgl,bemcomosuaspreced^encias,

23 s~aomostradasnosap^endicesbec.aspreced^enciasdosoperadoresest~ao Captulo2.ALinguagemPGL 15 denidasemordemcrescente. s~aoavaliadossempredaesquerdaparaadireita.parasealteraraordem dosoperadoresenvolvidos,sendoqueosoperadoresdemesmapreced^encia Aordemdeavaliac~aodeumaexpress~aoocorredeacordocomapreced^encia deavaliac~aodeumaexpress~aoeprecisoutilizarparesdepar^entesesqueespecicamosoperandosquedevemseravaliadosprimeiro,sendoquedentro preced^encia,daesquerdaparaadireita[7]. decadapardepar^entesesser~aoavaliadosprimeiroosoperadoresdemaior ouvariaveisdotiponumerico(inteirooureal)ecujosoperadorespodemser: Express~oesAritmeticas:s~aoasexpress~oescujosoperandoss~aoconstantes Podemosclassicarasexpress~oesemduascategorias: OperadoresUnarios OperadoresdeMultiplicac~ao OperadoresdeAdic~ao OperadoresdeBit Operadoresparaponteiro Umexemplodeexpress~aoaritmeticaemPGLemostradoabaixo: Express~oesLogicas:s~aoexpress~oescujosoperadoress~aologicos,ecujos -(10*5+15)>>2 operandoss~aorelac~oes,constantesouvariaveisdotipologico. atravesdeconstantes,variaveisouexpress~oesaritmeticas,estasultimaspara doisvaloresdemesmotipobasico.estesvaloress~aorepresentadosnarelac~ao Umarelac~ao,ouexpress~aorelacional,eumacomparac~aorealizadaentre relac~ao,tambems~aomostradosnoap^endiceb.oresultadoobtidodeuma ocasodevaloresnumericos. relac~aoesempreumvalorlogico. Osoperadoresrelacionais,queindicamacomparac~aoentreostermosda Umexemplodeumaexpress~aologicaemPGLemostradoabaixo:

24 Captulo2.ALinguagemPGL (2+4=6)ou(2*2+4=6) 16 avaliac~aoefeitadeacordocomapreced^enciadosoperadores. Tantonasexpress~oesaritmeticascomonasexpress~oeslogicas,aordemde

25 Captulo3 Otimizac~ao quepoderiaserproduzidoa\m~ao".oscompiladoresotimizadoresdeveriam Seriaidealseoscompiladoresproduzissemumcodigot~aobomquantoaquele fazerisso,masoquerealmentefazemeummelhoramentodocodigo,pois raramentepodesergarantidoqueocodigogeradosejaotimo. anteriormentenoprocessodecompilac~ao.porisso,serafeitainicialmente entanto,paraquesepossafazerotimizac~ao,variasetapasdevemsercumpridas Nestecaptuloser~aoestudadosalgunstopicosdeotimizac~aodecodigo.No umarevis~aodosprincipaisconceitosdateoriadecompiladoresqueservir~ao dasfasesiniciaisdeumcompilador(lexica,sintaticaesem^antica).asec~ao5 comobaseparaaleituradorestantedotexto..ocaptuloestaorganizado detalhaumadaspossveisrepresentac~oesparaocodigointermediario,ocodigo daseguinteforma:asquatroprimeirassec~oesapresentamumabreverevis~ao basicosparaaotimizac~aodecodigoeasec~ao7discutealgumastecnicasde otimizac~ao. detr^esenderecos.asec~ao6tratadaconstruc~aoedaimport^anciadeblocos 3.1 Aanaliselexicaeaprimeirafasedeumcompilador.Elaeresponsavelpela AnaliseLexica leituradoarquivofonteepeloreconhecimentodeatomos.atomosrepresentamossmbolosterminaisdagramaticadalinguagemfonte,porexemplo,identicadores,palavraschaves,operadores,constantes,smbolosdepon- 17

26 tuac~aoeoutrosmais. Captulo3.Otimizac~ao 18 lexico.nocaptulo4ser~aodiscutidosalgumascaractersticasadicionaisde analisadoreslexicosetambemalgumasmaneirasdeimplementa-los. Aoprogramaresponsavelpelaanaliselexicada-seonomedeanalisador Cadalinguagemdeprogramac~aopossuiregrasquedescrevemaestrutura 3.2 AnaliseSintatica programac~aoenormalmentedescritaatravesdegramaticaslivresdecontexto [6].Aanalisesintatica,tambemconhecidacomoanalisehierarquica,eresponsavelpeloagrupamentodeatomos,provenientesdaanaliselexica,do sintaticadosprogramas.asintaxedasconstruc~oesdeumalinguagemde fonte. analiseeumaarvoresintatica[1]comascontruc~oespermitidaspelalinguagem programafonteemfrasesgramaticais.normalmente,oprodutodafasede compiladoress~aoodescendente(top-down)eoascendente(bottom-up)[1,2,7]. Osmetodosdeanalisesintaticamaiscomumenteutilizadosnacontruc~aode 3.3 Aanalisesem^anticavericaoserrossem^anticosnoprogramafonteecapturaas AnaliseSem^antica informac~oesdetipoparaafasedegerac~aodecodigo.elautilizaaestrutura plicitamentegerada,ouent~aovericaavalidadesem^anticadoprogramafonte hierarquicageradanafasedeanalisesintatica,quandoessaestruturaeex- duranteoprocessodeanalisesintaticacomoac~oesembutidasnoanalisador sintatico,quandoaarvoresintatican~aoeconstrudaexplicitamente. mitidospelaespecicac~aodalinguagemfonte.alemdisso,eladevefazera Nelaocompiladorvericasecadaoperadorrecebeosoperandosques~aoper- Umimportantecomponentedaanalisesem^anticaeavericac~aodetipos. vendonumerosinteirosedepontoutuante,cabeaoanalisadorsem^antico, programaresponsavelpelaanalisesem^antica,fazeraconvers~aodevalores convers~aoentretiposquandonecessaria.porexemplo,emexpress~oesenvol-

27 inteirosparapontoutuanteevice-versa. Captulo3.Otimizac~ao Emumcompiladorcommaisdeumpasso[1],aposasfasesdeanaliselexica, Gerac~aodeCodigoIntermediario sintaticaesem^antica,umaformaderepresentac~aointermediariaegerada paraumamaquinaabstrata.apesardesepodertraduziroprograma-fonte pelocompilador.estarepresentac~aopodeserpensadacomoumprograma formaintermediariaindependentedemaquinas~ao: diretamenteparaalinguagemalvo,algunsdosbenefciosemseusaruma 1.apartirdarepresentac~aointermediariapode-segerarcodigoparadiferentesmaquinasalvo,bastandoapenasmudaromodulodegerac~aode 2.otimizac~oesindependentesdemaquinapodemseraplicadasarepresentac~aointermediaria. codigo; asmaisconhecidass~ao:ocodigodetr^esenderecoseaarvoresintatica.a seguirseraestudadoocodigodetr^esenderecos,quefoiarepresentac~aointermediariaescolhidaparaaimplementac~aodocompiladorparapgl. Existeumavariedadedeformasderepresentac~aointermediaria,sendoque 3.5 Arepresentac~aodeumprogramautilizandocodigodetr^esenderecosconsiste CodigodeTr^esEnderecos operandos.maisespecicamente,ocodigodetr^esenderecoseumasequ^encia emumasequ^enciadeinstruc~oes,cadaumadelaspossuindonomaximotr^es desentencasdeformageral: emquex,yezs~aovariaveis,constantesouvariaveistemporariascriadas x:=yopz pelocompilador;oprepresentaumoperadorbinario,comoporexemplo,um operadoraritmeticodepontoxooupontoutuante.

28 Captulo3.Otimizac~ao Comooprepresentaumunicooperador,n~aos~aopermitidasexpress~oes 20 tencasdetr^esenderecos: aritmeticascomplexas.porconseguinte,umaexpress~aodelinguagem-fonte comok<-x+y*zaoseranalisadaproduziraaseguintesequ^enciadesen- t1:=y*z emquet1eumavariaveltemporariageradapelocompilador.ousodetemporariosfacilitaadecomposic~aodeexpress~oescomplexasemexpress~oesmais k:=x+t1 dosenvolvidoscomooperador,dadoqueosenderecosdosoperandoss~ao simples. conhecidoseoenderecodoresultadotambemeconhecido,sendopossvel Autilizac~aodocodigodetr^esenderecosfacilitaamanipulac~aodosoperan- codigodetr^esenderecosemostradanagura3.1.estarepresentac~aoeconhecidacomoquadrupla.paramaioresdetalhessobreoutrasrepresentac~oes, fazeraoperac~aoearmazenaroresultado.umapossvelrepresentac~aodeum comoporexemplotriplas,veja[1]. Figura3.1:Exemplodarepresentac~aodeumcodigodetr^esenderecos. Operador Arg1 Arg2 Resultado binarios,eleerepresentativotambemparaoperadoresunarioseparaoutras construc~oesquealinguagemfontepossaexigir,comoporexemplo,instruc~oes Ocodigodetr^esenderecosn~aoerepresentativosomenteaoperadores hanteaumainstruc~aodemaquina,facilitando,portantoagerac~aodecodigo dedesviocondicionaleincondicional. nal. Umasentencadetr^esenderecoseumaformarepresentativabastantesemel- utilizadasemumcompilador. Aseguirs~aodescritasalgumassentencasdetr^esenderecosnormalmente 1.Atribuic~oesdaformax:=opy,sendoopumoperadorunario.

29 Captulo3.Otimizac~ao 2.Sentencasdecopia,daformax:=y,sendoqueyeatribudodiretamente 21 3.UmasentencadedesvioincondicionaldesvieparaLindicaoproximo enunciadodetr^esenderecoscomrotulolaserexecutado.esteenunciadoesemelhanteasinstruc~oesjumpoubranchdeumalinguagemde montagem. ax. 4.UmasentencadedesviocondicionalcomosexrelopydesvieparaL avaliac~aofeitapelocompiladordecidevalidaroun~aoaexecuc~aodoenunciadodesvieparal,casocontrario,aexecuc~aosegueparaaprimeira aplicaumoperadorrelacional(<,=,<=,>,>=,<>)edeacordocoma 5.Sentencasdaformaparamxecallp,ns~aoutilizadasparachamadasde instruc~aoaposoenunciadocondicional. rotinas,emqueasequ^enciadetr^esenderecospossuiaseguinteforma: paramx1 paramx2... paramxn callp,n rotinap. x2,...,xn).nasentencacallp,n,nindicaonumerodepar^ametrosda Essasinstruc~oess~aogeradascomopartedachamadadeprocedimentop(x1, resentarocodigodetr^esenderecosnocompiladorparaalinguagempgl. Nocaptulo4seraapresentadaaestruturadedadosutilizadaparaarep- 3.6 Aposarepresentac~aodeumprogramafonteemsentencasdetr^esenderecos, BlocosBasicos tem-seumarepresentac~aodasinstruc~oesdemaquinaquepodemsergeradas uxosdecontrole,eistoacontecequandos~aofeitosporsentencasdaforma apartirdeumprograma.umprogramanormalmenteapresentadesviosde

30 desvieparal.estassentencasdedesvioscriam\ramicac~oes"noprograma. Captulo3.Otimizac~ao 22 Umblocobasicoeumasequ^enciadecodigosdetr^esenderecosquen~aopossui ramicac~ao,ouseja,quandoouxodecontroleatingeoprimeirocodigode possiblidadederamicac~ao[1,9]. tr^esenderecosdobloco,elesomenteodeixanom,semumaparadaou b<-a*5; enquantob<100faca senao seb<aentao fimse b<-b-5; b<-c+5; fimenquanto Figura3.2:ExemplodeumprogramafonteemPGL r1: b:=a*5 5 seb>=100desvieparar2 76 seb>=adesvieparar3 8 r3: b:=c+5 9 r4: b:=b-5 desvieparar r2: desvieparar1 Osblocosbasicoss~aoimportantesparaaconstruc~aodegrafosdeuxo,pois Figura3.3:Exemplodesentencasdetr^esenderecos. osmesmosoferecemdiversasalternativasdeotimizac~ao.oconceitodegrafo deuxoedetalhadonaproximasec~ao.

31 Captulo3.Otimizac~ao Umprogramaexemploedescritonagura3.2easuarepresentac~aoem 23 sentencasdetr^esenderecosedescritanagura3.3.comisso,epossvelgerar osblocosbasicosdoprogramaexemplocomomostraagura3.4. r1: b:=a*5 B1 seb>=100desvieparar2 B2 seb>=adesvieparar3. b:=c+5 B3 B4 r3: desvieparar4 B5 r4: b:=b-5 desvieparar1 B6 r2: Figura3.4:Blocobasico. B7 instruc~oescontidasemcadablocodeacordocomanumerac~aoapresentadana gura3.3.asinstruc~oes3,4,6e10possuemumenunciadodaformadesvie Osnumeroscontidosdentrodecadaret^angulodagura3.4indicamas paral,emquelpodeserr1,r2,r3,r4.destaforma,pode-sereferenciar Lcomosendoum\rotulo"dedesvio.Umrotuloeoinciodeumbloco enquantoqueumenunciadodedesviodeveserumnaldebloco,dadoque umainstruc~aodedesviopermiteumaramicac~ao. enderecoseasadaproduzidaserianaformarepresentadapelagura3.4. deimplementac~ao,emqueaentradaseriasequ^enciasdesentencasdetr^es Umalgoritmodeconstruc~aodeblocosbasicosseradiscutidonocaptulo Mostrandotambem,algumasmodicac~oesnecessariasnaestruturadocodigo