diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-12-16 13:28:14 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-12-16 13:28:14 +0000 |
commit | 8d40eb315976d05fe9d1d60b654b5523c8830a67 (patch) | |
tree | 47f9133deafae6ed811607fa1bbbde362d64c3a4 | |
parent | ef40c6d36f1c3125f3aa78ea4eaa61dcc7bcae67 (diff) | |
download | compcert-8d40eb315976d05fe9d1d60b654b5523c8830a67.tar.gz compcert-8d40eb315976d05fe9d1d60b654b5523c8830a67.zip |
MAJ Changes
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1199 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
-rw-r--r-- | .depend | 2 | ||||
-rw-r--r-- | Changelog | 14 |
2 files changed, 14 insertions, 2 deletions
@@ -81,8 +81,6 @@ backend/Tailcall.vo: backend/Tailcall.v lib/Coqlib.vo lib/Maps.vo common/AST.vo backend/Tunnelingproof.vo: backend/Tunnelingproof.v lib/Coqlib.vo lib/Maps.vo lib/UnionFind.vo common/AST.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo common/Smallstep.vo $(ARCH)/Op.vo backend/Locations.vo backend/LTL.vo backend/Tunneling.vo backend/Tunnelingtyping.vo: backend/Tunnelingtyping.v lib/Coqlib.vo lib/Maps.vo lib/UnionFind.vo common/AST.vo common/Values.vo common/Mem.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Locations.vo backend/LTL.vo backend/LTLtyping.vo backend/Tunneling.vo backend/Tunnelingproof.vo backend/Tunneling.vo: backend/Tunneling.v lib/Coqlib.vo lib/Maps.vo lib/UnionFind.vo common/AST.vo common/Values.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Locations.vo backend/LTL.vo -cfrontend/Cmedium.saved.vo: cfrontend/Cmedium.saved.v lib/Coqlib.vo common/Errors.vo lib/Maps.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/AST.vo common/Mem.vo common/Events.vo common/Globalenvs.vo common/Smallstep.vo cfrontend/Csyntax.vo cfrontend/Csem.vo -cfrontend/Cmedium.vo: cfrontend/Cmedium.v lib/Coqlib.vo common/Errors.vo lib/Maps.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/AST.vo common/Mem.vo common/Events.vo common/Globalenvs.vo common/Smallstep.vo cfrontend/Csyntax.vo cfrontend/Csem.vo cfrontend/Cminorgenproof.vo: cfrontend/Cminorgenproof.v lib/Coqlib.vo common/Errors.vo lib/Maps.vo common/AST.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo common/Smallstep.vo cfrontend/Csharpminor.vo $(ARCH)/Op.vo backend/Cminor.vo cfrontend/Cminorgen.vo common/Switch.vo cfrontend/Cminorgen.vo: cfrontend/Cminorgen.v lib/Coqlib.vo common/Errors.vo lib/Maps.vo lib/Ordered.vo common/AST.vo lib/Integers.vo common/Mem.vo cfrontend/Csharpminor.vo $(ARCH)/Op.vo backend/Cminor.vo cfrontend/Csem.vo: cfrontend/Csem.v lib/Coqlib.vo common/Errors.vo lib/Maps.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/AST.vo common/Mem.vo common/Events.vo common/Globalenvs.vo cfrontend/Csyntax.vo common/Smallstep.vo @@ -1,8 +1,22 @@ +Release 1.6, 2009-12-18 +======================= + - Support Clight initializers of the form "int * x = &y;". - Fixed spurious compile-time error on Clight initializers of the form "const enum E x[2] = { E_1, E_2 };". +- Produce informative error message if a 'return' without argument + occurs in a non-void function, or if a 'return' with an argument + occurs in a void function. + +- Preliminary support for '#pragma section' and '#pragma set_section'. + +- Preliminary support for small data areas in PowerPC code generator. + +- Back-end: added support for jump tables; used them to compile + dense 'switch' statements. + - PowerPC code generator: force conversion to single precision before doing a "store single float" instruction. |