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.
Depends On: D147769
Differential D146356
[mlir][linalg] Remove `linalg::getUpperBoundForIndex` util springerm on Mar 18 2023, 1:59 AM. Authored by
Details 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. Depends On: D147769
Diff Detail
Event TimelineComment Actions This change cannot be landed yet. There are certain inputs where it triggers an assertion in FlatLinearValueConstraints.cpp: LLVM_DEBUG(llvm::dbgs() << "composition unimplemented for semi-affine maps\n"); Comment Actions Actually, it can be landed. We have the same limitation in linalg::getUpperBoundForIndex. We just need better error handling: D147769 |