diff options
| author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-11-12 03:25:01 +0000 |
|---|---|---|
| committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-11-12 03:25:01 +0000 |
| commit | 2af10e2eed41b8d110f905f726e4467bb03e6ed1 (patch) | |
| tree | d0b398d8565bb8a7013e74d9c4d7aa2352f68908 /lldb/source/Plugins/ScriptInterpreter/Python/lldb-python.h | |
| parent | 645af38957642cac0b31098e3bd5d72847e6f2ba (diff) | |
| download | bcm5719-llvm-2af10e2eed41b8d110f905f726e4467bb03e6ed1.tar.gz bcm5719-llvm-2af10e2eed41b8d110f905f726e4467bb03e6ed1.zip | |
Use parameter constraints provided via llvm.assume
If an llvm.assume dominates the SCoP entry block and the assumed condition
can be expressed as an affine inequality we will now add it to the context.
Differential Revision: http://reviews.llvm.org/D14413
llvm-svn: 252851
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/lldb-python.h')
0 files changed, 0 insertions, 0 deletions
