Skip to content

Latest commit

 

History

History

ir

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
CMakeLists.txt
CMakeLists.txt
 
 
README.md
README.md
 
 
base.cpp
base.cpp
 
 
base.def
base.def
 
 
bitrange.cpp
bitrange.cpp
 
 
compare.h
compare.h
 
 
configuration.h
configuration.h
 
 
dbprint-expression.cpp
dbprint-expression.cpp
 
 
dbprint-p4.cpp
dbprint-p4.cpp
 
 
dbprint-stmt.cpp
dbprint-stmt.cpp
 
 
dbprint-type.cpp
dbprint-type.cpp
 
 
dbprint.cpp
dbprint.cpp
 
 
dbprint.h
dbprint.h
 
 
declaration.h
declaration.h
 
 
dump.cpp
dump.cpp
 
 
dump.h
dump.h
 
 
expression.cpp
expression.cpp
 
 
expression.def
expression.def
 
 
id.h
id.h
 
 
indexed_vector.h
indexed_vector.h
 
 
ir-inline.h
ir-inline.h
 
 
ir-tree-macros.h
ir-tree-macros.h
 
 
ir.cpp
ir.cpp
 
 
ir.def
ir.def
 
 
ir.h
ir.h
 
 
irutils.cpp
irutils.cpp
 
 
irutils.h
irutils.h
 
 
json_generator.h
json_generator.h
 
 
json_loader.h
json_loader.h
 
 
json_parser.cpp
json_parser.cpp
 
 
json_parser.h
json_parser.h
 
 
loop-visitor.cpp
loop-visitor.cpp
 
 
namemap.h
namemap.h
 
 
node.cpp
node.cpp
 
 
node.h
node.h
 
 
nodemap.h
nodemap.h
 
 
pass_manager.cpp
pass_manager.cpp
 
 
pass_manager.h
pass_manager.h
 
 
pass_utils.cpp
pass_utils.cpp
 
 
pass_utils.h
pass_utils.h
 
 
pattern.h
pattern.h
 
 
solver.h
solver.h
 
 
type.cpp
type.cpp
 
 
type.def
type.def
 
 
v1.cpp
v1.cpp
 
 
v1.def
v1.def
 
 
vector.h
vector.h
 
 
visitor.cpp
visitor.cpp
 
 
visitor.h
visitor.h
 
 
write_context.cpp
write_context.cpp
 
 

README.md

P4C Intermediate Representation (P4C-IR) Classes

The IR classes are automatically generated by tools/ir-generator from *.def files. The .def files contain class definitions with boilerplate removed, which the ir-generator generates.

File Description
ir.h Top-level include file that includes everything else. Code outside this folder generally just includes this file.
ir-inline.h, ir-tree-macros.h, ir-util.h IR support files. ir-inline.h contains inline methods for header files that can't be defined until after other headers are included. ir-tree-macros.h has macros for generating code referring to all IR classes, used by the visitors.
node.h, node.cpp IR::Node base class.
id.h Defines the ID struct, which is not a standalone IR class but is used in many places in IR classes, representing an identifier with associated source location (for error reporting).
ir.def, ir.cpp Miscellaneous front-end IR classes.
v1.def, v1.cpp IR classes only needed to process P4 v1.0 / v1.1 programs.
expression.def, expression.cpp IR classes related to expressions. The Expression abstract class is the base for all expressions and contains a type field. Subclasses include Operation, Unary, Binary, and Ternary. Concrete subclasses are detailed as follows: 
        Expression
        +-- Operation
        |   +-- Operation_Unary
        |   |   +-- Neg, Cmpl, LNot, UPlus
        |   |   \-- Member, Cast
        |   +-- Operation_Binary
        |   |   +-- Mul, Div, Mode, Add, Sub, Shl, Shr
        |   |   +-- Operation_Relation
        |   |   |   \-- Equ, New, Lss, Leq, Grt, Geq
        |   |   +-- BAnd, BOr, BXor, LAnd, LOr
        |   |   \-- Concat, ArrayIndex, Range, Mask
        |   +-- Operation_Trinary
        |   |   \-- Slice, Mux
        |   \-- Primitive
        \-- Constant, ...
File Description
typedecl.def, type.cpp IR subclasses related to types and declarations.
namemap.h NameMap template, which holds a set of named IR objects and supports lookups by name. NameMap supports transforms that return null or additional NameMap objects for IR objects in the NameMap to modify the NameMap.
vector.h Vector template, which holds a vector of IR objects. It is a subclass of IR::Node with traversal code and automatically flattens any sub-Vector objects and removes nulls when transforms on elements of the vector return them.
indexed_vector.h IndexedVector: Contains a Vector and also an index mapping cstrings to IDeclarations for all objects in the vector that are IDeclarations.
dbprint.h, dbprint.cpp, dbprint-expression.cpp, dbprint-p4.cpp Debug printing routines. Most IR classes declare a dbprint method, defined here. The header contains flags and support that dbprint methods use to communicate formatting information (indentation, precedence, and format mode).
std.h Using directives for frequently used std:: classes. std::vector is wrapped with bounds-checking for all indexed accesses.
visitor.h, visitor.cpp Visitor base class and subclass definitions, including Inspector, Modifier, Transform, ControlFlowVisitor, Backtrack, and P4WriteContext mixin interfaces.
pass_manager.h, pass_manager.cpp PassManager subclass (of Visitor) that manages an arbitrary sequence of Visitors and handles backtracking between passes.