Searched refs:neqs (Results 1 – 4 of 4) sorted by relevance
2036 unsigned int *neqs = XNEWVEC (unsigned int, OMEGA_MAX_GEQS); in omega_eliminate_redundant() local2052 peqs[e] = zeqs[e] = neqs[e] = 0; in omega_eliminate_redundant()2059 neqs[e] |= tmp; in omega_eliminate_redundant()2082 pz = ((zeqs[e1] & zeqs[e2]) | (peqs[e1] & neqs[e2]) in omega_eliminate_redundant()2083 | (neqs[e1] & peqs[e2])); in omega_eliminate_redundant()2085 pn = neqs[e1] | neqs[e2]; in omega_eliminate_redundant()2113 || !implies (neqs[e3], pn)) in omega_eliminate_redundant()2157 || !implies (neqs[e3], pp)) in omega_eliminate_redundant()2195 free (neqs); in omega_eliminate_redundant()2271 free (neqs); in omega_eliminate_redundant()
217 for (i = 0, eq = sc->eq[0]; i < sc->neqs; i++, eq = sc->eq[i])855 uint32_t neqs; member
612 sc->intrs[sc->neqs++].eq = eq; in oce_eq_create()
1880 for (i = 0 ; i < sc->neqs; i++) { in oce_eqd_set_periodic()