1135     if (likely(int128_nz(b->s128) &&  in helper_VDIVSQ()
1136               (int128_ne(a->s128, int128_min) || int128_ne(b->s128, neg1)))) {  in helper_VDIVSQ()
1137         t->s128 = int128_divs(a->s128, b->s128);  in helper_VDIVSQ()
1139         t->s128 = a->s128; /* Undefined behavior */  in helper_VDIVSQ()
1145     if (int128_nz(b->s128)) {  in helper_VDIVUQ()
1146         t->s128 = int128_divu(a->s128, b->s128);  in helper_VDIVUQ()
1148         t->s128 = a->s128; /* Undefined behavior */  in helper_VDIVUQ()
1191     high = a->s128;  in helper_VDIVESQ()
1193     if (unlikely(!int128_nz(b->s128) ||  in helper_VDIVESQ()
1194                  (int128_eq(b->s128, neg1) && int128_eq(high, int128_min)))) {  in helper_VDIVESQ()
1195         t->s128 = a->s128; /* Undefined behavior */  in helper_VDIVESQ()
1197         divs256(&low, &high, b->s128);  in helper_VDIVESQ()
1198         t->s128 = low;  in helper_VDIVESQ()
1206     high = a->s128;  in helper_VDIVEUQ()
1208     if (unlikely(!int128_nz(b->s128))) {  in helper_VDIVEUQ()
1209         t->s128 = a->s128; /* Undefined behavior */  in helper_VDIVEUQ()
1211         divu256(&low, &high, b->s128);  in helper_VDIVEUQ()
1212         t->s128 = low;  in helper_VDIVEUQ()
1220     if (likely(int128_nz(b->s128) &&  in helper_VMODSQ()
1221               (int128_ne(a->s128, int128_min) || int128_ne(b->s128, neg1)))) {  in helper_VMODSQ()
1222         t->s128 = int128_rems(a->s128, b->s128);  in helper_VMODSQ()
1224         t->s128 = int128_zero(); /* Undefined behavior */  in helper_VMODSQ()
1230     if (likely(int128_nz(b->s128))) {  in helper_VMODUQ()
1231         t->s128 = int128_remu(a->s128, b->s128);  in helper_VMODUQ()
1233         t->s128 = int128_zero(); /* Undefined behavior */  in helper_VMODUQ()
1460     r->s128 = int128_xor(e, o);  in helper_VPMSUMD()
1617     return int128_getlo(int128_rshift(b->s128, index)) &        \
1859             conj = a->s128;  in helper_XXEVAL()
1861             conj = int128_not(a->s128);  in helper_XXEVAL()
1864             conj = int128_and(conj, b->s128);  in helper_XXEVAL()
1866             conj = int128_and(conj, int128_not(b->s128));  in helper_XXEVAL()
1869             conj = int128_and(conj, c->s128);  in helper_XXEVAL()
1871             conj = int128_and(conj, int128_not(c->s128));  in helper_XXEVAL()
1879     t->s128 = disj;  in helper_XXEVAL()
2118     r->s128 = int128_add(a->s128, b->s128);
2123     r->s128 = int128_add(int128_add(a->s128, b->s128),  in helper_VADDEUQM()
2124                          int128_make64(int128_getlo(c->s128) & 1));  in helper_VADDEUQM()
2129     r->VsrD(1) = int128_ult(int128_not(a->s128), b->s128);  in helper_VADDCUQ()
2135     bool carry_out = int128_ult(int128_not(a->s128), b->s128),  in helper_VADDECUQ()
2136          carry_in = int128_getlo(c->s128) & 1;  in helper_VADDECUQ()
2139         carry_out = (int128_nz(a->s128) || int128_nz(b->s128)) &&  in helper_VADDECUQ()
2140                     int128_eq(int128_add(a->s128, b->s128), int128_makes64(-1));  in helper_VADDECUQ()
2149     r->s128 = int128_sub(a->s128, b->s128);  in helper_VSUBUQM()
2154     r->s128 = int128_add(int128_add(a->s128, int128_not(b->s128)),  in helper_VSUBEUQM()
2155                          int128_make64(int128_getlo(c->s128) & 1));  in helper_VSUBEUQM()
2160     Int128 tmp = int128_not(b->s128);  in helper_VSUBCUQ()
2162     r->VsrD(1) = int128_ult(int128_not(a->s128), tmp) ||  in helper_VSUBCUQ()
2163                  int128_eq(int128_add(a->s128, tmp), int128_makes64(-1));  in helper_VSUBCUQ()
2169     Int128 tmp = int128_not(b->s128);  in helper_VSUBECUQ()
2170     bool carry_out = int128_ult(int128_not(a->s128), tmp),  in helper_VSUBECUQ()
2171          carry_in = int128_getlo(c->s128) & 1;  in helper_VSUBECUQ()
2173     r->VsrD(1) = carry_out || (carry_in && int128_eq(int128_add(a->s128, tmp),  in helper_VSUBECUQ()