SpC: Synthesis of Pointers in C - Application of Pointer Analysis to the. . . [24 citations — 4 self]
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
author = {Luc Seméria and Giovanni De Micheli},
title = {SpC: Synthesis of Pointers in C - Application of Pointer Analysis to the. . .},
year = {}
}
Bookmarks
OpenURL
Abstract:
As designers may model mixed software-hardware systems using a subset of C or C++, we present SpC, a solution to synthesize and optimize a C model with pointers. In hardware, a pointer is not only the address of data in memory, but it may also reference multiple variables mapped to registers, ports or wires. Pointer analysis is used to find the point-to-set of each pointer in the program. In this paper, we address the problem of synthesizing and optimizing pointers to multiple variables and array elements. Temporary variables are defined to optimize loads and stores by minimizing the number of live variables. The combinational logic can also be reduced by encoding the pointers values. An implementation using the SUIF framework is presented, followed by some case studies such as the synthesis of a 2D IDCT.
