diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-10-16 12:24:26 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-10-16 12:24:26 +0200 |
| commit | 72c683787a7b1a902e019a3ace324809a7585314 (patch) | |
| tree | 566c11b578248c118888965e097f01eccc2f1ea6 /Makefile | |
| parent | c7c1bafec40f7824da76e832ec09a628412e29da (diff) | |
| download | compcert-kvx-72c683787a7b1a902e019a3ace324809a7585314.tar.gz compcert-kvx-72c683787a7b1a902e019a3ace324809a7585314.zip | |
reorder phases
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 \ |