67   mp_limb_t cy, bw;  in ecc_384_modp()  local
70   cy = mpn_add_n (rp + 4, rp + 4, rp + 16, 8);  in ecc_384_modp()
71   cy = sec_add_1 (rp + 12, rp + 12, 3, cy);  in ecc_384_modp()
76   cy += mpn_add_n (rp + 7, rp + 7, rp + 16, 8);  in ecc_384_modp()
77   cy = sec_add_1 (rp + 15, rp + 15, 1, cy);  in ecc_384_modp()
79   cy += mpn_add_n (rp + 8, rp + 8, rp + 16, 8);  in ecc_384_modp()
80   assert (bw <= cy);  in ecc_384_modp()
81   cy -= bw;  in ecc_384_modp()
83   assert (cy <= 2);    in ecc_384_modp()
84   rp[16] = cy;  in ecc_384_modp()
87   cy = mpn_add_n (rp, rp, rp + 12, 5);  in ecc_384_modp()
88   cy = sec_add_1 (rp + 5, rp + 5, 3, cy);  in ecc_384_modp()
93   cy += mpn_add_n (rp + 3, rp + 3, rp + 12, 5);  in ecc_384_modp()
94   cy = sec_add_1 (rp + 8, rp + 8, 1, cy);  in ecc_384_modp()
96   cy += mpn_add_n (rp + 4, rp + 4, rp + 12, 5);  in ecc_384_modp()
97   cy = sec_add_1 (rp + 9, rp + 9, 3, cy);  in ecc_384_modp()
99   assert (cy >= bw);  in ecc_384_modp()
100   cy -= bw;  in ecc_384_modp()
101   assert (cy <= 1);  in ecc_384_modp()
102   cy = cnd_add_n (cy, rp, p->B, ECC_LIMB_SIZE);  in ecc_384_modp()
103   assert (cy == 0);  in ecc_384_modp()
112   mp_limb_t cy;  in ecc_384_modp()  local
120   cy = mpn_add_n (rp + 2, rp + 2, rp + 8, 4);  in ecc_384_modp()
121   cy = sec_add_1 (rp + 6, rp + 6, 2, cy);  in ecc_384_modp()
123   cy += mpn_add_n (rp + 2, rp + 2, tp, 6);  in ecc_384_modp()
124   cy += mpn_add_n (rp + 4, rp + 4, rp + 8, 4);  in ecc_384_modp()
126   assert (cy <= 2);  in ecc_384_modp()
127   rp[8] = cy;  in ecc_384_modp()
135   cy = mpn_add_n (rp, rp, rp + 6, 3);  in ecc_384_modp()
136   cy = sec_add_1 (rp + 3, rp + 3, 2, cy);  in ecc_384_modp()
137   cy += mpn_add_n (rp, rp, tp, 5);  in ecc_384_modp()
138   cy += mpn_add_n (rp + 2, rp + 2, rp + 6, 3);  in ecc_384_modp()
140   cy = sec_add_1 (rp + 5, rp + 5, 1, cy);  in ecc_384_modp()
141   assert (cy <= 1);  in ecc_384_modp()
143   cy = cnd_add_n (cy, rp, p->B, ECC_LIMB_SIZE);  in ecc_384_modp()
144   assert (cy == 0);    in ecc_384_modp()