From c45fc2431ea70e0cb5a80e65d0ac99f91e94693e Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 8 May 2011 07:07:25 +0000
Subject: Added pass CleanupLabels to remove unreferenced labels in a proved
 way. ia32/PrintAsm.ml: simplified accordingly; other PrintAsm.ml to be fixed.
 ia32/Asm.v: Pmov_ri can undef flags (if translated to xor) cparser/Ceval.ml:
 treat ~ in constant exprs

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1647 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index adfca2c..4311131 100644
--- a/Makefile
+++ b/Makefile
@@ -60,6 +60,7 @@ BACKEND=\
   Tunneling.v Tunnelingproof.v Tunnelingtyping.v \
   LTLin.v LTLintyping.v \
   Linearize.v Linearizeproof.v Linearizetyping.v \
+  CleanupLabels.v CleanupLabelsproof.v CleanupLabelstyping.v \
   Linear.v Lineartyping.v \
   Parallelmove.v Reload.v Reloadproof.v Reloadtyping.v \
   Mach.v Machtyping.v \
-- 
cgit v1.2.3