[RFC PATCH 1/2] unsigned multiplication is also associative

[Luc Van Oostenryck <luc.vanoostenryck@gmail.com>]

Currently, only signed multiplication is considered as associative
but in truth both signed & unsigned are.

So, make unsigned multiplication associative too.

Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
---
 simplify.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/simplify.c b/simplify.c
index dbea438e7..a20cc7e7c 100644
--- a/simplify.c
+++ b/simplify.c
@@ -1168,6 +1168,7 @@ int simplify_instruction(struct instruction *insn)
 		return 0;
 	switch (insn->opcode) {
 	case OP_ADD: case OP_MULS:
+	case OP_MULU:
 	case OP_AND: case OP_OR: case OP_XOR:
 	case OP_AND_BOOL: case OP_OR_BOOL:
 		canonicalize_commutative(insn);
@@ -1175,7 +1176,6 @@ int simplify_instruction(struct instruction *insn)
 			return REPEAT_CSE;
 		return simplify_associative_binop(insn);
 
-	case OP_MULU:
 	case OP_SET_EQ: case OP_SET_NE:
 		canonicalize_commutative(insn);
 		return simplify_binop(insn);
-- 
2.16.0