From 72c683787a7b1a902e019a3ace324809a7585314 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Fri, 16 Oct 2020 12:24:26 +0200 Subject: reorder phases --- Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index ba8add27..c66395fa 100644 --- a/Makefile +++ b/Makefile @@ -93,6 +93,7 @@ BACKEND=\ CSE2deps.v CSE2depsproof.v \ CSE2.v CSE2proof.v \ CSE3analysis.v CSE3analysisproof.v CSE3.v CSE3proof.v \ + KillUselessMoves.v KillUselessMovesproof.v \ LICM.v LICMproof.v \ NeedDomain.v NeedOp.v Deadcode.v Deadcodeproof.v \ Unusedglob.v Unusedglobproof.v \ -- cgit