Fix swap modifier on commutative operations

Author: sayon

src/sem/Add.v

@@ -12,7 +12,7 @@ Section AddDefinition.
   (** {{{!
 describe(InstructionDoc(
 
-ins=ins_arith("OpAdd", "add"),
+ins=ins_arith("OpAdd", "add", commutes = True),
 
 summary = """
 Unsigned overflowing addition of two numbers modulo $2^{256}$.

src/sem/And.v

@@ -11,7 +11,8 @@ Section AndDefinition.
 (** {{{!
 describe(descr_ins_generic_bitwise(
 abstract_name = "OpAnd",
-mnemonic = "and"
+mnemonic = "and",
+commutes=True
 ))
 }}}
    *)

src/sem/Mul.v

@@ -14,7 +14,7 @@ Section MulDefinition.
 (** {{{!
 describe(InstructionDoc(
 
-ins=ins_arith("OpMul", "mul", hasOut2 = True),
+ins=ins_arith("OpMul", "mul", hasOut2 = True, commutes=True),
 
 summary = """
 Unsigned multiplication of two numbers modulo $2^{512}$; the high and low 256

src/sem/Or.v

@@ -11,7 +11,8 @@ Section OrDefinition.
 (** {{{!
 describe(descr_ins_generic_bitwise(
 abstract_name = "OpOr",
-mnemonic = "or"
+mnemonic = "or",
+commutes=True
 ))
 }}}
    *)

src/sem/Xor.v

@@ -11,7 +11,8 @@ Section XorDefinition.
     (** {{{!
 describe(descr_ins_generic_bitwise(
 abstract_name = "OpXor",
-mnemonic = "xor"
+mnemonic = "xor",
+commutes=True
 ))
 }}}
    *)

src/sem/_preprocess_header.py

@@ -43,11 +43,11 @@ def NEAR_FAR_RET_LIKE_PREAMBLE(near_descr, near_section, far_descr, far_section)
   selected (see [%{near_section}]).
 """
 
-def ins_arith(abstract_name: str, mnemonic:str, hasOut2 = False):
+def ins_arith(abstract_name: str, mnemonic:str, hasOut2 = False, commutes=False):
    return Instruction(
       mnemonic = mnemonic,
       abstract_name = abstract_name,
-      modifiers = [Modifier.Swap, Modifier.SetFlags],
+      modifiers = ([Modifier.Swap] if not commutes else []) + [Modifier.SetFlags],
       in1 = In.Any,
       in2 = In.Reg,
       out1 = Out.Any,
@@ -83,9 +83,9 @@ def ins_affected(ins:Instruction):
    return ins_affected_args(ins.in1, ins.out1, ins.setFlags())
 
 
-def descr_ins_generic_bitwise(abstract_name: str, mnemonic:str, summary: Optional[str] = None, semantic: Optional[str] = None, usage : Optional[str] = None):
+def descr_ins_generic_bitwise(abstract_name: str, mnemonic:str, commutes=False, summary: Optional[str] = None, semantic: Optional[str] = None, usage : Optional[str] = None):
    return InstructionDoc(
-      ins=ins_arith(abstract_name, mnemonic),
+      ins=ins_arith(abstract_name, mnemonic, commutes=commutes),
 
       summary = f"""
 Bitwise {mnemonic.upper()} of two 256-bit numbers.