solver::DepositField Class Reference

#include <action_constraint_solver.h>

Inheritance diagram for solver::DepositField:

Public Member Functions
	DepositField (ContainerID dest, ContainerID src1, int left_rotate, bitvec mask, ContainerID src2)
cstring	name () const override
cstring	to_cstring () const override
Public Member Functions inherited from solver::Instruction

Public Attributes
ContainerID	dest
int	left_rotate
bitvec	mask
ContainerID	src1
ContainerID	src2

Detailed Description

deposit-field instruction. dest = ((src1 << shift) & mask) | (src2 & ~mask) Note that in some docs, deposit-field is using right rotate instead of left rotate here. Since left/right rotate is isomorphic, we will simply use left rotate in this module.

Member Function Documentation

name()

cstring solver::DepositField::name ( ) const

inlineoverridevirtual

Implements solver::Instruction.

to_cstring()

cstring solver::DepositField::to_cstring ( ) const

overridevirtual

Implements solver::Instruction.