Abstract-A statisk loop analys är en programanalys dator loop iteration räknas. Denna information är avgörande för olika användningsområden. Inom området kompilatorer, kan kunskapen om loop iterationer utnyttjas för aggressiva loopopop optimeringar som Loop Unrolling. En loopanalysator ger också statisk information om code exekvationsfrekvenser som kan hjälpa feedback-styrda optimeringar. En annan framträdande tillämpning är den statiska värsta-fall-utförande tiden (WCET) analys som bygger på en säker approximation av loop iteration räknas. I detta dokument föreslår vi en ram för en statisk loopanalys baserad på abstrakt tolkning, en teori om en sund approximation av programsemantik. För att påskynda analysen förbehandlar vi den analyserade koden med hjälp av Program Slicing, en teknik som tar bort påståenden som inte är relevanta för loopanalysen. Dessutom introducerar vi en ny polytopbaserad looputvärdering som ytterligare avsevärt minskar analystiden. Effektiviteten hos vår loopanalysator utvärderas på ett stort antal riktmärken. Resultaten visar att 99% av de anses slingor kunde framgångsrikt analyseras i en acceptabel tid. Denna studie visar att vår metodik är bäst lämpad för verkliga problem.
Till exempel Lokuciejewski et al. REF använde program skärning för att påskynda statisk loop analys.
A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models
{'venue': '2009 International Symposium on Code Generation and Optimization', 'journal': '2009 International Symposium on Code Generation and Optimization', 'mag_field_of_study': ['Computer Science']}