Improve documentation of TermOrder

Co-authored-by: Manuel Blatt <[email protected]>
fkie-cad · Sep 20, 2023 · 1c06528 · 1c06528
1 parent 4f318ec
commit 1c06528
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/decompiler/pipeline/controlflowanalysis/expression_simplification/rules/term_order.py b/decompiler/pipeline/controlflowanalysis/expression_simplification/rules/term_order.py
@@ -6,6 +6,8 @@
 class TermOrder(SimplificationRule):
     """
     Swap constants of commutative operations to the right.
+    This stage is important because other stages expect constants to be on the right side.
+    Associativity is not exploited, i.e. nested operations of the same type are not considered.
 
     - `c + e -> e + c`
     - `c * e -> e * c`