P4C
The P4 Compiler
Loading...
Searching...
No Matches
P4::EBPF::CRCChecksumAlgorithm Class Reference
Inheritance diagram for P4::EBPF::CRCChecksumAlgorithm:
[legend]

Public Member Functions

 CRCChecksumAlgorithm (const EBPFProgram *program, cstring name, int width)
 
void emitAddData (CodeBuilder *builder, const ArgumentsList &arguments) override
 
void emitClear (CodeBuilder *builder) override
 
void emitGet (CodeBuilder *builder) override
 
void emitGetInternalState (CodeBuilder *builder) override
 
void emitSetInternalState (CodeBuilder *builder, const IR::MethodCallExpression *expr) override
 
void emitSubtractData (CodeBuilder *builder, const ArgumentsList &arguments) override
 
void emitVariables (CodeBuilder *builder, const IR::Declaration_Instance *decl) override
 decl might be a null pointer
 
unsigned getOutputWidth () const override
 
- Public Member Functions inherited from P4::EBPF::EBPFHashAlgorithmPSA
 EBPFHashAlgorithmPSA (const EBPFProgram *program, cstring name)
 
virtual void emitAddData (CodeBuilder *builder, int dataPos, const IR::MethodCallExpression *expr)
 
virtual void emitSubtractData (CodeBuilder *builder, int dataPos, const IR::MethodCallExpression *expr)
 
void setVisitor (Visitor *instance)
 
- Public Member Functions inherited from P4::EBPF::EBPFObject
 DECLARE_TYPEINFO (EBPFObject)
 
- Public Member Functions inherited from P4::ICastable
template<typename T >
T & as ()
 Tries to convert the class to type T. A BUG occurs if the cast fails.
 
template<typename T >
const T & as () const
 Tries to convert the class to type T. A BUG occurs if the cast fails.
 
template<typename T >
T * checkedTo ()
 Performs a checked cast. A BUG occurs if the cast fails.
 
template<typename T >
const T * checkedTo () const
 Performs a checked cast. A BUG occurs if the cast fails.
 
- Public Member Functions inherited from P4::RTTI::Base
template<typename T >
bool is () const noexcept
 
virtual bool isA (TypeId typeId) const noexcept=0
 
template<typename T >
const T * to () const noexcept
 Same as to, but returns const pointer to T.
 
template<typename T >
T * to () noexcept
 
virtual TypeId typeId () const noexcept=0
 

Static Public Member Functions

static void emitUpdateMethod (CodeBuilder *builder, int crcWidth)
 
- Static Public Member Functions inherited from P4::EBPF::EBPFObject
static cstring externalName (const IR::IDeclaration *declaration)
 
static cstring getSpecializedTypeName (const IR::Declaration_Instance *di)
 
static cstring getTypeName (const IR::Declaration_Instance *di)
 

Protected Attributes

const int crcWidth
 
cstring finalizeMethod
 
cstring initialValue
 
cstring polynomial
 
cstring registerVar
 
cstring updateMethod
 
- Protected Attributes inherited from P4::EBPF::EBPFHashAlgorithmPSA
cstring baseName
 
const EBPFProgramprogram
 
Visitorvisitor
 

Additional Inherited Members

- Public Types inherited from P4::EBPF::EBPFHashAlgorithmPSA
typedef std::vector< const IR::Expression * > ArgumentsList
 
enum  HashAlgorithm {
  IDENTITY , CRC32 , CRC32_CUSTOM , CRC16 ,
  CRC16_CUSTOM , ONES_COMPLEMENT16 , TARGET_DEFAULT
}
 Keep this enum in sync with psa.p4 file.
 
- Protected Member Functions inherited from P4::EBPF::EBPFHashAlgorithmPSA
ArgumentsList unpackArguments (const IR::MethodCallExpression *expr, int dataPos)
 
- Protected Member Functions inherited from P4::RTTI::Base
virtual const void * toImpl (TypeId typeId) const noexcept=0
 

Member Function Documentation

◆ emitAddData()

void P4::EBPF::CRCChecksumAlgorithm::emitAddData ( CodeBuilder * builder,
const ArgumentsList & arguments )
overridevirtual

This method generates a C code that is responsible for updating a CRC check value from a given data.

From following P4 code: Checksum<bit<32>>(PSA_HashAlgorithm_t.CRC32) checksum; checksum.update(parsed_hdr.crc.f1); There will be generated a C code: crc32_update(&c_0_reg, (u8 *) &(parsed_hdr->crc.f1), 5, 0xEDB88320); Where: c_0_reg - a checksum internal state (CRC register) parsed_hdr->field1 - a data on which CRC is calculated 5 - a field size in bytes 0xEDB88320 - a polynomial in a reflected bit order.

Implements P4::EBPF::EBPFHashAlgorithmPSA.

◆ emitClear()

void P4::EBPF::CRCChecksumAlgorithm::emitClear ( CodeBuilder * builder)
overridevirtual

◆ emitGet()

void P4::EBPF::CRCChecksumAlgorithm::emitGet ( CodeBuilder * builder)
overridevirtual

◆ emitGetInternalState()

void P4::EBPF::CRCChecksumAlgorithm::emitGetInternalState ( CodeBuilder * builder)
overridevirtual

◆ emitSetInternalState()

void P4::EBPF::CRCChecksumAlgorithm::emitSetInternalState ( CodeBuilder * builder,
const IR::MethodCallExpression * expr )
overridevirtual

◆ emitSubtractData()

void P4::EBPF::CRCChecksumAlgorithm::emitSubtractData ( CodeBuilder * builder,
const ArgumentsList & arguments )
overridevirtual

◆ emitVariables()

void P4::EBPF::CRCChecksumAlgorithm::emitVariables ( CodeBuilder * builder,
const IR::Declaration_Instance * decl )
overridevirtual

decl might be a null pointer

Implements P4::EBPF::EBPFHashAlgorithmPSA.

◆ getOutputWidth()

unsigned P4::EBPF::CRCChecksumAlgorithm::getOutputWidth ( ) const
inlineoverridevirtual

Reimplemented from P4::EBPF::EBPFHashAlgorithmPSA.