From c857f0b02463f4b0bc8100434eecdd46ce2ecbd1 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 16 Oct 2013 09:50:38 +0000
Subject: Cminor parsing and printing (from Andrew Tolmach)

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2345 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/c/Makefile | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

(limited to 'test')

diff --git a/test/c/Makefile b/test/c/Makefile
index 1444073..1486666 100644
--- a/test/c/Makefile
+++ b/test/c/Makefile
@@ -56,6 +56,17 @@ bench:
 	   echo -n "$$i: "; $(TIME) ./$$i.compcert; \
          done
 
+cminor_roundtrip:
+	@for i in $(PROGS); do \
+	   $(CCOMP) -dcminor -S $$i.c; \
+	   cp $$i.cm $$i.1.cm; \
+           $(CCOMP) -dcminor -S $$i.cm; \
+           if cmp -s $$i.1.cm $$i.cm; \
+           then echo "$$i: round trip passed"; rm -f $$i.1.cm $$i.cm; \
+           else echo "$$i: round trip FAILED"; diff -u $$i.1.cm $$i.cm; \
+           fi; \
+         done
+
 clean:
 	rm -f *.compcert *.gcc
-	rm -f *.light.c *.parsed.c *.s *.o *~ 
+	rm -f *.compcert.c *.light.c *.parsed.c *.s *.o *~ 
-- 
cgit v1.2.3