Home
last modified time | relevance | path

Searched refs:Transitive (Results 1 – 10 of 10) sorted by relevance

/llvm-project-15.0.7/llvm/lib/Transforms/IPO/
H A DMergeFunctions.cpp374 bool Transitive = true; in doFunctionalCheck() local
378 Transitive = Res3 == Res1; in doFunctionalCheck()
381 Transitive = Res3 == Res1; in doFunctionalCheck()
384 Transitive = Res4 == -Res1; in doFunctionalCheck()
387 if (!Transitive) { in doFunctionalCheck()
/llvm-project-15.0.7/polly/test/DeLICM/
H A Dreject_outofquota.ll79 ; DEP: Transitive closure of reduction dependences:
/llvm-project-15.0.7/polly/test/DependenceInfo/
H A Dgenerate_may_write_dependence_info.ll66 ; VALUE-NEXT: Transitive closure of reduction dependences:
H A Dreduction_sequence.ll70 ; CHECK-NEXT: Transitive closure of reduction dependences:
/llvm-project-15.0.7/polly/lib/External/isl/doc/
H A Disl.bib6 title = {Transitive Closure of Infinite Graphs and Its Applications},
27 title = {Computing the Transitive Closure of a Union of Affine Integer Tuple Relations},
406 title = {Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations},
H A Dimplementation.tex835 \section{Transitive Closure}
855 \begin{definition}[Transitive Closure of a Relation]
H A Duser.pod6656 =item * Transitive closure
/llvm-project-15.0.7/polly/test/ScheduleOptimizer/
H A Dpattern-matching-based-opts_9.ll39 ; DEPENDENCES-NEXT: Transitive closure of reduction dependences:
/llvm-project-15.0.7/polly/docs/
H A DHowToManuallyUseTheIndividualPiecesOfPolly.rst210 Transitive closure of reduction dependences:
221 Transitive closure of reduction dependences:
/llvm-project-15.0.7/mlir/test/Dialect/Bufferization/Transforms/
H A Done-shot-module-bufferize-analysis.mlir429 // Transitive cases
656 // Transitive cases through extract_slice.