GCC Resource Center

Department of Computer Science & Engineering

Indian Institute of Technology, Bombay

• 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

• White Papers
  • GCC 4.0.2
• Slides
• Software
  • gdfa
  • LFCPA

• Essential Abstractions in GCC '11
• Essential Abstractions in GCC '10
• Essential Abstractions in GCC '09
• Lab Parties

• Contacting GRC
• Reaching GRC

The design and implementation of gdfa is motivated by the following objectives:

1. Demonstrating the practical significance of the following important generalization:
   

   Instead of implementing specific analyses directly, it is useful to implement a generic driver that is based on a carefully chosen set of abstractions. The task of implementing a particular analyzer then reduces to merely specifying the analysis by instantiating these abstractions to concrete values.

2. Providing an easy to use and easy to extend data flow analysis infrastructure. The goal is to facilitate experimentation in terms of studying existing analyses, defining new analyses, and exploring different analysis algorithms.

Installing gdfa

A short guide to applying the patch, building GCC with gdfa, and testing gdfa can be found here.

Releases

gdfa-1.4 (for gcc 4.5.0)

• Download Patch
• Documentation
• gdfa released for gcc 4.5.0

gdfa-1.3 (for gcc 4.3.0)

• Download Patch
• Download Patch to upgrade gdfa-1.2 to gdfa-1.3
• Download Patch to upgrade gdfa-1.1 to gdfa-1.3
• Download Patch to upgrade gdfa-1.0 to gdfa-1.3
• Documentation
• Miscellaneous Bug Fixes

gdfa-1.2 (for gcc 4.3.0)

• Download Patch
• Documentation
• Miscellaneous Bug Fixes

gdfa-1.1 (for gcc 4.3.0)

• Download Patch
• Documentation
• Features: Support for Reaching definition analysis is added to Generic Bit Vector Data Flow Analyzer
• Miscellaneous Bug Fixes

gdfa-1.0 (for gcc 4.3.0)

• Download Patch
• Documentation
• Features: Generic Bit Vector Data Flow Analyzer for Gimple IR with example instantiations for several bit vector frameworks. This data flow analyzer is an intraprocedural (i.e. "per function") analyzer and hence restricts itself to local variables and expressions. Following data flow analysis problems are implemented:
  
  1. Available expressions analysis (ave)
  2. Partially available expressions analysis (pav)
  3. Anticipable expressions analysis (ant)
  4. Live variables analysis (lv)
  5. Partial redundancy elimination (pre)

Prerequisites

Above code is tested with the following system configuration:

• Operating System: Ubuntu 9.10 Karmic Release
• Native compiler: Gnu Compiler collection (GCC) 4.x

Source Code

The source code of gdfa is distributed under GNU GPL v 2.0 or later.

Documentation

The documentation of gdfa is distributed under GNU FDL v 1.2 or later.

For more details on data flow analysis, please refer to the book Data Flow Analysis: Theory and Practice

The Copyright of gdfa code and its manual is held by the GCC Resource Center of Department of Computer Science and Engineering, Indian Institute of Technology Bombay.