From 9aa4c45d37886c129595e848d148dfd895044bd7 Mon Sep 17 00:00:00 2001
From: Christoph Kirsch <ckirsch@gmail.com>
Date: Fri, 5 Apr 2019 10:01:51 +0200
Subject: [PATCH] Enhancing x86 target

---
 Makefile | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 5485f64e..1f4af059 100644
--- a/Makefile
+++ b/Makefile
@@ -84,11 +84,13 @@ boolector: smt
 	[ $$(grep ^sat$$ selfie_boolector.sat | wc -l) -eq 2 ]
 	[ $$(grep ^unsat$$ selfie_boolector.sat | wc -l) -eq 1 ]
 
-# Test RISC-V to x86-64 binary translation
+# Test RISC-U to x86-64 binary translation
 x86: selfie
-	./selfie -c selfie.c -x86 selfie.x86
+	./selfie -c selfie.c -o selfie.m -s selfie.s -x86 selfie.x86
 	chmod +x selfie.x86
-	./selfie.x86 -c selfie.c -m 2
+	./selfie.x86 -c selfie.c -o selfie9.o -s selfie9.s -m 1
+	diff -q selfie.m selfie9.m
+	diff -q selfie.s selfie9.s
 
 # Run everything
 all: compile quine debug replay os vm min mob smt sat