diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-02-04 19:14:14 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-02-04 19:14:14 +0000 |
commit | 25b9b003178002360d666919f2e49e7f5f4a36e2 (patch) | |
tree | d5f7fb317f34f3a7ac9383c21b0eb143317c30f8 /cparser/.depend | |
parent | 145b32ec504541e98f73b2c87ff2d8181b5e7968 (diff) | |
download | compcert-kvx-25b9b003178002360d666919f2e49e7f5f4a36e2.tar.gz compcert-kvx-25b9b003178002360d666919f2e49e7f5f4a36e2.zip |
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
Diffstat (limited to 'cparser/.depend')
-rw-r--r-- | cparser/.depend | 34 |
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 |