Lines Matching defs:word_idx
107 unsigned word_idx;
1499 consts[t].word_idx = idx;
1551 consts[t].word_idx = idx;
1583 if (consts[t].word_idx == i)
1584 consts[t].word_idx = (i + 1);
1585 else if (consts[t].word_idx == (i + 1))
1586 consts[t].word_idx = i;
1856 unsigned word_idx = clause_state.consts[i].word_idx;
1857 assert(word_idx <= 8);
1861 uint64_t pair = constant_pairs[word_idx];
1864 tuple->fau_idx = bi_constant_field(word_idx) | lo;
1865 bi_rewrite_constants_to_pass(tuple, pair, word_idx == pcrel_idx);