www: Add information about code coverage and static analysis

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@193466 91177308-0d34-0410-b5e6-96231b3b80d8
www: Add information about isl-0.12.1 release

Polly can now be compiled without explicitly linking to GMP licensed code.

This patch also contains some formatting improvements.

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@193467 91177308-0d34-0410-b5e6-96231b3b80d8
www: Add information about upcoming Loop Optimization BoF

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@193468 91177308-0d34-0410-b5e6-96231b3b80d8
Fix a typo in my family name. Tobias: ;)  

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@193603 91177308-0d34-0410-b5e6-96231b3b80d8
ScopInfo: Add support for AssumedContext

When constructing a scop sometimes the exact representation of a statement or
condition would be very complex, but there is a common case which is a lot
simpler, but which is only valid under certain assumptions. The assumed context
records the assumptions taken during the construction of this scop and that need
to be code generated as a run-time test.

At the moment, we do not yet model any assumptions, but only added the
AssumedContext as well as the isl-ast generation support. As a next step,
this needs to be hooked up with the isl code generation.

if (1) /* run-time condition */
  {  /* optimized code */ }
else
  {  /* original code */ }

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@193652 91177308-0d34-0410-b5e6-96231b3b80d8
Update comments to address Sebastian's review

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@193741 91177308-0d34-0410-b5e6-96231b3b80d8
IslCodegen: Do not build upper bound in vector for

For for-nodes that are translated to a set of vector lanes, we already know the
overall number of iterations. Calculating the upper bound is consequently not
necessary. This change removes the code for upper bound calculation, which was
probably copy/pasted from the code generation for the normal for-loop.

This issue was found by Sylvestre's scan-build server.

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@193925 91177308-0d34-0410-b5e6-96231b3b80d8