[ScopInfo] Do not use the set dimension ids to carry loop information
authorTobias Grosser <tobias@grosser.es>
Sat, 3 Mar 2018 19:27:54 +0000 (19:27 +0000)
committerTobias Grosser <tobias@grosser.es>
Sat, 3 Mar 2018 19:27:54 +0000 (19:27 +0000)
commitb94863001a4ffbb332be6771b8f74fb797ea08aa
tree8c8adb53ebd4dc450cf770f09ddc264ec3165dc3
parenta51ccfd49f1710b7a42d5bf96fe2ef37b8b68f54
[ScopInfo] Do not use the set dimension ids to carry loop information

isl does not guarantee that set dimension ids will be preserved, so using them
to carry information is not a good idea. Furthermore, the loop information can
be derived without problem from the statement itself. As this even requires
less code than propagating loop information on set dimension ids, starting from
this commit we just derive the loop information in collectSurroundingLoops
directly from the IR.

Interestingly this also results in a couple of isl sets to take a simpler
representation.

llvm-svn: 326664
polly/lib/Analysis/ScopBuilder.cpp
polly/lib/Analysis/ScopInfo.cpp
polly/test/ScopInfo/multidim_only_ivs_3d_cast.ll
polly/test/ScopInfo/phi_scalar_simple_1.ll
polly/test/ScopInfo/remarks.ll