SignedUnsignedOpReg.h

Go to the documentation of this file.

// SignedUnsignedOpReg.h:
// -------------------
//

#ifndef __IPSDKUTIL_INSTRUCTIONSET_ARITHMETIC_DETAIL_AVX512_SIGNEDUNSIGNEDOPREG_H__
#define __IPSDKUTIL_INSTRUCTIONSET_ARITHMETIC_DETAIL_AVX512_SIGNEDUNSIGNEDOPREG_H__

#include <IPSDKUtil/IPSDKUtilExports.h>
#include <IPSDKUtil/InstructionSet/InstructionSetTypes.h>
#include <IPSDKUtil/InstructionSet/Arithmetic/detail/SignedUnsignedOpReg.h>
#include <IPSDKUtil/InstructionSet/Arithmetic/detail/AVX512/AddReg.h>
#include <IPSDKUtil/InstructionSet/Arithmetic/detail/AVX512/SubReg.h>
#include <IPSDKUtil/InstructionSet/Arithmetic/detail/AVX512/UnaryMinusReg.h>
#include <IPSDKUtil/InstructionSet/Comparison/detail/AVX512/IsGreaterReg.h>
#include <IPSDKUtil/InstructionSet/Comparison/detail/AVX512/IsGreaterEqualReg.h>
#include <IPSDKUtil/InstructionSet/Comparison/detail/AVX512/IsLessReg.h>
#include <IPSDKUtil/InstructionSet/detail/AVX512/AssignRegDecl.h>
#include <IPSDKUtil/InstructionSet/Logical/detail/AVX512/BitwiseAndReg.h>
#include <IPSDKUtil/InstructionSet/Logical/detail/AVX512/BitwiseSelectReg.h>
#include <IPSDKUtil/InstructionSet/Logical/detail/AVX512/IfElseReg.h>
#include <IPSDKUtil/InstructionSet/AVX512/Avx512Types.h>
#include <IPSDKUtil/Tools/ForceInline.h>

namespace ipsdk {
namespace simd {
namespace detail {


template<typename T>
struct SignedUnsignedSubtractReg<eInstructionSet::eIS_Avx512, 
    T, /* signed */ false>
{
    typedef typename Avx512Type<T>::Type result_type;

    static IPSDK_FORCEINLINE
    result_type act(const typename Avx512Type<T>::Type& x,
                           const typename Avx512Type<T>::Type& y)
    {
        return SubReg<eInstructionSet::eIS_Avx512, T>::act(x, y);
    }

    static IPSDK_FORCEINLINE
    void act(const typename Avx512Type<T>::Type& x,
             const typename Avx512Type<T>::Type& y,
             result_type& out)
    {
        SubReg<eInstructionSet::eIS_Avx2, T>::act(x, y, out);
    }
};

template<typename T>
struct SignedUnsignedSubtractReg<eInstructionSet::eIS_Avx512,
                                 T, /* signed */ true>
{
    typedef typename boost::make_unsigned<T>::type unsigned_type;
    typedef typename Avx512Type<unsigned_type>::Type result_type;

    static IPSDK_FORCEINLINE
    result_type act(const typename Avx512Type<T>::Type& x,
                    const typename Avx512Type<T>::Type& y)
    {
        const typename Avx512Type<T>::Type zero =
            AssignReg<eInstructionSet::eIS_Avx512, T>::act(0);

        const typename Avx512MaskType<T>::Type yNeg =
            IsLessReg<eInstructionSet::eIS_Avx512, T>::act(y, zero);

        const typename Avx512MaskType<T>::Type xNeg =
            IsLessReg<eInstructionSet::eIS_Avx512, T>::act(x, zero);

        typename Avx512Type<T>::Type regFromYNeg;
        CastReg<eInstructionSet::eIS_Avx512, T, T>::act(yNeg, regFromYNeg);
        typename Avx512Type<T>::Type regFromXNeg;
        CastReg<eInstructionSet::eIS_Avx512, T, T>::act(xNeg, regFromXNeg);

        const typename Avx512Type<T>::Type yNegAndXNotNeg =
            BitwiseAndNotReg<eInstructionSet::eIS_Avx512, T>::act(regFromYNeg, regFromXNeg);


        const typename Avx512Type<T>::Type one =
            AssignReg<eInstructionSet::eIS_Avx512, T>::act(1);

        return BitwiseSelectReg<eInstructionSet::eIS_Avx512, unsigned_type>::act(
            yNegAndXNotNeg,

            // avoid the nasty two's complement case for y == min()
            // return result_type(x) + result_type(-(y+1)) + 1;
            AddReg<eInstructionSet::eIS_Avx512, unsigned_type>::act(
                AddReg<eInstructionSet::eIS_Avx512, unsigned_type>::act(
                    x, 
                    UnaryMinusReg<eInstructionSet::eIS_Avx512, T>::act(
                        AddReg<eInstructionSet::eIS_Avx512, T>::act(y, one))),
                one),
                     
            // return result_type(x - y);
            SubReg<eInstructionSet::eIS_Avx512, unsigned_type>::act(x, y));
        //return SubReg<eInstructionSet::eIS_Avx2, unsigned_type>::act(x, y);
    }

    static IPSDK_FORCEINLINE
    void act(const typename Avx512Type<T>::Type& x,
             const typename Avx512Type<T>::Type& y,
             result_type& out)
    {
        const typename Avx512Type<T>::Type zero =
            AssignReg<eInstructionSet::eIS_Avx512, T>::act(0);

        const typename Avx512Type<T>::Type one =
            AssignReg<eInstructionSet::eIS_Avx512, T>::act(1);

        typename Avx512Type<T>::Type yNeg;
        IsLessReg<eInstructionSet::eIS_Avx512, T>::act(y, zero, yNeg);

        typename Avx512Type<T>::Type xNeg;
        IsLessReg<eInstructionSet::eIS_Avx512, T>::act(x, zero, xNeg);

        typename Avx512Type<T>::Type yNegAndXNotNeg;
        BitwiseAndNotReg<eInstructionSet::eIS_Avx512, T>::act(yNeg, xNeg, yNegAndXNotNeg);

        typename Avx512Type<T>::Type a_t;
        typename Avx512Type<unsigned_type>::Type a, b;
        
        AddReg<eInstructionSet::eIS_Avx512, T>::act(y, one, a_t);
        UnaryMinusReg<eInstructionSet::eIS_Avx512, T>::act(a_t, a_t);
        cast<eInstructionSet::eIS_Avx512, T, unsigned_type>(a_t, a);
        AddReg<eInstructionSet::eIS_Avx512, unsigned_type>::act(x, a, a);
        AddReg<eInstructionSet::eIS_Avx512, unsigned_type>::act(a, one, a);

        SubReg<eInstructionSet::eIS_Avx512, unsigned_type>::act(x, y, b);
        
        BitwiseSelectReg<eInstructionSet::eIS_Avx512, unsigned_type>::act(
            yNegAndXNotNeg, a, b, out);
    }
};

template<typename T1, typename T2>
struct SignedUnsignedAddReg<eInstructionSet::eIS_Avx512, 
    T1, T2, /* signed */ false>
{
    typedef typename Avx512Type<T2>::Type result_type;

    static IPSDK_FORCEINLINE
    result_type act(const typename Avx512Type<T1>::Type& x,
                    const typename Avx512Type<T2>::Type& y)
    {
        return AddReg<eInstructionSet::eIS_Avx512, T2>::act(x, y);
    }

    static IPSDK_FORCEINLINE
    void act(const typename Avx512Type<T1>::Type& x,
             const typename Avx512Type<T2>::Type& y,
             result_type& out)
    {
        AddReg<eInstructionSet::eIS_Avx512, T2>::act(x, y, out);
    }
};

template<typename T1, typename T2>
struct SignedUnsignedAddReg<eInstructionSet::eIS_Avx512,
    T1, T2, /* signed */ true>
{
    typedef typename Avx512Type<T2>::Type result_type;

    static IPSDK_FORCEINLINE
    result_type act(const typename Avx512Type<T1>::Type& x,
                    const typename Avx512Type<T2>::Type& y)
    {
        const typename Avx512Type<T1>::Type zero =
            AssignReg<eInstructionSet::eIS_Avx512, T1>::act(0);

        const typename Avx512Type<T2>::Type one =
            AssignReg<eInstructionSet::eIS_Avx512, T2>::act(1);

        const typename Avx512Type<T1>::Type yNeg =
            IsLessReg<eInstructionSet::eIS_Avx512, T1>::act(y, zero);

        const typename Avx512Type<T1>::Type minusYPlusOne =
            UnaryMinusReg<eInstructionSet::eIS_Avx512, T2>::act(
                AddReg<eInstructionSet::eIS_Avx512, T2>::act(y, one));

        const typename Avx512Type<T1>::Type xGtThnMinusYPlusOne =
            IsGreaterReg<eInstructionSet::eIS_Avx512, T1>::act(x, minusYPlusOne);

        const typename Avx512Type<T1>::Type yNegAndXGtThnMinusYPlusOne =
            BitwiseAndReg<eInstructionSet::eIS_Avx512, T1>::act(
                yNeg, xGtThnMinusYPlusOne);


        return BitwiseSelectReg<eInstructionSet::eIS_Avx512, T2>::act(
            yNegAndXGtThnMinusYPlusOne,

            // avoid the nasty two's complement edge case for y == min()
            // return T2(x - T1(-(y+1)) - 1);
            SubReg<eInstructionSet::eIS_Avx512, T1>::act(
                SubReg<eInstructionSet::eIS_Avx512, T1>::act(
                    x, minusYPlusOne),
                one),
            // return T2(x) + y;
            AddReg<eInstructionSet::eIS_Avx512, T2>::act(x, y));
        //return AddReg<eInstructionSet::eIS_Avx2, T2>::act(x, y);
    }

    static IPSDK_FORCEINLINE
    void act(const typename Avx512Type<T1>::Type& x,
             const typename Avx512Type<T2>::Type& y,
             result_type& out)
    {
        const typename Avx512Type<T1>::Type zero =
            AssignReg<eInstructionSet::eIS_Avx512, T1>::act(0);

        const typename Avx512Type<T2>::Type one =
            AssignReg<eInstructionSet::eIS_Avx512, T2>::act(1);

        typename Avx512Type<T1>::Type yNeg;
        IsLessReg<eInstructionSet::eIS_Avx512, T1>::act(y, zero, yNeg);

        typename Avx512Type<T2>::Type minusYPlusOne_t2;
        AddReg<eInstructionSet::eIS_Avx512, T2>::act(y, one, minusYPlusOne_t2);
        UnaryMinusReg<eInstructionSet::eIS_Avx512, T2>::act(minusYPlusOne_t2, minusYPlusOne_t2);

        typename Avx512Type<T1>::Type minusYPlusOne;
        cast<eInstructionSet::eIS_Avx512, T2, T1>(minusYPlusOne_t2, minusYPlusOne);

        typename Avx512Type<T1>::Type xGtThnMinusYPlusOne;
        IsGreaterReg<eInstructionSet::eIS_Avx512, T1>::act(x, minusYPlusOne, xGtThnMinusYPlusOne);

        typename Avx512Type<T1>::Type yNegAndXGtThnMinusYPlusOne;
            BitwiseAndReg<eInstructionSet::eIS_Avx512, T1>::act(
                yNeg, xGtThnMinusYPlusOne, yNegAndXGtThnMinusYPlusOne);

        typename Avx512Type<T1>::Type a;
        SubReg<eInstructionSet::eIS_Avx512, T1>::act(x, minusYPlusOne, a);
        SubReg<eInstructionSet::eIS_Avx512, T1>::act(a, one, a);

        typename Avx512Type<T2>::Type b;
        AddReg<eInstructionSet::eIS_Avx512, T2>::act(x, y, b);
        BitwiseSelectReg<eInstructionSet::eIS_Avx512, T2>::act(
            yNegAndXGtThnMinusYPlusOne, a, b, out);
    }
};


} // end of namespace detail
} // end of namespace simd
} // end of namespace ipsdk

#endif // __IPSDKUTIL_INSTRUCTIONSET_ARITHMETIC_DETAIL_AVX512_ADDREG_H__