fast ∨´
This commit is contained in:
parent
3d23d8ef70
commit
f0c6671ec0
@ -242,7 +242,7 @@ B fold_c1(Md1D* d, B x) { B f = d->f;
|
||||
if (xe==el_i32) { i32* xp = i32any_ptr(x); i32 c=I32_MIN; for (usz i=0; i<ia; i++) if (xp[i]>c) c=xp[i]; dec(x); return m_i32(c); }
|
||||
}
|
||||
if (rtid==11) { // ∨
|
||||
if (xe==el_bit) { u64* xp = bitarr_ptr(x); bool r=0; for (usz i=0; i<ia; i++) if (bitp_get(xp,i)) { r=1; break; } dec(x); return m_i32(r); }
|
||||
if (xe==el_bit) { u64* xp = bitarr_ptr(x); bool r=0; for (usz i=0; i<(ia>>6); i++) if (xp[i]){r=1;break;} r|= !!bitp_l0(xp,ia);dec(x); return m_i32(r); }
|
||||
if (xe==el_i8 ) { i8* xp = i8any_ptr (x); bool r=0; for (usz i=0; i<ia; i++) { i8 c=xp[i]; if (c!=0&&c!=1)goto base; r|=c; } dec(x); return m_i32(r); }
|
||||
if (xe==el_i16) { i16* xp = i16any_ptr(x); bool r=0; for (usz i=0; i<ia; i++) { i16 c=xp[i]; if (c!=0&&c!=1)goto base; r|=c; } dec(x); return m_i32(r); }
|
||||
if (xe==el_i32) { i32* xp = i32any_ptr(x); bool r=0; for (usz i=0; i<ia; i++) { i32 c=xp[i]; if (c!=0&&c!=1)goto base; r|=c; } dec(x); return m_i32(r); }
|
||||
|
||||
@ -28,6 +28,9 @@ static inline void bitp_set(u64* arr, u64 n, bool v) {
|
||||
static inline bool bitp_get(u64* arr, u64 n) {
|
||||
return (arr[n>>6] >> (n&63)) & 1;
|
||||
}
|
||||
static inline u64 bitp_l0(u64* arr, u64 ia) { // last u64 of the array, with the tail set to 0s
|
||||
return ia&63? arr[ia>>6]&((1ULL<<(ia&63))-1) : 0;
|
||||
}
|
||||
static inline u64 bitx(B x) { // repeats the boolean across all 64 bits
|
||||
return o2bu(x)? ~(u64)0 : 0;
|
||||
}
|
||||
|
||||
Loading…
Reference in New Issue
Block a user