<li>LLVM now has new loop unrolling and loop unswitching passes.</li>
<li>The induction variable substitution pass performs linear function test
replacement and exit value replacement optimizations.</li>
+<li>LLVM now has first-class support for <a href="GarbageCollection.html">Accurate
+Garbage Collection</a>, enabling the use of aggressive copying and generational
+collectors.</li>
+<li>LLVM now includes an implementation of Andersen's interprocedural alias
+analysis algorithm.</li>
</ol>