From 62a07ee96d51c29bab9668d8c41bf5f8bdf9e23d Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 18 Aug 2011 09:24:23 +0000
Subject: SimplVolatile: new pass to eliminate read-modify-write ops over
 volatiles Elsewhere: refactoring, moving common code into Cutil and Transform
   (to be continued)

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1716 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/Transform.ml | 48 +++++++++++++++++++++++++++++++++++++++++++++---
 1 file changed, 45 insertions(+), 3 deletions(-)

(limited to 'cparser/Transform.ml')

diff --git a/cparser/Transform.ml b/cparser/Transform.ml
index 1cafaba4..8bdf2e2e 100644
--- a/cparser/Transform.ml
+++ b/cparser/Transform.ml
@@ -53,12 +53,54 @@ let bind_lvalue env e fn =
     fn e
   else begin
     let tmp = new_temp (TPtr(e.etyp, [])) in
-    ecomma (eassign tmp (addrof e))
+    ecomma (eassign tmp (eaddrof e))
            (fn {edesc = EUnop(Oderef, tmp); etyp = e.etyp})
   end
 
-
-(* Generic transformation *)
+(* Generic transformation of a statement, transforming expressions within
+   and preserving the statement structure.  Applies only to unblocked code. *)
+
+type context = Val | Effects
+
+let stmt trexpr env s =
+  let rec stm s =
+  match s.sdesc with
+  | Sskip -> s
+  | Sdo e ->
+      {s with sdesc = Sdo(trexpr s.sloc env Effects e)}
+  | Sseq(s1, s2) -> 
+      {s with sdesc = Sseq(stm s1, stm s2)}
+  | Sif(e, s1, s2) ->
+      {s with sdesc = Sif(trexpr s.sloc env Val e, stm s1, stm s2)}
+  | Swhile(e, s1) ->
+      {s with sdesc = Swhile(trexpr s.sloc env Val e, stm s1)}
+  | Sdowhile(s1, e) ->
+      {s with sdesc = Sdowhile(stm s1, trexpr s.sloc env Val e)}
+  | Sfor(s1, e, s2, s3) ->
+      {s with sdesc = Sfor(stm s1, trexpr s.sloc env Val e, stm s2, stm s3)}
+  | Sbreak -> s
+  | Scontinue -> s
+  | Sswitch(e, s1) ->
+      {s with sdesc = Sswitch(trexpr s.sloc env Val e, stm s1)}
+  | Slabeled(lbl, s) ->
+      {s with sdesc = Slabeled(lbl, stm s)}
+  | Sgoto lbl -> s
+  | Sreturn None -> s
+  | Sreturn (Some e) ->
+      {s with sdesc = Sreturn(Some(trexpr s.sloc env Val e))}
+  | Sblock _ | Sdecl _ ->
+      assert false     (* should not occur in unblocked code *)
+  in stm s
+
+(* Generic transformation of a function definition *)
+
+let fundef trstmt env f =
+  reset_temps();
+  let newbody = trstmt env f.fd_body in
+  let temps = get_temps() in
+  {f with fd_locals = f.fd_locals @ temps; fd_body = newbody}
+
+(* Generic transformation of a program *)
 
 let program
     ?(decl = fun env d -> d)
-- 
cgit