From cd2449aabe7b259b0fdb8aaa2af65c2b8957ab32 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 7 Jan 2009 10:45:52 +0000
Subject: Fixed unary minus

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@944 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 backend/CMparser.mly | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backend/CMparser.mly b/backend/CMparser.mly
index 25fb0321..b995132c 100644
--- a/backend/CMparser.mly
+++ b/backend/CMparser.mly
@@ -454,7 +454,7 @@ expr:
   | FLOATLIT                                    { Rconst(Ofloatconst $1) }
   | STRINGLIT                                   { Rconst(Oaddrsymbol($1, Int.zero)) }
   | AMPERSAND INTLIT                            { Rconst(Oaddrstack(coqint_of_camlint $2)) }
-  | MINUS expr    %prec p_uminus                { Rbinop(Osub, intconst 0l, $2) } /***FIXME***/
+  | MINUS expr    %prec p_uminus                { Runop(Onegint, $2) }
   | MINUSF expr   %prec p_uminus                { Runop(Onegf, $2) }
   | ABSF expr                                   { Runop(Oabsf, $2) }
   | INTOFFLOAT expr                             { Runop(Ointoffloat, $2) }
-- 
cgit