Commit 38dc1294 authored by Richard Henderson's avatar Richard Henderson
Browse files

tcg: Add support for vector bitwise select 



This operation performs d = (b & a) | (c & ~a), and is present
on a majority of host vector units.  Include gvec expanders.

Signed-off-by: default avatarRichard Henderson <richard.henderson@linaro.org>
parent 532ba368

accel/tcg/tcg-runtime-gvec.c

+14 −0
Original line number Diff line number Diff line
@@ -1444,3 +1444,17 @@ void HELPER(gvec_umax64)(void *d, void *a, void *b, uint32_t desc) 
    }

    clear_high(d, oprsz, desc);

}



void HELPER(gvec_bitsel)(void *d, void *a, void *b, void *c, uint32_t desc)

{

    intptr_t oprsz = simd_oprsz(desc);

    intptr_t i;



    for (i = 0; i < oprsz; i += sizeof(vec64)) {

        vec64 aa = *(vec64 *)(a + i);

        vec64 bb = *(vec64 *)(b + i);

        vec64 cc = *(vec64 *)(c + i);

        *(vec64 *)(d + i) = (bb & aa) | (cc & ~aa);

    }

    clear_high(d, oprsz, desc);

}

accel/tcg/tcg-runtime.h

+2 −0
Original line number Diff line number Diff line
@@ -303,3 +303,5 @@ DEF_HELPER_FLAGS_4(gvec_leu8, TCG_CALL_NO_RWG, void, ptr, ptr, ptr, i32) 
DEF_HELPER_FLAGS_4(gvec_leu16, TCG_CALL_NO_RWG, void, ptr, ptr, ptr, i32)

DEF_HELPER_FLAGS_4(gvec_leu32, TCG_CALL_NO_RWG, void, ptr, ptr, ptr, i32)

DEF_HELPER_FLAGS_4(gvec_leu64, TCG_CALL_NO_RWG, void, ptr, ptr, ptr, i32)



DEF_HELPER_FLAGS_5(gvec_bitsel, TCG_CALL_NO_RWG, void, ptr, ptr, ptr, ptr, i32)

tcg/README

+4 −0
Original line number Diff line number Diff line
@@ -627,6 +627,10 @@ E.g. VECL=1 -> 64 << 1 -> v128, and VECE=2 -> 1 << 2 -> i32. 


  Compare vectors by element, storing -1 for true and 0 for false.



* bitsel_vec v0, v1, v2, v3



  Bitwise select, v0 = (v2 & v1) | (v3 & ~v1), across the entire vector.



*********



Note 1: Some shortcuts are defined when the last operand is known to be

tcg/aarch64/tcg-target.h

+1 −0
Original line number Diff line number Diff line
@@ -140,6 +140,7 @@ typedef enum { 
#define TCG_TARGET_HAS_mul_vec          1

#define TCG_TARGET_HAS_sat_vec          1

#define TCG_TARGET_HAS_minmax_vec       1

#define TCG_TARGET_HAS_bitsel_vec       0



#define TCG_TARGET_DEFAULT_MO (0)

#define TCG_TARGET_HAS_MEMORY_BSWAP     1

tcg/i386/tcg-target.h

+1 −0
Original line number Diff line number Diff line
@@ -190,6 +190,7 @@ extern bool have_avx2; 
#define TCG_TARGET_HAS_mul_vec          1

#define TCG_TARGET_HAS_sat_vec          1

#define TCG_TARGET_HAS_minmax_vec       1

#define TCG_TARGET_HAS_bitsel_vec       0



#define TCG_TARGET_deposit_i32_valid(ofs, len) \

    (((ofs) == 0 && (len) == 8) || ((ofs) == 8 && (len) == 8) || \