From 17f519651feb4a09aa90c89c949469e8a5ab0e88 Mon Sep 17 00:00:00 2001 From: xleroy Date: Sun, 17 Aug 2014 07:52:12 +0000 Subject: - Support "switch" statements over 64-bit integers (in CompCert C to Cminor, included) - Translation of "switch" to decision trees or jumptables made generic over the sizes of integers and moved to the Cminor->CminorSel pass instead of CminorSel->RTL as before. - CminorSel: add "exitexpr" to support the above. - ValueDomain: more precise analysis of comparisons against an integer literal. E.g. "x >=u 0" is always true. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2565 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- Changelog | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'Changelog') diff --git a/Changelog b/Changelog index 8a2af33..c497f68 100644 --- a/Changelog +++ b/Changelog @@ -26,6 +26,12 @@ pseudo-instructions so that it does not need to be re-done in cchecklink. Updated the cchecklink validator accordingly. +- Language features: support "switch" statements over an argument of + type "long long". + +- Value analysis and constant propagation: more precise treatment of + comparisons against an integer constant. + Release 2.3pl2, 2014-05-15 ========================== -- cgit v1.2.3