Home
last modified time | relevance | path

Searched refs:isl (Results 1 – 25 of 192) sorted by relevance

12345678

/llvm-project-15.0.7/polly/lib/External/isl/include/isl/
H A Disl-noexceptions.h480 inline isl::pw_aff set_tuple_id(isl::dim type, const isl::id &id) const;
584 std::function<isl::ast_node(isl::ast_node, isl::ast_build)> func;
2289 inline isl::map set_tuple_id(isl::dim type, isl::id id) const;
3162 inline isl::pw_aff set_tuple_id(isl::dim type, isl::id id) const;
4184 inline isl::space set_tuple_id(isl::dim type, isl::id id) const;
11676 isl::map map::set_tuple_id(isl::dim type, isl::id id) const in set_tuple_id()
15587 isl::pw_aff pw_aff::param_on_domain(isl::set domain, isl::id id) in param_on_domain()
19971 isl::space space::set_tuple_id(isl::dim type, isl::id id) const in set_tuple_id()
22713 isl::val val::nan(isl::ctx ctx) in nan()
22759 isl::val val::one(isl::ctx ctx) in one()
[all …]
/llvm-project-15.0.7/polly/lib/Support/
H A DISLTools.cpp79 isl::map makeTupleSwapMap(isl::space FromSpace1, isl::space FromSpace2) { in makeTupleSwapMap()
119 isl::map polly::betweenScatter(isl::map From, isl::map To, bool InclFrom, in betweenScatter()
127 isl::union_map polly::betweenScatter(isl::union_map From, isl::union_map To, in betweenScatter()
135 isl::map polly::singleton(isl::union_map UMap, isl::space ExpectedSpace) { in singleton()
149 isl::set polly::singleton(isl::union_set USet, isl::space ExpectedSpace) { in singleton()
266 isl::union_map polly::shiftDim(isl::union_map UMap, isl::dim Dim, int Pos, in shiftDim()
428 isl::map polly::convertZoneToTimepoints(isl::map Zone, isl::dim Dim, in convertZoneToTimepoints()
523 isl::map polly::intersectRange(isl::map Map, isl::union_set Range) { in intersectRange()
528 isl::map polly::subtractParams(isl::map Map, isl::set Params) { in subtractParams()
534 isl::set polly::subtractParams(isl::set Set, isl::set Params) { in subtractParams()
[all …]
/llvm-project-15.0.7/polly/include/polly/Support/
H A DISLOperators.h22 inline isl::pw_aff operator+(isl::pw_aff Left, isl::pw_aff Right) {
26 inline isl::pw_aff operator+(isl::val ValLeft, isl::pw_aff Right) {
31 inline isl::pw_aff operator+(isl::pw_aff Left, isl::val ValRight) {
53 inline isl::pw_aff operator*(isl::pw_aff Left, isl::pw_aff Right) {
57 inline isl::pw_aff operator*(isl::val ValLeft, isl::pw_aff Right) {
62 inline isl::pw_aff operator*(isl::pw_aff Left, isl::val ValRight) {
84 inline isl::pw_aff operator-(isl::pw_aff Left, isl::pw_aff Right) {
88 inline isl::pw_aff operator-(isl::val ValLeft, isl::pw_aff Right) {
93 inline isl::pw_aff operator-(isl::pw_aff Left, isl::val ValRight) {
118 inline isl::pw_aff operator/(isl::pw_aff Left, isl::pw_aff Right) {
[all …]
H A DISLTools.h155 isl::union_map betweenScatter(isl::union_map From, isl::union_map To,
167 isl::map singleton(isl::union_map UMap, isl::space ExpectedSpace);
178 isl::set singleton(isl::union_set USet, isl::space ExpectedSpace);
230 isl::map reverseDomain(isl::map Map);
259 isl::map shiftDim(isl::map Map, isl::dim Dim, int Pos, int Amount);
457 isl::union_map convertZoneToTimepoints(isl::union_map Zone, isl::dim Dim,
481 isl::union_map liftDomains(isl::union_map UMap, isl::union_set Factor);
489 isl::union_map applyDomainRange(isl::union_map UMap, isl::union_map Func);
501 isl::map intersectRange(isl::map Map, isl::union_set Range);
516 isl::map subtractParams(isl::map Map, isl::set Params);
[all …]
H A DISLOStream.h25 ADD_OSTREAM_PRINTER(isl::aff)
26 ADD_OSTREAM_PRINTER(isl::ast_expr)
27 ADD_OSTREAM_PRINTER(isl::ast_node)
28 ADD_OSTREAM_PRINTER(isl::basic_map)
30 ADD_OSTREAM_PRINTER(isl::map)
31 ADD_OSTREAM_PRINTER(isl::set)
32 ADD_OSTREAM_PRINTER(isl::id)
36 ADD_OSTREAM_PRINTER(isl::point)
37 ADD_OSTREAM_PRINTER(isl::pw_aff)
39 ADD_OSTREAM_PRINTER(isl::schedule)
[all …]
/llvm-project-15.0.7/polly/lib/Transform/
H A DScheduleTreeTransform.cpp236 isl::schedule visitSchedule(isl::schedule Schedule) { in visitSchedule()
259 isl::schedule visitSet(isl::schedule_node_set Set, in visitSet()
275 isl::schedule visitLeaf(isl::schedule_node_leaf Leaf, in visitLeaf()
390 isl::schedule visitSchedule(isl::schedule Schedule) { in visitSchedule()
511 static isl::schedule_node insertMark(isl::schedule_node Band, isl::id Mark) { in insertMark()
535 isl::aff Id = isl::aff::var_on_domain(LUnispace, isl::dim::out, 0); in isDivisibleBySet()
722 isl::val ExecTime = isl::val(Ctx, P.index()); in remainigDepsFromSequence()
753 isl::map After = isl::map::lex_gt(NewScatterSpace); in canFuseOutermost()
847 isl::schedule visitBand(isl::schedule_node_band Band, isl::union_map Deps) { in visitBand()
1004 isl::multi_union_pw_aff PartialSched = isl::manage( in applyFullUnroll()
[all …]
H A DFlattenAlgo.cpp74 isl::union_pw_aff subtract(isl::union_pw_aff UPwAff, isl::val Val) { in subtract()
79 isl::stat Stat = in subtract()
80 UPwAff.foreach_pw_aff([=, &Result](isl::pw_aff PwAff) -> isl::stat { in subtract()
82 isl::pw_aff(isl::set::universe(PwAff.get_space().domain()), Val); in subtract()
93 isl::union_pw_aff multiply(isl::union_pw_aff UPwAff, isl::val Val) { in multiply()
98 isl::stat Stat = in multiply()
99 UPwAff.foreach_pw_aff([=, &Result](isl::pw_aff PwAff) -> isl::stat { in multiply()
135 isl::map SingleMap = Map.project_out(isl::dim::out, 0, pos); in scheduleExtractDimAff()
164 isl::union_map tryFlattenSequence(isl::union_map Schedule) { in tryFlattenSequence()
254 isl::union_map tryFlattenLoop(isl::union_map Schedule) { in tryFlattenLoop()
[all …]
H A DZoneAlgo.cpp193 isl::union_map Defs = isl::union_map::from_domain(Writes); in computeScalarReachingDefinition()
239 static isl::map makeUnknownForDomain(isl::set Domain) { in makeUnknownForDomain()
254 isl::union_map Result = isl::union_map::empty(UMap.ctx()); in filterKnownValInst()
629 isl::map ZoneAlgorithm::getScatterFor(isl::set Domain) const { in getScatterFor()
694 Result = Result.equate(isl::dim::in, i, isl::dim::out, i); in getDefToTarget()
847 static isl::union_map normalizeValInst(isl::union_map Input, in normalizeValInst()
850 isl::union_map Result = isl::union_map::empty(Input.ctx()); in normalizeValInst()
926 isl::boolean ZoneAlgorithm::isNormalized(isl::map Map) { in isNormalized()
935 isl::id OutTupleId = Unwrapped.get_tuple_id(isl::dim::out); in isNormalized()
942 isl::id InTupleId = Unwrapped.get_tuple_id(isl::dim::in); in isNormalized()
[all …]
H A DMatmulOptimizer.cpp167 static isl::union_set getUnrollIsolatedSetOptions(isl::ctx Ctx) { in getUnrollIsolatedSetOptions()
168 isl::space Space = isl::space(Ctx, 0, 0, 1); in getUnrollIsolatedSetOptions()
169 isl::map UnrollIsolatedSetOption = isl::map::universe(Space); in getUnrollIsolatedSetOptions()
170 isl::id DimInId = isl::id::alloc(Ctx, "isolate", nullptr); in getUnrollIsolatedSetOptions()
171 isl::id DimOutId = isl::id::alloc(Ctx, "unroll", nullptr); in getUnrollIsolatedSetOptions()
189 static isl::map permuteDimensions(isl::map Map, isl::dim DimType, in permuteDimensions()
195 isl::id DimId; in permuteDimensions()
198 auto FreeDim = DimType == isl::dim::in ? isl::dim::out : isl::dim::in; in permuteDimensions()
230 isl::map Universe = isl::map::universe(Space); in isMatMulOperandAcc()
247 .equate(isl::dim::in, SecondDims[i], isl::dim::out, 1); in isMatMulOperandAcc()
[all …]
H A DSimplify.cpp89 static isl::union_map underapproximatedAddMap(isl::union_map UMap, in underapproximatedAddMap()
103 isl::map Result = isl::map::empty(PrevMap.get_space()); in underapproximatedAddMap()
274 isl::map AccRelUniv = isl::map::universe(AccRel.get_space()); in removeOverwrites()
324 isl::id Id = isl::id::alloc(Ctx, Name, V); in coalesceWrites()
326 isl::space(Ctx, 0, 0).set_tuple_id(isl::dim::set, Id)); in coalesceWrites()
462 isl::set::universe(isl::space(S->getIslCtx(), 0, 0) in coalesceWrites()
489 isl::id Id = isl::manage(isl_id_alloc(Ctx, Name.c_str(), V)); in removeRedundantWrites()
491 isl::space(Ctx, 0, 0).set_tuple_id(isl::dim::set, Id)); in removeRedundantWrites()
502 isl::union_map Known = isl::union_map::empty(S->getIslCtx()); in removeRedundantWrites()
531 isl::map AccRelStoredVal = isl::map::from_domain_and_range( in removeRedundantWrites()
[all …]
H A DScheduleOptimizer.cpp250 static isl::schedule
330 static isl::schedule_node prevectSchedBand(isl::schedule_node Node,
355 static isl::schedule_node applyTileBandOpt(isl::schedule_node Node);
360 static isl::schedule_node applyPrevectBandOpt(isl::schedule_node Node);
363 isl::schedule_node
382 isl::schedule_node visitBand(isl::schedule_node_band Band) { in visitBand()
389 isl::id LoopMarker = isl::id::alloc(Band.ctx(), "SIMD", nullptr); in visitBand()
500 isl::schedule_node
521 isl::schedule_node Node = isl::manage(NodeArg); in optimizeBand()
547 isl::schedule
[all …]
/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_test_cpp-generic.cc32 isl::set empty = isl::manage(c_empty); in test_pointer()
63 isl::val null; in test_constructors()
66 isl::val zero_from_str = isl::val(ctx, "0"); in test_constructors()
69 isl::val zero_int_con = isl::val(ctx, 0); in test_constructors()
72 isl::val zero_static_con = isl::val::zero(ctx); in test_constructors()
83 isl::union_set empty = isl::union_set::empty(ctx); in test_constructors()
101 isl::val long_zero_str = isl::val(ctx, std::to_string(0)); in test_parameters_int()
102 isl::val long_zero_int = isl::val(ctx, 0); in test_parameters_int()
227 isl::space unit = isl::space::unit(ctx); in test_space()
231 isl::set set = isl::set::universe(set_space); in test_space()
[all …]
H A Disl_test_cpp-checked.cc37 static int size_val(isl::size s) in size_val()
64 isl::set univ(ctx, "{ : }"); in test_return_bool()
65 isl::set null; in test_return_bool()
142 return isl::stat::ok(); in test_foreach()
155 return isl::stat::error(); in test_foreach()
174 auto fail = [] (isl::set s){ in test_every()
200 return isl::boolean(true); in test_schedule_tree()
220 return isl::boolean(); in test_schedule_tree()
231 return isl::boolean(true); in test_schedule_tree()
251 isl::ast_build build) { in test_ast_build()
[all …]
H A Disl_test_cpp.cc46 isl::set empty(ctx, "{ : false }"); in test_return_bool()
47 isl::set univ(ctx, "{ : }"); in test_return_bool()
48 isl::set null; in test_return_bool()
70 static void test_return(isl::ctx ctx) in test_return()
85 static void test_foreach(isl::ctx ctx) in test_foreach()
122 static void test_every(isl::ctx ctx) in test_every()
149 isl::exception copy; in test_exception()
154 isl::exception>::value, in test_exception()
255 isl::ast_build build) { in test_ast_build()
261 auto build = isl::ast_build(ctx); in test_ast_build()
[all …]
H A Disl_test_python.py8 import isl
24 zero1 = isl.val("0")
27 zero2 = isl.val(0)
30 zero3 = isl.val.zero()
35 s = isl.set(bs)
45 val_int = isl.val(i)
82 two = isl.val(2)
101 one = isl.val("1")
102 two = isl.val("2")
112 one = isl.val("1")
[all …]
H A Disl_test_cpp-checked-conversion.cc22 isl::checked::set checked_set; in check_conversion_null()
23 isl::set set; in check_conversion_null()
27 set = isl::uncheck(checked_set); in check_conversion_null()
29 } catch (const isl::exception &e) { in check_conversion_null()
44 static void f_unchecked(isl::set set) in f_unchecked()
57 f_checked(isl::check(set)); in check_conversion_call()
58 f_unchecked(isl::uncheck(checked_set)); in check_conversion_call()
68 isl::set set2; in check_conversion_equal()
69 isl::checked::set checked_set; in check_conversion_equal()
71 checked_set = isl::check(set); in check_conversion_equal()
[all …]
/llvm-project-15.0.7/polly/include/polly/
H A DZoneAlgo.h41 isl::union_map filterKnownValInst(const isl::union_map &UMap);
69 isl::space ParamSpace;
72 isl::space ScatterSpace;
75 isl::union_map Schedule;
193 isl::union_map getWrittenValue(MemoryAccess *MA, isl::map AccRel);
234 isl::union_map getScatterFor(isl::union_set Domain) const;
237 isl::map getScatterFor(isl::set Domain) const;
288 isl::map getScalarReachingDefinition(isl::set DomainDef);
372 isl::boolean isNormalized(isl::map Map);
373 isl::boolean isNormalized(isl::union_map Map);
[all …]
H A DScheduleTreeTransform.h171 isl::schedule_node visitNode(isl::schedule_node Node, Args... args) { in visitNode()
175 isl::schedule_node visitChildren(isl::schedule_node Node, Args... args) { in visitChildren()
202 isl::schedule hoistExtensionNodes(isl::schedule Sched);
209 isl::schedule applyFullUnroll(isl::schedule_node BandToUnroll);
212 isl::schedule applyPartialUnroll(isl::schedule_node BandToUnroll, int Factor);
215 isl::schedule applyMaxFission(isl::schedule_node BandToFission);
235 isl::set getPartialTilePrefixes(isl::set ScheduleRange, int VectorWidth);
251 isl::union_set getDimOptions(isl::ctx Ctx, const char *Option);
263 isl::schedule_node tileNode(isl::schedule_node Node, const char *Identifier,
272 isl::schedule_node applyRegisterTiling(isl::schedule_node Node,
[all …]
/llvm-project-15.0.7/polly/lib/External/
H A DCMakeLists.txt196 isl/isl_aff.c
199 isl/isl_arg.c
202 isl/isl_ast.c
206 isl/isl_blk.c
208 isl/isl_box.c
212 isl/isl_ctx.c
218 isl/isl_ffs.c
222 isl/isl_id.c
226 isl/isl_ilp.c
232 isl/isl_lp.c
[all …]
/llvm-project-15.0.7/polly/unittests/Isl/
H A DIslTest.cpp284 isl::val ValOne = isl::val(IslCtx.get(), 1); in TEST()
285 isl::val ValTwo = isl::val(IslCtx.get(), 2); in TEST()
286 isl::val ValThree = isl::val(IslCtx.get(), 3); in TEST()
287 isl::val ValFour = isl::val(IslCtx.get(), 4); in TEST()
296 isl::pw_aff AffOne = isl::aff(LS, ValOne); in TEST()
297 isl::pw_aff AffTwo = isl::aff(LS, ValTwo); in TEST()
299 isl::pw_aff AffFour = isl::aff(LS, ValFour); in TEST()
418 isl::stat Stat = TestUMap.foreach_map([&](isl::map Map) -> isl::stat { in TEST()
429 isl::stat Stat = TestUSet.foreach_set([&](isl::set Set) -> isl::stat { in TEST()
441 isl::stat Stat = UPwAff.foreach_pw_aff([&](isl::pw_aff PwAff) -> isl::stat { in TEST()
[all …]
/llvm-project-15.0.7/polly/utils/pyscop/
H A Disl.py3 isl = cdll.LoadLibrary("libisl.so") variable
10 ptr = isl.isl_ctx_alloc()
15 isl.isl_ctx_free(self)
152 dim = isl.isl_dim_copy(dim)
153 return isl.isl_map_lex_lt(dim)
157 dim = isl.isl_dim_copy(dim)
158 return isl.isl_map_lex_le(dim)
162 dim = isl.isl_dim_copy(dim)
163 return isl.isl_map_lex_gt(dim)
167 dim = isl.isl_dim_copy(dim)
[all …]
/llvm-project-15.0.7/polly/lib/Analysis/
H A DScopInfo.cpp376 isl::id Id = PMA.get_tuple_id(isl::dim::out); in getFromAccessFunction()
412 isl::aff Var = isl::aff::var_on_domain(LArraySpace, isl::dim::set, i); in wrapConstantDimensions()
455 isl::map Map = isl::map::from_domain_and_range( in updateDimensionality()
477 isl::val V = isl::val(Ctx, ArrayElemSize); in updateDimensionality()
501 isl::map Map = isl::map::from_domain_and_range( in updateDimensionality()
644 isl::set Outside = isl::set::empty(Space); in assumeNoOutOfBound()
647 isl::pw_aff Var = isl::pw_aff::var_on_domain(LS, isl::dim::set, i); in assumeNoOutOfBound()
648 isl::pw_aff Zero = isl::pw_aff(LS); in assumeNoOutOfBound()
971 isl::map Map = isl::map::universe(Space); in getEqualAndLarger()
1096 return isl::map::from_aff(isl::aff(isl::local_space(getDomainSpace()))); in getSchedule()
[all …]
/llvm-project-15.0.7/polly/unittests/DeLICM/
H A DDeLICMTest.cpp25 isl::union_set unionSpace(const isl::union_set &USet) { in unionSpace()
29 isl::set Universe = isl::set::universe(Space); in unionSpace()
35 void completeLifetime(isl::union_set Universe, isl::union_map OccupiedAndKnown, in completeLifetime()
36 isl::union_set &Occupied, isl::union_map &Known, in completeLifetime()
84 return isl::union_set(Ctx, Str); in parseSetOrNull()
90 return isl::union_map(Ctx, Str); in parseMapOrNull()
95 isl::union_set ExistingUnused, isl::union_map ExistingWritten, in checkIsConflictingNonsymmetricCommon()
96 isl::union_map ProposedOccupiedAndKnown, isl::union_set ProposedUnused, in checkIsConflictingNonsymmetricCommon()
117 isl::id NewId = isl::id::alloc(Ctx, "Unrelated", &NewId); in checkIsConflictingNonsymmetricCommon()
127 isl::union_map ExistingKnown; in checkIsConflictingNonsymmetricCommon()
[all …]
/llvm-project-15.0.7/polly/lib/CodeGen/
H A DIslAst.cpp167 isl::pw_aff DD = in cbPrintFor()
233 isl::union_map MaRedDeps = isl::manage_copy(MaRedPair.second); in astScheduleDimIsParallel()
335 static isl::ast_expr buildCondition(Scop &S, isl::ast_build Build, in buildCondition()
344 isl::id Left = AFirst.get_tuple_id(isl::dim::set); in buildCondition()
345 isl::id Right = BFirst.get_tuple_id(isl::dim::set); in buildCondition()
348 isl::ast_expr::from_val(isl::val::int_from_ui(Build.ctx(), 1)); in buildCondition()
616 isl::union_map IslAstInfo::getSchedule(const isl::ast_node &Node) { in getSchedule()
621 isl::pw_aff
633 isl::ast_build IslAstInfo::getBuild(const isl::ast_node &Node) { in getBuild()
678 isl::ast_node_user AstNode = isl::manage_copy(Node).as<isl::ast_node_user>(); in cbPrintUser()
[all …]
/llvm-project-15.0.7/polly/include/polly/CodeGen/
H A DIslAst.h43 isl::ast_node getAst();
48 isl::ast_expr getRunCondition();
56 static isl::ast_expr buildRunCondition(Scop &S, const isl::ast_build &Build);
61 isl::ast_expr RunCondition;
62 isl::ast_node Root;
98 isl::ast_build Build;
115 isl::ast_node getAst();
123 isl::ast_expr getRunCondition();
152 static isl::union_map getSchedule(const isl::ast_node &Node);
155 static isl::pw_aff getMinimalDependenceDistance(const isl::ast_node &Node);
[all …]

12345678