Merge of the "volatile" branch:

- native treatment of volatile accesses in CompCert C's semantics
- translation of volatile accesses to built-ins in SimplExpr
- native treatment of struct assignment and passing struct parameter by value
- only passing struct result by value remains emulated
- in cparser, remove emulations that are no longer used
- added C99's type _Bool and used it to express || and && more efficiently.


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1814 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 9 insertions, 25 deletions

diff --git a/cparser/.depend b/cparser/.depend
index 51f3b5ea..4a7f5385 100644
--- a/cparser/.depend
+++ b/cparser/.depend
@@ -1,4 +1,3 @@
-AddCasts.cmi: C.cmi
 Bitfields.cmi: C.cmi
 Builtins.cmi: Env.cmi C.cmi
 C.cmi:
@@ -12,18 +11,13 @@ Errors.cmi:
 GCC.cmi: Builtins.cmi
 Lexer.cmi: Parser.cmi
 Machine.cmi:
-PackedStructs.cmi: C.cmi
 Parse.cmi: C.cmi
 Parse_aux.cmi:
 Parser.cmi: Cabs.cmo
 Rename.cmi: C.cmi
-SimplExpr.cmi: C.cmi
-StructAssign.cmi: C.cmi
-StructByValue.cmi: C.cmi
+StructReturn.cmi: C.cmi
 Transform.cmi: Env.cmi C.cmi
 Unblock.cmi: C.cmi
-AddCasts.cmo: Transform.cmi Cutil.cmi C.cmi AddCasts.cmi
-AddCasts.cmx: Transform.cmx Cutil.cmx C.cmi AddCasts.cmi
 Bitfields.cmo: Transform.cmi Machine.cmi Cutil.cmi C.cmi Bitfields.cmi
 Bitfields.cmx: Transform.cmx Machine.cmx Cutil.cmx C.cmi Bitfields.cmi
 Builtins.cmo: Env.cmi Cutil.cmi C.cmi Builtins.cmi
@@ -59,31 +53,21 @@ Machine.cmx: Machine.cmi
 Main.cmo: Parse.cmi GCC.cmi Cprint.cmi Builtins.cmi
 Main.cmx: Parse.cmx GCC.cmx Cprint.cmx Builtins.cmx
 PackedStructs.cmo: Transform.cmi Machine.cmi Errors.cmi Env.cmi Cutil.cmi \
-    C.cmi Builtins.cmi PackedStructs.cmi
+    Cprint.cmi C.cmi Builtins.cmi
 PackedStructs.cmx: Transform.cmx Machine.cmx Errors.cmx Env.cmx Cutil.cmx \
-    C.cmi Builtins.cmx PackedStructs.cmi
-Parse.cmo: Unblock.cmi StructByValue.cmi StructAssign.cmi SimplVolatile.cmo \
-    SimplExpr.cmi Rename.cmi PackedStructs.cmi Errors.cmi Elab.cmi \
-    Bitfields.cmi AddCasts.cmi Parse.cmi
-Parse.cmx: Unblock.cmx StructByValue.cmx StructAssign.cmx SimplVolatile.cmx \
-    SimplExpr.cmx Rename.cmx PackedStructs.cmx Errors.cmx Elab.cmx \
-    Bitfields.cmx AddCasts.cmx Parse.cmi
+    Cprint.cmx C.cmi Builtins.cmx
+Parse.cmo: Unblock.cmi StructReturn.cmi Rename.cmi PackedStructs.cmo \
+    Errors.cmi Elab.cmi Bitfields.cmi Parse.cmi
+Parse.cmx: Unblock.cmx StructReturn.cmx Rename.cmx PackedStructs.cmx \
+    Errors.cmx Elab.cmx Bitfields.cmx Parse.cmi
 Parse_aux.cmo: Errors.cmi Cabshelper.cmo Parse_aux.cmi
 Parse_aux.cmx: Errors.cmx Cabshelper.cmx Parse_aux.cmi
 Parser.cmo: Parse_aux.cmi Cabshelper.cmo Cabs.cmo Parser.cmi
 Parser.cmx: Parse_aux.cmx Cabshelper.cmx Cabs.cmx Parser.cmi
 Rename.cmo: Errors.cmi Cutil.cmi C.cmi Builtins.cmi Rename.cmi
 Rename.cmx: Errors.cmx Cutil.cmx C.cmi Builtins.cmx Rename.cmi
-SimplExpr.cmo: Transform.cmi Errors.cmi Cutil.cmi C.cmi SimplExpr.cmi
-SimplExpr.cmx: Transform.cmx Errors.cmx Cutil.cmx C.cmi SimplExpr.cmi
-SimplVolatile.cmo: Transform.cmi Cutil.cmi C.cmi
-SimplVolatile.cmx: Transform.cmx Cutil.cmx C.cmi
-StructAssign.cmo: Transform.cmi Machine.cmi Errors.cmi Env.cmi Cutil.cmi \
-    C.cmi StructAssign.cmi
-StructAssign.cmx: Transform.cmx Machine.cmx Errors.cmx Env.cmx Cutil.cmx \
-    C.cmi StructAssign.cmi
-StructByValue.cmo: Transform.cmi Env.cmi Cutil.cmi C.cmi StructByValue.cmi
-StructByValue.cmx: Transform.cmx Env.cmx Cutil.cmx C.cmi StructByValue.cmi
+StructReturn.cmo: Transform.cmi Env.cmi Cutil.cmi C.cmi StructReturn.cmi
+StructReturn.cmx: Transform.cmx Env.cmx Cutil.cmx C.cmi StructReturn.cmi
 Transform.cmo: Env.cmi Cutil.cmi C.cmi Builtins.cmi Transform.cmi
 Transform.cmx: Env.cmx Cutil.cmx C.cmi Builtins.cmx Transform.cmi
 Unblock.cmo: Transform.cmi Errors.cmi Cutil.cmi C.cmi Unblock.cmi