P4::HSIndexFinder Class Reference

Inheritance diagram for P4::HSIndexFinder:

Public Member Functions
	HSIndexFinder (IR::IndexedVector< IR::Declaration > *locals, ReferenceMap *refMap, TypeMap *typeMap, GeneratedVariablesMap *generatedVariables)
void	postorder (const IR::ArrayIndex *curArrayIndex) override

Protected Member Functions
void	addNewVariable ()

Friends
class	HSIndexContretizer
class	HSIndexTransform

Detailed Description

This class finds innermost header stack with non-concrete index. For each found innermost header stack it generates new local variable and adds it to the corresponded local definitions.