Even the C2 compiler has "reassociate_invariants" for 32-bits integer add/sub operations, compared with the Graal compiler, it misses a part of re-associations for other associative binary operations like "multiply" and logic (and/or/xor) with integer type.

It might be worth adding the missing part for the C2 compiler.