Matthias Springer eabb6ccdc8 [mlir][linalg] Replace getUpperBoundForIndex implementation ...

Use `reifyValueBound` instead, which is more general not hard-coded to a specific list supported ops.

Also add a `closedUB` parameter to the ValueBoundsOpInterface API.

Differential Revision: https://reviews.llvm.org/D146356

2023-04-11 10:32:34 +09:00

..

Utils

Use APInt::count{l,r}_{zero,one} (NFC)

2023-02-19 22:04:47 -08:00

CallInterfaces.cpp

…

CastInterfaces.cpp

…

CMakeLists.txt

[mlir][Interfaces] Add ValueBoundsOpInterface

2023-04-06 02:57:14 +02:00

ControlFlowInterfaces.cpp

…

CopyOpInterface.cpp

…

DataLayoutInterfaces.cpp

[mlir] Add stack alignment to the data layout dialect.

2023-04-03 06:58:37 +00:00

DerivedAttributeOpInterface.cpp

…

DestinationStyleOpInterface.cpp

…

InferIntRangeInterface.cpp

…

InferTypeOpInterface.cpp

[mlir][NFC] reifyResultShapes: Add extra error checking

2023-03-10 11:37:54 +01:00

LoopLikeInterface.cpp

[mlir] Add function for checking if a block is inside a loop

2023-02-10 16:14:17 +00:00

ParallelCombiningOpInterface.cpp

…

RuntimeVerifiableOpInterface.cpp

…

ShapedOpInterfaces.cpp

…

SideEffectInterfaces.cpp

…

TilingInterface.cpp

…

ValueBoundsOpInterface.cpp

[mlir][linalg] Replace getUpperBoundForIndex implementation

2023-04-11 10:32:34 +09:00

VectorInterfaces.cpp

…

ViewLikeInterface.cpp

[mlir] Add loop bounds to scf.foreach_thread.

2023-02-17 08:57:52 +01:00