diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-01-11 12:07:11 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-01-11 12:07:11 +0000 |
| commit | f6ecbb948ccf7f8a4e156eb29e3a41e7f2953407 (patch) | |
| tree | ad958b2313ad00c2fdde49bd5f243f82d1e3ea58 /backend/CMparser.mly | |
| parent | bb9d14a3f95fc0e3c8cad10d8ea8e2b2738da7fc (diff) | |
Elimination of "alloc" instruction in Caml files and test files.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@946 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'backend/CMparser.mly')
| -rw-r--r-- | backend/CMparser.mly | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/backend/CMparser.mly b/backend/CMparser.mly index b995132..f369f9e 100644 --- a/backend/CMparser.mly +++ b/backend/CMparser.mly @@ -33,7 +33,6 @@ type rexpr = | Rload of memory_chunk * rexpr | Rcondition of rexpr * rexpr * rexpr | Rcall of signature * rexpr * rexpr list - | Ralloc of rexpr let temp_counter = ref 0 @@ -68,11 +67,6 @@ let rec convert_rexpr = function let t = mktemp() in convert_accu := Scall(Some t, sg, c1, cl) :: !convert_accu; Evar t - | Ralloc e1 -> - let c1 = convert_rexpr e1 in - let t = mktemp() in - convert_accu := Salloc(t, c1) :: !convert_accu; - Evar t and convert_rexpr_list = function | [] -> [] @@ -104,9 +98,6 @@ let mkassign id e = let c1 = convert_rexpr e1 in let cl = convert_rexpr_list el in prepend_seq !convert_accu (Scall(Some id, sg, c1, cl)) - | Ralloc(e1) -> - let c1 = convert_rexpr e1 in - prepend_seq !convert_accu (Salloc(id, c1)) | _ -> let c = convert_rexpr e in prepend_seq !convert_accu (Sassign(id, c)) @@ -206,7 +197,6 @@ let mkmatch expr cases = %token ABSF %token AMPERSAND %token AMPERSANDAMPERSAND -%token ALLOC %token BANG %token BANGEQUAL %token BANGEQUALF @@ -508,7 +498,6 @@ expr: | expr BARBAR expr { orbool $1 $3 } | expr QUESTION expr COLON expr { Rcondition($1, $3, $5) } | expr LPAREN expr_list RPAREN COLON signature{ Rcall($6, $1, $3) } - | ALLOC expr { Ralloc $2 } ; expr_list: |