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 /lldb/source/Plugins/LanguageRuntime/RenderScript/RenderScriptRuntime/RenderScriptRuntime.cpp | |
| parent | 7175bdfbe4cd4038ad53a9db8916bbf3d9a01fb9 (diff) | |
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 'lldb/source/Plugins/LanguageRuntime/RenderScript/RenderScriptRuntime/RenderScriptRuntime.cpp')
0 files changed, 0 insertions, 0 deletions