Constprop: use "not" for "xorimm(-1)"; optimize == 1 and != 0 comparisons over booleans.

Select*: more systematic constant propagation; don't CP shifts by amounts outside of [0..31].
Driver: timer for whole compilation.


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

1 files changed, 3 insertions, 7 deletions

diff --git a/cfrontend/Cminorgen.v b/cfrontend/Cminorgen.v
index 724e80c..8ecf498 100644
--- a/cfrontend/Cminorgen.v
+++ b/cfrontend/Cminorgen.v
@@ -39,13 +39,9 @@ Local Open Scope error_monad_scope.
   taken in the Csharpminor code can be mapped to Cminor local
   variable, since the latter do not reside in memory.  
 
-  Another task performed during the translation to Cminor is to eliminate
-  redundant casts to small numerical types (8- and 16-bit integers,
-  single-precision floats).  
-
-  Finally, the Clight-like [switch] construct of Csharpminor
-  is transformed into the simpler, lower-level [switch] construct
-  of Cminor.
+  Another task performed during the translation to Cminor is to
+  transform the Clight-like [switch] construct of Csharpminor
+  into the simpler, lower-level [switch] constructs of Cminor.
 *)
 
 (** * Handling of variables *)