Implementation of Automated Loop-bound Analysis for Static Timing Analysis Framework
نویسنده
چکیده
After surveying existing tools, we have decided to work on existing compiler backend ‘opt’, which obtained from Dr. Mueller. Originally it works for Sparc ISA. It has the functionalities of constructing control flow graph (CFG) and detecting loops from CFG. Also the program is scalable to add or remove existing analysis and optimization paths. We modified ‘opt’ so that it only enables CFG construction (function: setupcontrolflow) and loop detection (function: findloops). Appropriate changes were applied to opt.c and Makefile. Additionally, we set up a CVS server to manage the source code of ‘opt’. We also installed SimpleScalar to our Linux machine.
منابع مشابه
Source-Level Support for Timing Analysis
Timing analysis is an important prerequisite for the design of embedded real-time systems. In order to get tight and safe bounds for the timing of a program, precise information about its control flow and data flow is needed. While actual timings can only be derived from the machine code, many of the supporting analyses (deriving timing-relevant data such as points-to and loop bound information...
متن کاملTiming Predictions for Multi-Level Caches
This paper describes a framework to extend timing predictions of real-time applications from architectures with primary caches to architectures with multi-level caches. First, general problems of extending timing analysis frameworks to multi-level memory hierarchies are discussed, including a method for dealing with uni-ed caches. Second, an existing data-ow framework for cache analysis, the fr...
متن کاملA symbolic analysis framework for static analysis of imperative programming languages
We present a generic symbolic analysis framework for imperative programming languages. Our framework is capable of computing all valid variable bindings of a program at given program points. This information is invaluable for domain-specific static program analyses such as memory leak detection, program parallelization, and the detection of superfluous bound checks, variable aliases and task de...
متن کاملI-1: Screening of Subfertile Men for Testicularlar Carcinoma In Situ by An Automated Image Analysis-Based Cytological Test of The Ejaculate
Background: Testicular cancer (TC) is usually diagnosed after manifestation of an overt tumour. Tumour formation is preceded by a pre-invasive and asymptomatic stage, carcinoma in situ (CIS) testis, except for very rare subtypes. The CIS cells are located within seminiferous tubules but can be exfoliated and detected in ejaculates with specific CIS markers. Materials and Methods: We have built ...
متن کاملPERFORMANCE-BASED SEISMIC DESIGN OPTIMIZATION FOR MULI-COLUMN RC BRIDGE PIERS, CONSIDERING QUASI-ISOLATION
In this paper an optimization framework is presented for automated performance-based seismic design of bridges consisting of multi-column RC pier substructures. The beneficial effects of fusing components on seismic performance of the quasi-isolated system is duly addressed in analysis and design. The proposed method is based on a two-step structural analysis consisting of a linear modal dynami...
متن کامل