Resolution, Optimization, and Encoding of Pointer Variables for the Behavioral Synthesis from C
As designers may model mixed hardware--software systems using a subset of or ++, we present SpC, a solution to synthesize and optimize hardware models with pointers. In hardware, a pointer is not only the address of data in memory, but it may also reference data mapped to registers, ports, or wires....
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Text |
Language: | English |
Published: |
2001
|
Subjects: | |
Online Access: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.2745 http://chronos.stanford.edu/users/nanni/publications/archive/./2001/CADICSvol20iss2Feb01pg213.pdf |
id |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.10.2745 |
---|---|
record_format |
openpolar |
spelling |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.10.2745 2023-05-15T18:32:38+02:00 Resolution, Optimization, and Encoding of Pointer Variables for the Behavioral Synthesis from C Luc Semeria Giovanni De Micheli The Pennsylvania State University CiteSeerX Archives 2001 application/pdf http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.2745 http://chronos.stanford.edu/users/nanni/publications/archive/./2001/CADICSvol20iss2Feb01pg213.pdf en eng http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.2745 http://chronos.stanford.edu/users/nanni/publications/archive/./2001/CADICSvol20iss2Feb01pg213.pdf Metadata may be used without restrictions as long as the oai identifier remains attached to it. http://chronos.stanford.edu/users/nanni/publications/archive/./2001/CADICSvol20iss2Feb01pg213.pdf text 2001 ftciteseerx 2016-01-07T13:10:10Z As designers may model mixed hardware--software systems using a subset of or ++, we present SpC, a solution to synthesize and optimize hardware models with pointers. In hardware, a pointer is not only the address of data in memory, but it may also reference data mapped to registers, ports, or wires. Pointer analysis is used to find the set of locations each pointer may reference in a program at compile time. In this paper, we address the problem of synthesizing and optimizing pointers to multiple variables or array elements. The value of the pointers are encoded and branching statements are used to dynamically access data referenced by pointers. A heuristic is used to efficiently encode the values of the pointers. Compiler techniques are also used to reduce storage before loads and stores. An implementation using the SUIF framework (Wilson et al., 1994; SUIF Compiler Framework) is presented, followed by some case studies and experimental results. Text The Pointers Unknown |
institution |
Open Polar |
collection |
Unknown |
op_collection_id |
ftciteseerx |
language |
English |
description |
As designers may model mixed hardware--software systems using a subset of or ++, we present SpC, a solution to synthesize and optimize hardware models with pointers. In hardware, a pointer is not only the address of data in memory, but it may also reference data mapped to registers, ports, or wires. Pointer analysis is used to find the set of locations each pointer may reference in a program at compile time. In this paper, we address the problem of synthesizing and optimizing pointers to multiple variables or array elements. The value of the pointers are encoded and branching statements are used to dynamically access data referenced by pointers. A heuristic is used to efficiently encode the values of the pointers. Compiler techniques are also used to reduce storage before loads and stores. An implementation using the SUIF framework (Wilson et al., 1994; SUIF Compiler Framework) is presented, followed by some case studies and experimental results. |
author2 |
The Pennsylvania State University CiteSeerX Archives |
format |
Text |
author |
Luc Semeria Giovanni De Micheli |
spellingShingle |
Luc Semeria Giovanni De Micheli Resolution, Optimization, and Encoding of Pointer Variables for the Behavioral Synthesis from C |
author_facet |
Luc Semeria Giovanni De Micheli |
author_sort |
Luc Semeria |
title |
Resolution, Optimization, and Encoding of Pointer Variables for the Behavioral Synthesis from C |
title_short |
Resolution, Optimization, and Encoding of Pointer Variables for the Behavioral Synthesis from C |
title_full |
Resolution, Optimization, and Encoding of Pointer Variables for the Behavioral Synthesis from C |
title_fullStr |
Resolution, Optimization, and Encoding of Pointer Variables for the Behavioral Synthesis from C |
title_full_unstemmed |
Resolution, Optimization, and Encoding of Pointer Variables for the Behavioral Synthesis from C |
title_sort |
resolution, optimization, and encoding of pointer variables for the behavioral synthesis from c |
publishDate |
2001 |
url |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.2745 http://chronos.stanford.edu/users/nanni/publications/archive/./2001/CADICSvol20iss2Feb01pg213.pdf |
genre |
The Pointers |
genre_facet |
The Pointers |
op_source |
http://chronos.stanford.edu/users/nanni/publications/archive/./2001/CADICSvol20iss2Feb01pg213.pdf |
op_relation |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.2745 http://chronos.stanford.edu/users/nanni/publications/archive/./2001/CADICSvol20iss2Feb01pg213.pdf |
op_rights |
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
_version_ |
1766216843131879424 |