Validation of code-improving transformations for embedded systems

《Validation of code-improving transformations for embedded systems》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、ValidationofCode-ImprovingTransformationsforEmbeddedSystemsRobertvanEngelen,DavidWhalley,andXinYuanDept.OfComputerScience,FloridaStateUniversity,Tallahassee,FL32306Abstractassemblyprogrammerwouldfinditdesirableforasystemtoiden-tifythetransformationthatintroducedthee

2、rror.Second,foreachProgrammersofembeddedsystemsoftendevelopsoftwareincode-improvingtransformationweonlyattempttoshowtheequiv-assemblycodeduetoinadequatesupportfromcompilersandthealenceoftheregionoftheprogramassociatedwiththechangesneedtomeetcriticalspeedand/orspacec

3、onstraints.Manyem-ratherthanshowingtheequivalenceoftheentireprogramrepre-beddedapplicationsarebeingusedasacomponentofanincreas-sentation.Wehavefoundthattheregionoftheprogramrepre-ingnumberofcriticalsystems.Whileachievinghighperformancesentationthatischangedbyacode-i

4、mprovingtransformationisforthesesystemsisimportant,ensuringthatthesesystemsexecutetypicallyquitesmall.Weshowequivalenceoftheregionbeforecorrectlyisvital.Oneportionofthisprocessistoensurethatcode-andafterthetransformationbydemonstratingthattheeffectstheimprovingtrans

5、formationsappliedtoaprogramwillnotchangeregionwillhaveontherestoftheprogramwillremainthesame.theprogram'ssemanticbehavior,whichmaybejeopardizedwhenInthesubsequentsectionsofthepaperwedescribethegen-transformationsarespecifiedmanually.Thispaperdescribesaeralapproachuse

6、dforvalidatingintraprocedural(withinasin-generalapproachforvalidationofmanylow-levelcode-improvingglefunction)low-levelcode-improvingtransformations.Anauto-transformationsmadeeitherbyacompilerorspecifiedbyhand.maticvalidationsystembasedontheproposedapproachhasbeenIni

7、tially,weassociatearegionoftheprogramrepresentationwithimplementedinthevpocompiler[2]andiscurrentlyabletoval-acode-improvingtransformation.Afterwards,wecalculatethere-idateallcode-improvingtransformationsinvpoexceptthosethatgion'seffectsontherestoftheprogrambeforean

8、dafterthetrans-affectblocksacrosslooplevels.Whiletheimplementationisspe-formation.Thetransformationisconsideredvalidwhentheeffectscifictovp