Add "memop" simplification phase.

It's a bit more simple-minded than the symbol simplification,
and it can be more costly. So we start off with the (cheap)
symbol simplification algorithm, and then use this new more
generic phase later.

This allows us to remove extra loads (and, in theory, stores,
but the dead store elimination is so simple-minded right now
that it's effectively useless).

1 files changed, 2 insertions, 1 deletions

diff --git a/cse.c b/cse.c
index b55c602c..4c91e566 100644
--- a/cse.c
+++ b/cse.c
@@ -293,6 +293,7 @@ void cleanup_and_cse(struct entrypoint *ep)
 {
 	int i;
 
+	simplify_memops(ep);
 repeat:
 	repeat_phase = 0;
 	clean_up_insns(ep);
@@ -320,7 +321,7 @@ repeat:
 	}
 
 	if (repeat_phase & REPEAT_SYMBOL_CLEANUP)
-		simplify_symbol_usage(ep);
+		simplify_memops(ep);
 
 	if (repeat_phase & REPEAT_CSE)
 		goto repeat;