diff options
| author | Joseph Huber <jhuber6@vols.utk.edu> | 2021-10-04 09:01:41 -0400 |
|---|---|---|
| committer | Joseph Huber <jhuber6@vols.utk.edu> | 2021-11-09 17:39:18 -0500 |
| commit | b8a825b4838f96d70488a4def728a47a5eaaf96e (patch) | |
| tree | 273bdbcc22d23723876bea090c67ecc44efc6e17 /lldb/source/Plugins/ScriptInterpreter/Python | |
| parent | b7f3a4f4fa148dd6c1c3df828c6990d7e91b1731 (diff) | |
| download | llvm-b8a825b4838f96d70488a4def728a47a5eaaf96e.zip llvm-b8a825b4838f96d70488a4def728a47a5eaaf96e.tar.gz llvm-b8a825b4838f96d70488a4def728a47a5eaaf96e.tar.bz2 | |
[Attributor] Introduce AAAssumptionInfo to propagate assumptions
This patch introduces a new abstract attributor instance that propagates
assumption information from functions. Conceptually, if a function is
only called by functions that have certain assumptions, then we can
apply the same assumptions to that function. This problem is similar to
calculating the dominator set, but the assumptions are merged instead of
nodes.
Reviewed By: jdoerfert
Differential Revision: https://reviews.llvm.org/D111054
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python')
0 files changed, 0 insertions, 0 deletions