diff options
| author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-09-20 15:00:20 +0000 |
|---|---|---|
| committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-09-20 15:00:20 +0000 |
| commit | 06c57b594cd1ba36febe07e526b53d3e3382ee56 (patch) | |
| tree | a32708b379e664998056430eec2a3d5c4019064a /llvm/lib | |
| parent | 7175bdfbe4cd4038ad53a9db8916bbf3d9a01fb9 (diff) | |
| download | bcm5719-llvm-06c57b594cd1ba36febe07e526b53d3e3382ee56.tar.gz bcm5719-llvm-06c57b594cd1ba36febe07e526b53d3e3382ee56.zip | |
Allow loops with multiple back edges
In order to allow multiple back edges we:
- compute the conditions under which each back edge is taken
- build the union over all these conditions, thus the condition that
any back edge is taken
- apply the same logic to the union we applied to a single back edge
llvm-svn: 248120
Diffstat (limited to 'llvm/lib')
0 files changed, 0 insertions, 0 deletions
