[flang-commits] [flang] [mlir] [mlir] Handle simple commutative cases in CSE. (PR #75274)

Mehdi Amini via flang-commits flang-commits at lists.llvm.org
Wed Dec 13 22:51:25 PST 2023


================
@@ -1271,7 +1271,9 @@ struct OperationEquivalence {
   isEquivalentTo(Operation *lhs, Operation *rhs,
                  function_ref<LogicalResult(Value, Value)> checkEquivalent,
                  function_ref<void(Value, Value)> markEquivalent = nullptr,
-                 Flags flags = Flags::None);
+                 Flags flags = Flags::None,
+                 function_ref<LogicalResult(ValueRange, ValueRange)>
+                     checkCommutativeEquivalent = nullptr);
----------------
joker-eph wrote:

This should be documented.

I don't quite get why we need injection here by the way?

https://github.com/llvm/llvm-project/pull/75274


More information about the flang-commits mailing list