diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2008-05-30 12:27:15 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2008-05-30 12:27:15 +0000 |
| commit | f4b41226d60ca57c5981b0a46e0a495152b5301f (patch) | |
| tree | fb3ea7a1cabfc5e4c56ecc1b60eeacd2883a8293 /caml/CMparser.mly | |
| parent | f77e0ade09d8fd17add98c3bc4317627078f3aa8 (diff) | |
| download | compcert-f4b41226d60ca57c5981b0a46e0a495152b5301f.tar.gz compcert-f4b41226d60ca57c5981b0a46e0a495152b5301f.zip | |
Introduction de l'operation intuoffloat (float -> unsigned int). Pas encore utilisee dans le front-end C.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@647 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'caml/CMparser.mly')
| -rw-r--r-- | caml/CMparser.mly | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/caml/CMparser.mly b/caml/CMparser.mly index e7c656d6..0b3eafd8 100644 --- a/caml/CMparser.mly +++ b/caml/CMparser.mly @@ -252,6 +252,7 @@ let mkmatch expr cases = %token INT8U %token <int32> INTLIT %token INTOFFLOAT +%token INTUOFFLOAT %token LBRACE %token LBRACELBRACE %token LBRACKET @@ -308,7 +309,7 @@ let mkmatch expr cases = %left LESSLESS GREATERGREATER GREATERGREATERU %left PLUS PLUSF MINUS MINUSF %left STAR SLASH PERCENT STARF SLASHF SLASHU PERCENTU -%nonassoc BANG TILDE p_uminus ABSF INTOFFLOAT FLOATOFINT FLOATOFINTU INT8S INT8U INT16S INT16U FLOAT32 ALLOC +%nonassoc BANG TILDE p_uminus ABSF INTOFFLOAT INTUOFFLOAT FLOATOFINT FLOATOFINTU INT8S INT8U INT16S INT16U FLOAT32 ALLOC %left LPAREN /* Entry point */ @@ -459,6 +460,7 @@ expr: | MINUSF expr %prec p_uminus { Runop(Onegf, $2) } | ABSF expr { Runop(Oabsf, $2) } | INTOFFLOAT expr { Runop(Ointoffloat, $2) } + | INTUOFFLOAT expr { Runop(Ointuoffloat, $2) } | FLOATOFINT expr { Runop(Ofloatofint, $2) } | FLOATOFINTU expr { Runop(Ofloatofintu, $2) } | TILDE expr { Runop(Onotint, $2) } |