projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e0093e) | patch
[NFC] Skip over trivial assumptions
authorJohannes Doerfert <doerfert@cs.uni-saarland.de>
Thu, 17 Nov 2016 22:08:40 +0000 (22:08 +0000)
committerJohannes Doerfert <doerfert@cs.uni-saarland.de>
Thu, 17 Nov 2016 22:08:40 +0000 (22:08 +0000)
commitb3265a3612dda464eba451be1243f869bcbc039d
treef2c48bfd5b6dd4c7789bf88f6e4b98d9bce37808tree | snapshot
parent1e0093eb87e41186c4b9feacd805d42314346553commit | diff
[NFC] Skip over trivial assumptions

Filter trivial assumptions, thus assume { : } or restrict { : 0 = 1 },
as they clutter the user output as well as the statistics.

llvm-svn: 287269
polly/lib/Analysis/ScopInfo.cpp diff | blob | history
Domain: System / Toolchain;