Searched refs:ExpPWA (Results 1 – 1 of 1) sorted by relevance
93 auto *ExpPWA = getWidthExpValOnDomain(Width, isl_set_complement(NonNegDom)); in interpretAsUnsigned() local95 NonNegPWA, isl_pw_aff_add(PWAC.first.release(), ExpPWA))); in interpretAsUnsigned()288 auto *ExpPWA = getWidthExpValOnDomain(Width - 1, Dom); in visitTruncateExpr() local290 isl_pw_aff_ge_set(OpPWAC.first.copy(), isl_pw_aff_copy(ExpPWA)); in visitTruncateExpr()292 isl_pw_aff_lt_set(OpPWAC.first.copy(), isl_pw_aff_neg(ExpPWA)); in visitTruncateExpr()