Searched refs:NonNegDom (Results 1 – 1 of 1) sorted by relevance
90 auto *NonNegDom = isl_pw_aff_nonneg_set(PWAC.first.copy()); in interpretAsUnsigned() local92 isl_pw_aff_intersect_domain(PWAC.first.copy(), isl_set_copy(NonNegDom)); in interpretAsUnsigned()93 auto *ExpPWA = getWidthExpValOnDomain(Width, isl_set_complement(NonNegDom)); in interpretAsUnsigned()