This document and the CompCert sources are
-copyright 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013 Institut
+copyright 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014 Institut
National de Recherche en Informatique et en Automatique (INRIA) and
distributed under the terms of the
following license.
@@ -188,9 +188,11 @@ code.
+
+The following static analyses are performed over the RTL intermediate
+representation to support optimizations such as constant propagation,
+CSE, and dead code elimination.
+
ValueAnalysis: value and alias analysis
+See also: ValueDomain: the abstract domain for value analysis.
+See also: ValueAOp: processor-dependent parts of value analysis.
+
Deadcode: neededness analysis
+See also: NeedDomain: the abstract domain for neededness analysis.
+See also: NeedOp: processor-dependent parts of neededness analysis.
+
+
Type systems
Trivial type systems are used to statically capture well-formedness
--
cgit v1.2.3