From 3a050b22f37f3c79a10a8ebae3d292fa77e91b76 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 23 May 2010 15:26:33 +0000
Subject: More faithful semantics for volatile reads and writes.

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

(limited to 'Changelog')

diff --git a/Changelog b/Changelog
index 81b2ff1..7a49998 100644
--- a/Changelog
+++ b/Changelog
@@ -1,6 +1,13 @@
 Release 1.8
 ===========
 
+- More faithful semantics for volatile accesses: 
+  . volatile reads and writes from a volatile global variable are treated
+    like input and output system calls (respectively), bypassing
+    the memory model entirely;
+  . volatile reads and writes from other locations are treated like
+    regular loads and stores.
+
 - Added "fabs" (floating-point absolute value) unary operator to Clight;
   map __builtin_fabs() to this operator.
 
-- 
cgit v1.2.3