Update isl to isl-0.17.1-236-ga9c6cc7
authorTobias Grosser <tobias@grosser.es>
Thu, 20 Oct 2016 01:59:24 +0000 (01:59 +0000)
committerTobias Grosser <tobias@grosser.es>
Thu, 20 Oct 2016 01:59:24 +0000 (01:59 +0000)
commit69ed8542f56da6801443e914226283a61ae2c0f0
tree3ba0192e5d530a0a15532310e6780e9affa0e114
parentc7766778a070986ccc38b7782e272cf7e0ff0892
Update isl to isl-0.17.1-236-ga9c6cc7

This includes isl_id_to_str, which is used in Michael's upcoming DeLICM patch.

llvm-svn: 284689
polly/lib/External/isl/GIT_HEAD_ID
polly/lib/External/isl/doc/manual.pdf
polly/lib/External/isl/doc/user.pod
polly/lib/External/isl/include/isl/aff.h
polly/lib/External/isl/include/isl/flow.h
polly/lib/External/isl/include/isl/id.h
polly/lib/External/isl/isl_flow.c