DR_SMT_NPREF_SETS
int dr_smt_preference[DR_SMT_NPREF_SETS];
DR_SMT_NPREF_SETS);
ASSERT(idx < DR_SMT_NUNITS_PER_SET * DR_SMT_NPREF_SETS);
for (idx = 0; idx < DR_SMT_NUNITS_PER_SET * DR_SMT_NPREF_SETS; idx++) {
DR_SMT_NPREF_SETS);