License
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.MEMICS.2010.47
URN: urn:nbn:de:0030-drops-30654
URL: http://drops.dagstuhl.de/opus/volltexte/2011/3065/
Go to the corresponding OASIcs Volume Portal


Husar, Adam ; Trmac, Miloslav ; Hranac, Jan ; Hruska, Tomas ; Masarik, Karel

Automatic C Compiler Generation from Architecture Description Language ISAC

pdf-format:
Document 1.pdf (333 KB)


Abstract

This paper deals with retargetable compiler generation. After an introduction to application-specific instruction set processor design and a review of code generation in compiler backends, ISAC architecture description language is introduced. Automatic approach to instruction semantics extraction from ISAC models which result is usable for backend generation is presented. This approach was successfully tested on three models of MIPS, ARM and TI MSP430 architectures. Further backend generation process that uses extracted instruction is semantics presented. This process was currently tested on the MIPS architecture and some preliminary results are shown.

BibTeX - Entry

@InProceedings{husar_et_al:OASIcs:2011:3065,
  author =	{Adam Husar and Miloslav Trmac and Jan Hranac and Tomas Hruska and Karel Masarik},
  title =	{{Automatic C Compiler Generation from Architecture Description Language ISAC}},
  booktitle =	{Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
  pages =	{47--53},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-22-4},
  ISSN =	{2190-6807},
  year =	{2011},
  volume =	{16},
  editor =	{Ludek Matyska and Michal Kozubek and Tom{\'a}{\v{s}} Vojnar and Pavel Zemc{\'i}k and David Antos},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2011/3065},
  URN =		{urn:nbn:de:0030-drops-30654},
  doi =		{http://dx.doi.org/10.4230/OASIcs.MEMICS.2010.47},
  annote =	{Keywords: ISAC architecture, compiler generation}
}

Keywords: ISAC architecture, compiler generation
Seminar: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers
Issue Date: 2011
Date of publication: 11.03.2011


DROPS-Home | Fulltext Search | Imprint Published by LZI