[Mlir-commits] [mlir] [mlir][ValueBounds] Skip analysis for identical slice components (PR #226894)
llvmlistbot at llvm.org
llvmlistbot at llvm.org
Sun Sep 27 23:04:57 PDT 2026
github-actions[bot] wrote:
<!--LLVM CODE FORMAT COMMENT: {clang-format}-->
:warning: C/C++ code formatter, clang-format found issues in your code. :warning:
<details>
<summary>
You can test this locally with the following command:
</summary>
``````````bash
git-clang-format --diff origin/main HEAD --extensions cpp -- mlir/unittests/Interfaces/ValueBoundsOpInterfaceTest.cpp mlir/lib/Interfaces/ValueBoundsOpInterface.cpp --diff_from_common_commit
``````````
:warning:
The reproduction instructions above might return results for more than one PR
in a stack if you are using a stacked PR workflow. You can limit the results by
changing `origin/main` to the base branch/commit you want to compare against.
:warning:
</details>
<details>
<summary>
View the diff from clang-format here.
</summary>
``````````diff
diff --git a/mlir/unittests/Interfaces/ValueBoundsOpInterfaceTest.cpp b/mlir/unittests/Interfaces/ValueBoundsOpInterfaceTest.cpp
index 1a7de44ec..1571ab924 100644
--- a/mlir/unittests/Interfaces/ValueBoundsOpInterfaceTest.cpp
+++ b/mlir/unittests/Interfaces/ValueBoundsOpInterfaceTest.cpp
@@ -6,8 +6,8 @@
//
//===----------------------------------------------------------------------===//
-#include "mlir/Dialect/Func/IR/FuncOps.h"
#include "mlir/Interfaces/ValueBoundsOpInterface.h"
+#include "mlir/Dialect/Func/IR/FuncOps.h"
#include <gtest/gtest.h>
@@ -45,16 +45,16 @@ TEST(ValueBoundsOpInterfaceTest, EquivalentSlices) {
// Identical components must not hide a later non-equivalent component.
HyperrectangularSlice differentSlice({zero, dynamicValue},
{five, dynamicValue}, {one, one});
- equivalent = ValueBoundsConstraintSet::areEquivalentSlices(
- &context, slice, differentSlice);
+ equivalent = ValueBoundsConstraintSet::areEquivalentSlices(&context, slice,
+ differentSlice);
ASSERT_TRUE(succeeded(equivalent));
EXPECT_FALSE(*equivalent);
// Distinct dynamic values continue to use the ValueBounds fallback.
HyperrectangularSlice unknownSlice({zero, otherDynamicValue},
{four, dynamicValue}, {one, one});
- equivalent = ValueBoundsConstraintSet::areEquivalentSlices(
- &context, slice, unknownSlice);
+ equivalent = ValueBoundsConstraintSet::areEquivalentSlices(&context, slice,
+ unknownSlice);
EXPECT_TRUE(failed(equivalent));
}
``````````
</details>
https://github.com/llvm/llvm-project/pull/226894
More information about the Mlir-commits
mailing list