diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-01-07 10:45:52 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-01-07 10:45:52 +0000 |
| commit | cd2449aabe7b259b0fdb8aaa2af65c2b8957ab32 (patch) | |
| tree | 6bb1909d48c6f865e3358cad6df7ac24f55fce7c | |
| parent | 33a2f642a3bb6e14ffaa4f93708f9ba1cec92fd4 (diff) | |
| download | compcert-cd2449aabe7b259b0fdb8aaa2af65c2b8957ab32.tar.gz compcert-cd2449aabe7b259b0fdb8aaa2af65c2b8957ab32.zip | |
Fixed unary minus
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@944 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
| -rw-r--r-- | backend/CMparser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
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) } |