update from BTL dev branch

1 files changed, 3 insertions, 1 deletions

diff --git a/README.md b/README.md
index c99d4a67..d32ce0e1 100644
--- a/README.md
+++ b/README.md
@@ -28,8 +28,10 @@ This is a special version with additions from Verimag and Kalray :
 * A generic prepass scheduling optimizer with a multi-purpose preprocessing
   front-end: rewritings, register renaming, if-lifting and some generic code
   transformations such as loop-rotation, loop-unrolling, or tail-duplication.
-* A profiling system: see [`PROFILING.md`](PROFILING.md) for details.
+* A profiling system: see [`OPTIM_PROFILING.md`](OPTIM_PROFILING.md) for details.
 * Static branch prediction.
+  _The branch prediction is basic, it annotates each `Icond` node by an `option bool`. A `Some true` annotation indicates we predict the branch will be taken. `Some false` indicates the fallthrough case is predicted. `None` indicates we could not predict anything, and are not sure about which control will be preferred._
+* `-ftracelinearize` uses the branch prediction information to linearize LTL basic blocks in a slightly better way (in the `Linearize` phase).
 * And some experimental features that are work in progress.
 
 _Please refer to the resources listed below for more information._