Abstract:

We present ongoing work and first results in static and detailed quantitative runtime analysis of LLVM byte code for the purpose of automatic procedural level partitioning and co-synthesis of complex software systems. Runtime behaviour is captured by reverse compilation of LLVM bytecode into augmented, self-profiling ANSI-C simulator programs retaining the LLVM instruction level. The actual global data flow is captured both in quantity and value range to guide function unit layout in the synthesis of application specific processors. Currently the implemented tool LLILA (Low Level Intermediate Language Analyzer) focuses on static code analysis on the inter-procedural data flow via e.g. function parameters and global variables to uncover a program's potential paths of data exchange.

Published:

"Compiled low-level virtual instruction set simulation and profiling for code partitioning and ASIP-synthesis in hardware/software co-design"
Carsten Gremzow.
Proceedings of the 2007 summer computer simulation conference (SCSC'07) , San Diego, California, July 2007.

Download:

Paper:

• Compiled low-level virtual instruction set simulation and profiling for code partitioning and ASIP-synthesis in hardware/software co-design (PDF)

BibTeX Entry:

@inproceedings{1358025,
 author = {Gremzow, Carsten},
 title = {Compiled low-level virtual instruction set simulation and profiling for code partitioning and ASIP-synthesis in hardware/software co-design},
 booktitle = {SCSC: Proceedings of the 2007 summer computer simulation conference},
 year = {2007},
 isbn = {1-56555-316-0},
 pages = {741--748},
 location = {San Diego, California},
 publisher = {Society for Computer Simulation International},
 address = {San Diego, CA, USA},
 }