P4::DoRemoveLeftSlices Class Reference

Inheritance diagram for P4::DoRemoveLeftSlices:

Public Member Functions
	DoRemoveLeftSlices (P4::TypeMap *typeMap)
const IR::Node *	postorder (IR::AssignmentStatement *stat) override

Detailed Description

This pass removes Slices on the lhs of an assignment

a[m:l] = e;  ->  a = (a & ~mask) | (((cast)e << l) & mask);

Precondition

none

Postcondition

no field slice operator in the lhs of assignment statement