Tapenade Design

• Overall operations chain of Tapenade
• Tapenade toplevel
  • Tapenade toplevel and web server
  • Graphical user interface
• Tapenade frontend
  • Imperative Language definition: IL
  • Tapenade parsers - <Step -1>
  • Fortran parser (fortranParser)
  • C parser
  • C++ Parser (cppParser)
  • Tapenade library reader
  • Imperative Language Abstract Syntax Trees - [State 0]
• The IL Abstract Syntax Reference Manual
  • The abstract Imperative Language “IL”
  • From this specification to the “il.metal” file
  • Specification of top level of files
  • Procedure definitions
  • Modules
  • Object-oriented classes definition
  • Variable declarations
  • Other declarations
  • Type specifications
  • Declarators
  • Structured control statements
  • Unstructured control statements
  • Expressions or simple statements
  • Dynamic memory
  • Atomic nodes
  • Summary of the complete syntax
• Tapenade’s basic utility and representation classes
  • Tapenade’s basic utility classes
  • Tapenade’s representation classes
• Internal representation of a program
  • Reading-in the input IL ASTs - <Step 0>
  • Basic source IR - [State 1]
  • Figure 2: Internal representation of a program inside Tapenade
• Data-flow infrastructure
  • Data-flow methods - <Step 1>
  • Source IR with data-flow infrastructure - [State 2]
• Tapenade data-flow analyses
  • AD-independent preliminary data-flow analyses - [Step 2]
  • Notes on LoopArrayAccessAnalyzer
  • Source IR with basic data-flow info - [State 3]
  • AD-specific data-flow analyses - <Step 3>
  • Notes on the 4 phases Storage Activity Analysis (ReqExplicit)
  • Ready for differentiation - [State 4]
• Tapenade Differentiation
  • Creation of the differentiated IR - <Step 4>
  • Notes on copies of source code inside the generated code
  • Template for new linearization class
  • Differentiated IR essentially built - [State 5]
• Creating the output IL Abstract Syntax Trees
  • <Step 5>
  • Differentiated IL ASTs ready - [State 6]
• Tapenade pretty-printers for Fortran and C output files
  • <Step 6>
• Tapenade HTML output and web server utilities