Searched refs:OutOfBoundsDom (Results 1 – 1 of 1) sorted by relevance
293 auto *OutOfBoundsDom = isl_set_union(SmallerDom, GreaterDom); in visitTruncateExpr() local294 OpPWAC.second = OpPWAC.second.unite(isl::manage_copy(OutOfBoundsDom)); in visitTruncateExpr()297 assert(isl_set_dim(OutOfBoundsDom, isl_dim_set) == 0 && in visitTruncateExpr()299 OutOfBoundsDom = isl_set_params(OutOfBoundsDom); in visitTruncateExpr()302 recordAssumption(RecordedAssumptions, UNSIGNED, isl::manage(OutOfBoundsDom), in visitTruncateExpr()