cmake: Add option POLLY_USE_CLOOG

This allows to build Polly without CLooG.

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@195344 91177308-0d34-0410-b5e6-96231b3b80d8
Disable formatting checks to silent buildbots

Sorry for the noice.

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@195446 91177308-0d34-0410-b5e6-96231b3b80d8
cmake: Provide path to installed clang-format

This will now also enable the automatic formatting checks in the Polly buildbot.

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

We still have troubles as clang is not properly built yet. I messed up a path
in the PollyBuilder and am waiting for another buildmaster restart.

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@195520 91177308-0d34-0410-b5e6-96231b3b80d8
Really stop the buildbot noise

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@195521 91177308-0d34-0410-b5e6-96231b3b80d8
(re)enable formatting checks

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@195935 91177308-0d34-0410-b5e6-96231b3b80d8
Update isl to latest maintenance release

This includes isl commits b9c7b8c8c98a6722262f076b27f833a25b83f55d and
454621e935ff836361c77df436fbd7066c9d44e0 which fix PR18130.

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@196655 91177308-0d34-0410-b5e6-96231b3b80d8
test: Remove use of defaultOpts

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@196826 91177308-0d34-0410-b5e6-96231b3b80d8
ScopValidator: smax expressions are no parameters

This fixes PR18155 which is a regression introduced in 152913.

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@196827 91177308-0d34-0410-b5e6-96231b3b80d8
Report detected scops using the new diagnostics

We now report the following:

$ polly-clang -O3 -mllvm -polly -mllvm -polly-report test.c  -c \
  -gline-tables-only

note: Polly detected an optimizable loop region (scop) in function 'foo'
test.c:2: Start of scop
test.c:3: End of scop
note: Polly detected an optimizable loop region (scop) in function 'bar'
test.c:9: Start of scop
test.c:13: End of scop

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

The polly on-commit formatting checker notified me that I forgot to format
the code before submitting.

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197560 91177308-0d34-0410-b5e6-96231b3b80d8
www: Use a modern menu style

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197722 91177308-0d34-0410-b5e6-96231b3b80d8
www: Rename menu items

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197723 91177308-0d34-0410-b5e6-96231b3b80d8
www: shorten menu entry

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197724 91177308-0d34-0410-b5e6-96231b3b80d8
www: Add nice header

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

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197739 91177308-0d34-0410-b5e6-96231b3b80d8
www: Use red for visited links

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197745 91177308-0d34-0410-b5e6-96231b3b80d8
www: We already integrated the isl code generator

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197746 91177308-0d34-0410-b5e6-96231b3b80d8
www: Mark more items done

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@197747 91177308-0d34-0410-b5e6-96231b3b80d8
www: Highlight title, add subtitle

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