Note commutativity for new operations

IntersectMBO · May 9, 2024 · f014f20 · f014f20
1 parent e3f267d
commit f014f20
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/plutus-core/plutus-ir/src/PlutusIR/Transform/RewriteRules/CommuteFnWithConst.hs b/plutus-core/plutus-ir/src/PlutusIR/Transform/RewriteRules/CommuteFnWithConst.hs
@@ -129,3 +129,12 @@ isCommutative = \case
   MkNilPairData                   -> False
   IntegerToByteString             -> False
   ByteStringToInteger             -> False
+  -- Currently, this requires commutativity in all arguments, which the
+  -- logical operations are not.
+  BitwiseLogicalAnd               -> False
+  BitwiseLogicalOr                -> False
+  BitwiseLogicalXor               -> False
+  BitwiseLogicalComplement        -> False
+  ReadBit                         -> False
+  WriteBits                       -> False
+  ReplicateByteString             -> False