GCC Resource Center for GCC Internals

specRTL: A Language for GCC Machine Descriptions

specRTL Language Compiler has undergone a complete redesign is now written in C++ with the help of C++ extentions for Flex and Bison. The compiler along with the language now has specRTL language specifications for almost all of the conventional machine description constructs. The language itself has gone some changes in its specifications from the previous implementation.

A detailed description of the A detailed description of the new compiler with all the changes can be found here. The details include the compiler architecture, the specRTL grammar, and specRTL constructs along with examples.

The original paper on specRTL submitted to GROW 2011 workshop is also available along with the presentation slides. Note that some details of the original paper now have been superceded although the philosophy remains same.

schedule GCC Resource Center Department of Computer Science & Engineering Indian Institute of Technology, Bombay
	Home About People Research Activities Downloads Gallery Contact Us Goals History Workshops Essential Abstractions in GCC, 2013 Essential Abstractions in GCC, 2012 Essential Abstractions in GCC, 2011 Essential Abstractions in GCC, 2010 Essential Abstractions in GCC, 2009 Mini Workshop on GCC Internals, 2008 Workshop on GCC Internals, 2007 Courses CS 715 (2010 - 2011) CS 715 (2009 - 2010) CS 715 (2008 - 2010) Talks Tutorials Videos White Papers GCC 4.0.2 Slides Software LFCPA specRTL gdfa Essential Abstractions in GCC '11 Essential Abstractions in GCC '10 Essential Abstractions in GCC '09 Lab Parties Contacting GRC Reaching GRC
NEWS List of Conferences GCC wins ACM SIGPLAN Programming Languages Software Award Tutorial at PLDI 2014 Videos of the lectures in Essential Abstractions in GCC Workshop . Workshop on Essential Abstractions in GCC (June 29 - July 3, 2013) PAST NEWS LFCPA (Liveness-Based Pointer Analysis) Released Tutorial on GCC for Parallelization (in conjuction with PPoPP 2012, New Orleans, LA, USA) Prof. Uday Khedker on Liveness Analysis for Heaps on CompuCast Podcast and YouTube Tutorial on Essential Abstractions in GCC (in conjuction with CGO 2011, Chamonix, France) Workshop on Essential Abstractions in GCC (June 30 - July 3, 2012) Workshop on Essential Abstractions in GCC (June 30 - July 3, 2011) Workshop on Essential Abstractions in GCC (July 5-8, 2010) Tutorial on GCC for Parallelization as part of ACM PPoPP 2010 Workshop on Compiler Construction with Introduction to GCC (7th to 13th December 2009) Workshop on Essential Abstractions in GCC (3rd to 5th July 2009)	specRTL: A Language for GCC Machine Descriptions specRTL Language Compiler has undergone a complete redesign is now written in C++ with the help of C++ extentions for Flex and Bison. The compiler along with the language now has specRTL language specifications for almost all of the conventional machine description constructs. The language itself has gone some changes in its specifications from the previous implementation. A detailed description of the A detailed description of the new compiler with all the changes can be found here. The details include the compiler architecture, the specRTL grammar, and specRTL constructs along with examples. The original paper on specRTL submitted to GROW 2011 workshop is also available along with the presentation slides. Note that some details of the original paper now have been superceded although the philosophy remains same.	QUICK LINKS GCC Internals GCC FAQs GCC on Wikipedia GCC Internals on Wikipedia SEARCH
	Tested on Firefox version 3.0.8 and above \| Site designed and maintained by GRC \| © 2013, GCC Resource Center