Matthias Springer 0499d3a8cf

[mlir][Interfaces] Add hasUnknownEffects helper function (#154523) ...

I have seen misuse of the `hasEffect` API in downstream projects: users
sometimes think that `hasEffect == false` indicates that the operation
does not have a certain memory effect. That's not necessarily the case.
When the op does not implement the `MemoryEffectsOpInterface`, it is
unknown whether it has the specified effect. "false" can also mean
"maybe".

This commit clarifies the semantics in the documentation. Also adds
`hasUnknownEffects` and `mightHaveEffect` convenience functions. Also
simplifies a few call sites.

2025-08-20 15:24:53 +00:00

..

Utils

[mlir][InferIntRangeCommon] Fix Division by Zero Crash (#151637)

2025-08-17 10:56:34 -07:00

CallInterfaces.cpp

[mlir] share argument attributes interface between calls and callables (#123176)

2025-02-03 11:27:14 +01:00

CastInterfaces.cpp

…

CMakeLists.txt

[mlir][Interface] Factor out common IndexingMapOpInterface behavior in a new generic interface (#145313)

2025-06-24 07:56:32 +02:00

ControlFlowInterfaces.cpp

[mlir] Remove unused includes (NFC) (#148872)

2025-07-15 20:47:53 -07:00

CopyOpInterface.cpp

…

DataLayoutInterfaces.cpp

[MLIR][LLVM][DLTI] Handle data layout token 'n32:64' (#141299)

2025-05-28 11:07:03 -07:00

DerivedAttributeOpInterface.cpp

…

DestinationStyleOpInterface.cpp

[mlir][Interfaces] DestinationStyleOpInterface: Rename hasTensor/BufferSemantics (#77574)

2024-01-12 10:02:54 +01:00

FunctionImplementation.cpp

[mlir] share argument attributes interface between calls and callables (#123176)

2025-02-03 11:27:14 +01:00

FunctionInterfaces.cpp

[mlir] Migrate away from ArrayRef(std::nullopt) (NFC) (#145140)

2025-06-21 08:20:49 -07:00

IndexingMapOpInterface.cpp

[mlir][Interface] Factor out common IndexingMapOpInterface behavior in a new generic interface (#145313)

2025-06-24 07:56:32 +02:00

InferIntRangeInterface.cpp

[mlir] IntegerRangeAnalysis: return initialized state for noninteger values (#133541)

2025-03-28 16:13:10 -07:00

InferTypeOpInterface.cpp

[mlir] Clean up prints with llvm::interleaved. NFC. (#136468)

2025-04-19 22:59:57 -04:00

LoopLikeInterface.cpp

[mlir] Remove unused includes (NFC) (#148872)

2025-07-15 20:47:53 -07:00

MemorySlotInterfaces.cpp

…

ParallelCombiningOpInterface.cpp

…

RuntimeVerifiableOpInterface.cpp

[mlir] Tidy uses of llvm::raw_stream_ostream (NFC)

2024-09-16 23:23:25 -04:00

ShapedOpInterfaces.cpp

…

SideEffectInterfaces.cpp

[mlir][Interfaces] Add hasUnknownEffects helper function (#154523)

2025-08-20 15:24:53 +00:00

SubsetOpInterface.cpp

[mlir][Interfaces] LISH: Add helpers for hyperrectangular subsets (#70628)

2023-11-01 11:29:00 +09:00

TilingInterface.cpp

…

ValueBoundsOpInterface.cpp

[mlir][affine|ValueBounds] Add transform to simplify affine min max ops with ValueBoundsOpInterface (#145068)

2025-06-23 06:05:20 +02:00

VectorInterfaces.cpp

…

ViewLikeInterface.cpp

[mlir] ViewLikeInterface - verify ranks in verifyOffsetSizeAndStrideOp (#147926)

2025-07-20 14:20:16 +03:00