[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