faster atom∾atom

This commit is contained in:
dzaima 2024-06-01 16:22:34 +03:00
parent 44af7d4980
commit 8044c560a4

View File

@ -889,7 +889,10 @@ B join_c1(B t, B x) {
}
}
B join_c2(B t, B w, B x) {
if (isAtm(w)) w = m_unit(w);
if (isAtm(w)) {
if (isAtm(x)) return pair_c2(t, w, x);
w = m_unit(w);
}
ur wr = RNK(w);
if (isAtm(x)) {
if (wr==1 && inplace_add(w, x)) return w;