(self, args)
return claripy.Concat(*new_elements)
Transfers one byte/half-word/word to a vector from a general-purpose register.

        NOTE: the index should starts from the least significant bits.
        For example, index 0 for Iop_SetElem32x2 sets the low half of a vector

        Iop_SetElem8x8
        Iop_SetElem16x4
        Iop_SetElem32x2
        Iop_SetElem8x16
        Iop_SetElem16x8
        Iop_SetElem32x4
        Iop_SetElem64x2
Transfers one byte/half-word/word to a vector from a general-purpose register.
Transfers one byte / half - word / word to a vector from a general - purpose register .
def _op_generic_SetElem(self, args):
        """
        Transfers one byte/half-word/word to a vector from a general-purpose register.

        NOTE: the index should starts from the least significant bits.
        For example, index 0 for Iop_SetElem32x2 sets the low half of a vector

        Iop_SetElem8x8
        Iop_SetElem16x4
        Iop_SetElem32x2
        Iop_SetElem8x16
        Iop_SetElem16x8
        Iop_SetElem32x4
        Iop_SetElem64x2
        """
        # Size of the element
        vector_size = self._vector_size
        # Element count
        vector_count = self._vector_count
        # Extension register value, element index, element to set
        dReg, index, element = args
        # Chopped elements; there should be `vector_count` elements in total
        elements = dReg.chop(vector_size)

        # Generate new elements
        new_elements = map(
            lambda i: claripy.If(vector_count - 1 - i == index, element, elements[i]),
            range(vector_count)
        )
        return claripy.Concat(*new_elements)
def _op_generic_SetElem ( self , args ) : # Size of the element vector_size = self . _vector_size # Element count vector_count = self . _vector_count # Extension register value, element index, element to set dReg , index , element = args # Chopped elements; there should be `vector_count` elements in total elements = dReg . chop ( vector_size ) # Generate new elements new_elements = map ( lambda i : claripy . If ( vector_count - 1 - i == index , element , elements [ i ] ) , range ( vector_count ) ) return claripy . Concat ( * new_elements )