NN_MAX_WORD_LEN
#if (NN_USABLE_MAX_BIT_LEN > NN_MAX_BIT_LEN) || (NN_USABLE_MAX_BYTE_LEN > NN_MAX_BYTE_LEN) || (NN_USABLE_MAX_WORD_LEN > NN_MAX_WORD_LEN)
#if (NN_MAX_WORD_LEN > 255)
for (k = NN_MAX_WORD_LEN; k > wlen; k--) {
for (i = 0; i < NN_MAX_WORD_LEN; i++) {
MUST_HAVE((in1->wlen <= NN_MAX_WORD_LEN), ret, err);
MUST_HAVE((in2->wlen <= NN_MAX_WORD_LEN), ret, err);
for (i = 0; i < NN_MAX_WORD_LEN; i++) {
MUST_HAVE((new_wlen <= NN_MAX_WORD_LEN), ret, err);
MUST_HAVE((A->wlen <= NN_MAX_WORD_LEN), ret, err);
for (i = 0; i < NN_MAX_WORD_LEN; i++) {
MUST_HAVE((A->wlen <= NN_MAX_WORD_LEN), ret, err);
for (i = 0; i < NN_MAX_WORD_LEN; i++) {
MUST_HAVE(!(A->wlen > NN_MAX_WORD_LEN), ret, err);
for (i = 1; i < NN_MAX_WORD_LEN; i++) {
#define NN_MAGIC ((word_t)((0xb4cf5d56e2023316ULL ^ (WORD(NN_MAX_WORD_LEN + WORDSIZE)))))
for (i = 0; i < NN_MAX_WORD_LEN; i++) {
for (wpos = 0; wpos < NN_MAX_WORD_LEN; wpos++) {
u16 buf_pos = (u16)((NN_MAX_WORD_LEN - wpos - 1) * WORD_BYTES);
for (i = A->wlen; i < NN_MAX_WORD_LEN; i++) {
for (i = 0; i < NN_MAX_WORD_LEN; i++) {
MUST_HAVE((A->wlen <= NN_MAX_WORD_LEN), ret, err);
for (i = 0; i < NN_MAX_WORD_LEN; i++) {
MUST_HAVE(((out->wlen != NN_MAX_WORD_LEN) || (!carry)), ret, err);
if (out->wlen != NN_MAX_WORD_LEN) {
MUST_HAVE(((out->wlen != NN_MAX_WORD_LEN) || (!carry)), ret, err);
if (out->wlen != NN_MAX_WORD_LEN) {
MUST_HAVE((p->wlen < NN_MAX_WORD_LEN), ret, err); /* otherwise carry could overflow */
MUST_HAVE((p->wlen < NN_MAX_WORD_LEN), ret, err); /* otherwise carry could overflow */
MUST_HAVE((p->wlen < NN_MAX_WORD_LEN), ret, err); /* otherwise carry could overflow */
MUST_HAVE((p->wlen < NN_MAX_WORD_LEN), ret, err); /* otherwise carry could overflow */
MUST_HAVE(((a->wlen + BIT_LEN_WORDS(cnt)) < NN_MAX_WORD_LEN), ret, err);
for (opos = owlen; opos < NN_MAX_WORD_LEN; opos++) {