Inheritance diagram for SimplifyReferences:

Public Member Functions
	SimplifyReferences (ParamBinding bindings, P4::ReferenceMap refMap, P4::TypeMap *typeMap)

Detailed Description

Simplify complex references to headers, header stacks, structs, and structs.

This pass simplifies references so that the backend doesn't have to deal with complicated cases. The simplifications include:

References to variables and package parameters are bound to concrete objects.
Member expressions are flattened to a single level.
Operations on structs and header stacks are split so that they only operate on a single header at a time. (This is mainly meant for the extract() and emit() methods.
Calls to the isValid() header method are replaced with references to the header's $valid POV bit field.

Constructor & Destructor Documentation

SimplifyReferences::SimplifyReferences	(	ParamBinding *	bindings,
		P4::ReferenceMap *	refMap,
		P4::TypeMap *	typeMap )

Create a SimplifyReferences instance.

Parameters

bindings	Known bindings to package parameters and declarations. References to these entities (i.e., via member or path expressions) will be bound to concrete objects (i.e., HeaderRefs or HeaderStackItemRefs). Any additional declarations encountered during the simplification process will be added to be bindings for us by future passes; this is an in-out parameter.
refMap	Resolved references for the P4 program.
typeMap	Resolved types for the P4 program.