solver::ByteRotateMerge Class Reference

#include <action_constraint_solver.h>

Inheritance diagram for solver::ByteRotateMerge:

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

Public Attributes
ContainerID	dest
bitvec	mask
int	shift1
int	shift2
ContainerID	src1
ContainerID	src2

Detailed Description

byte-rotate-merge: dest = ((src1 << src1_shift) & mask) | ((src2 << src2_shift) & ~mask)

Member Function Documentation

name()

cstring solver::ByteRotateMerge::name ( ) const

inlineoverridevirtual

Implements solver::Instruction.

to_cstring()

cstring solver::ByteRotateMerge::to_cstring ( ) const

overridevirtual

Implements solver::Instruction.