P4C
The P4 Compiler
 
Loading...
Searching...
No Matches
Public Member Functions | List of all members
P4::CompileTimeOperations Class Reference
Inheritance diagram for P4::CompileTimeOperations:
Inheritance graph
[legend]

Public Member Functions

void err (const IR::Node *expression)
 
void postorder (const IR::Div *expression) override
 
void postorder (const IR::Mod *expression) override
 

Detailed Description

Check that operations which are only defined at compile-time do not exist in the program.

Precondition
This should be run after inlining, constant folding and strength reduction.
Postcondition
There are no IR::Mod and IR::Div operations in the program.