diff options
author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2016-04-12 13:27:35 +0000 |
---|---|---|
committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2016-04-12 13:27:35 +0000 |
commit | 3bf6e4129fda8c1568cf54d41853fea80d32eafb (patch) | |
tree | 776df4a6bc834426ae78868e1ddd145211a2f4e9 /lldb/packages/Python/lldbsuite/test/expression_command/anonymous-struct/main.cpp | |
parent | 6f92e14ce2a7ea84f43622adb50f5d086bef0c4f (diff) | |
download | bcm5719-llvm-3bf6e4129fda8c1568cf54d41853fea80d32eafb.tar.gz bcm5719-llvm-3bf6e4129fda8c1568cf54d41853fea80d32eafb.zip |
Record assumptions first and add them later
There are three reasons why we want to record assumptions first before we
add them to the assumed/invalid context:
1) If the SCoP is not profitable or otherwise invalid without the
assumed/invalid context we do not have to compute it.
2) Information about the context are gathered rather late in the SCoP
construction (basically after we know all parameters), thus the user
might see overly complicated assumptions to be taken while they would
have been simplified later on.
3) Currently we cannot take assumptions at any point but have to wait,
e.g., for the domain generation to finish. This makes wrapping
assumptions much more complicated as they need to be and it will
have a similar effect on "signed-unsigned" assumptions later.
llvm-svn: 266068
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/expression_command/anonymous-struct/main.cpp')
0 files changed, 0 insertions, 0 deletions