From 5020a5a07da3fd690f5d171a48d0c73ef48f9430 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 1 Mar 2013 15:32:13 +0000
Subject: Revised Stacking and Asmgen passes and Mach semantics: - no more
 prediction of return addresses (Asmgenretaddr is gone) - instead, punch a
 hole for the retaddr in Mach stack frame and   fill this hole with the return
 address in the Asmgen proof.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2129 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 Changelog | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Changelog')

diff --git a/Changelog b/Changelog
index cfb516d9..93046d9e 100644
--- a/Changelog
+++ b/Changelog
@@ -13,6 +13,9 @@ Development version
 - Arguments to __builtin_annot() that are compile-time constants
   are now replaced by their (integer or float) value in the annotation
   generated in the assembly file.
+- Revised handling of return addresses in the Stacking and Asmgen passes.
+- ARM and PowerPC ports: more efficient access to function parameters
+  that are passed on the call stack.
 
 
 Release 1.12.1, 2013-01-29
-- 
cgit