bitarr generation in bit_sel

This commit is contained in:
dzaima 2022-01-01 22:36:51 +02:00
parent 0690ae114a
commit ff4573f65c
2 changed files with 27 additions and 4 deletions

View File

@ -89,7 +89,7 @@ static bool eqShape(B w, B x) { assert(isArr(w)); assert(isArr(x));
return eqShPrefix(wsh, xsh, wr);
}
B bit_sel(B b, B e0, bool h0, B e1, bool h1); // consumes b; h0/h1 can be true if unknown
B bit_sel(B b, B e0, bool h0, B e1, bool h1); // consumes b; h0/h1 represent whether the corresponding element _might_ be in the result (can be true if unknown)
static B m_hVec1(B a ); // consumes all

View File

@ -1,5 +1,17 @@
#include "../core.h"
NOINLINE Arr* allZeroes(usz ia) { u64* rp; Arr* r = m_bitarrp(&rp, ia); for (usz i = 0; i < BIT_N(ia); i++) rp[i] = 0; return r; }
NOINLINE Arr* allOnes (usz ia) { u64* rp; Arr* r = m_bitarrp(&rp, ia); for (usz i = 0; i < BIT_N(ia); i++) rp[i] = ~0ULL; return r; }
NOINLINE B bit_negate(B x) { // consumes
u64* xp = bitarr_ptr(x);
u64* rp; B r = m_bitarrc(&rp, x);
usz ia = BIT_N(a(x)->ia);
for (usz i = 0; i < ia; i++) rp[i] = ~xp[i];
dec(x);
return r;
}
NOINLINE B bit_sel(B b, B e0, bool h0, B e1, bool h1) {
u8 t0 = selfElType(e0);
u8 t1 = selfElType(e1);
@ -10,9 +22,19 @@ NOINLINE B bit_sel(B b, B e0, bool h0, B e1, bool h1) {
if (elNum(t0) && elNum(t1)) { B r;
f64 f0 = o2fu(e0); i32 i0 = f0;
f64 f1 = o2fu(e1); i32 i1 = f1;
if (t0<=el_i8 & t1<=el_i8 ) { i8* rp; r=m_i8arrc (&rp, b); for (usz i = 0; i < ia; i++) rp[i] = bitp_get(bp,i)? i1 : i0; }
else if (t0<=el_i16 & t1<=el_i16) { i16* rp; r=m_i16arrc(&rp, b); for (usz i = 0; i < ia; i++) rp[i] = bitp_get(bp,i)? i1 : i0; }
else if (t0<=el_i32 & t1<=el_i32) { i32* rp; r=m_i32arrc(&rp, b); for (usz i = 0; i < ia; i++) rp[i] = bitp_get(bp,i)? i1 : i0; }
u8 tM = t0>t1? t0 : t1;
if (tM==el_bit) {
if (i0) {
if (i1) { Arr* a = allOnes(ia); arr_shCopy(a, b); r = taga(a); }
else return bit_negate(b);
} else {
if (i1) return b;
else { Arr* a = allZeroes(ia); arr_shCopy(a, b); r = taga(a); }
}
}
else if (tM==el_i8 ) { i8* rp; r=m_i8arrc (&rp, b); for (usz i = 0; i < ia; i++) rp[i] = bitp_get(bp,i)? i1 : i0; }
else if (tM==el_i16) { i16* rp; r=m_i16arrc(&rp, b); for (usz i = 0; i < ia; i++) rp[i] = bitp_get(bp,i)? i1 : i0; }
else if (tM==el_i32) { i32* rp; r=m_i32arrc(&rp, b); for (usz i = 0; i < ia; i++) rp[i] = bitp_get(bp,i)? i1 : i0; }
else { f64* rp; r=m_f64arrc(&rp, b); for (usz i = 0; i < ia; i++) rp[i] = bitp_get(bp,i)? f1 : f0; }
dec(b); return r;
} else if (elChr(t0) && elChr(t1)) { B r; u32 u0 = o2cu(e0); u32 u1 = o2cu(e1);
@ -22,6 +44,7 @@ NOINLINE B bit_sel(B b, B e0, bool h0, B e1, bool h1) {
dec(b); return r;
}
HArr_p r = m_harrUc(b);
SLOW3("bit_sel", e0, e1, b);
for (usz i = 0; i < ia; i++) r.a[i] = bitp_get(bp,i)? e1 : e0;
u64 c1 = bit_sum(bp, ia);