better heuristic for 𝕨∊𝕩 comparison-or path
This commit is contained in:
parent
27d3ca4e90
commit
ec106c0b31
@ -301,7 +301,8 @@ B memberOf_c2(B t, B w, B x) {
|
|||||||
decG(w); goto dec_x;
|
decG(w); goto dec_x;
|
||||||
}
|
}
|
||||||
|
|
||||||
if (xia<=(xe==el_i8?1:xe==el_i16?4:16) && wia>16) {
|
u8 me = we>xe?we:xe;
|
||||||
|
if (xia<=(me==el_i8?1:me==el_i16?4:16) && wia>16) {
|
||||||
SGetU(x);
|
SGetU(x);
|
||||||
r = WEQ(GetU(x,0));
|
r = WEQ(GetU(x,0));
|
||||||
for (usz i=1; i<xia; i++) r = C2(or, r, WEQ(GetU(x,i)));
|
for (usz i=1; i<xia; i++) r = C2(or, r, WEQ(GetU(x,i)));
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user