Translate CompCert C's "a ? b : c" to the equivalent simple Clight expr if

b and c are simple.


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

1 files changed, 2 insertions, 2 deletions

diff --git a/Changelog b/Changelog
index 963ffd16..761fd7ac 100644
--- a/Changelog
+++ b/Changelog
@@ -7,7 +7,7 @@ Improvements in confidence:
   of volatile accesses to built-in function invocations is now proved correct.
 - CompCert C now natively supports assignment between composite types
   (structs or unions), passing composite types by value as function
-  parameters, and other instances of composites used as r-values, with
+  parameters, and other instances of using composites as r-values, with
   the exception of returning composites by value from a function.
   (The latter remains emulated, using the -fstruct-return option.)
 
@@ -19,7 +19,7 @@ Performance improvements:
   and their combinations with bitwise operations.
 - Shorter, more efficient code generated for accessing volatile global
   variables.
-- Better code generated for && and || outside conditional tests.
+- Better code generated for the && and || operators.
 - More aggressive common subexpression elimination (CSE) of memory loads.
 - Improved register allocation for invocations of built-ins,
   especially for annotations.