| commit | 2b92a0e4ee7c9e1429f5b63b242295055fb95d4b | [log] [tgz] |
|---|---|---|
| author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | Tue May 10 14:00:57 2016 +0000 |
| committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | Tue May 10 14:00:57 2016 +0000 |
| tree | f6632286a69de7a8726f0bb09749c278b937c7a4 | |
| parent | 84174c3771e69214474b09e4afb26f10eef49245 [diff] |
Handle llvm.assume inside the SCoP The assumption attached to an llvm.assume in the SCoP needs to be combined with the domain of the surrounding statement but can nevertheless be used to refine the context. This fixes the problems mentioned in PR27067. llvm-svn: 269060