npm - svf-tools - Versions diffs - 1.0.579 → 1.0.581 - Mend

svf-tools 1.0.579 → 1.0.581

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (313) hide show

package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h_source.html CHANGED Viewed

@@ -66,7 +66,7 @@ $(function() {
 <div class="title">BasicTypes.h</div>  </div>
 </div><!--header-->
 <div class="contents">
-<a href="SVF-FE_2BasicTypes_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="preprocessor">#ifndef SVF_FE_BASIC_TYPES_H</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="preprocessor">#define SVF_FE_BASIC_TYPES_H</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;</div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="GEPTypeBridgeIterator_8h.html">SVF-FE/GEPTypeBridgeIterator.h</a>&quot;</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;</div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="preprocessor">#include &lt;llvm/Pass.h&gt;</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/Instructions.h&gt;</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/IntrinsicInst.h&gt;</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/LLVMContext.h&gt;</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/Metadata.h&gt;</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/DataLayout.h&gt;</span></div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/IRBuilder.h&gt;</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/DebugInfo.h&gt;</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/InstIterator.h&gt;</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/GetElementPtrTypeIterator.h&gt;</span></div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/DerivedTypes.h&gt;</span></div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;</div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="preprocessor">#include &lt;llvm/Analysis/MemoryLocation.h&gt;</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="preprocessor">#include &lt;llvm/Analysis/DominanceFrontier.h&gt;</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="preprocessor">#include &lt;llvm/Analysis/PostDominators.h&gt;</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;<span class="preprocessor">#include &lt;llvm/Analysis/ScalarEvolution.h&gt;</span></div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="preprocessor">#include &lt;llvm/Analysis/ScalarEvolutionExpressions.h&gt;</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="preprocessor">#include &lt;llvm/Transforms/Utils/UnifyFunctionExitNodes.h&gt;</span></div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;</div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="preprocessor">#include &lt;llvm/Support/SourceMgr.h&gt;</span></div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;<span class="preprocessor">#include &quot;llvm/Analysis/LoopInfo.h&quot;</span></div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;</div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;{</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;</div><div class="line"><a name="l00034"></a><span class="lineno"><a class="line" href="namespaceSVF.html#affba423b674a0aba723e33101826e297">   34</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#affba423b674a0aba723e33101826e297">llvm::LLVMContext</a> <a class="code" href="namespaceSVF.html#affba423b674a0aba723e33101826e297">LLVMContext</a>;</div><div class="line"><a name="l00035"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">   35</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">llvm::GlobalObject</a> <a class="code" href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">GlobalObject</a>;</div><div class="line"><a name="l00036"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">   36</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">llvm::Use</a> <a class="code" href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">Use</a>;</div><div class="line"><a name="l00037"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">   37</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">llvm::ModulePass</a> <a class="code" href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">ModulePass</a>;</div><div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a94824519e439aeef1568d415b6f7331c">   38</a></span>&#160;<span class="keyword">typedef</span> llvm::IRBuilder&lt;&gt; <a class="code" href="namespaceSVF.html#a94824519e439aeef1568d415b6f7331c">IRBuilder</a>;</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 12</span></div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;<span class="keyword">typedef</span> llvm::UnifyFunctionExitNodesLegacyPass <a class="code" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">UnifyFunctionExitNodes</a>;</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">   42</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">llvm::UnifyFunctionExitNodes</a> <a class="code" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">UnifyFunctionExitNodes</a>;</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;</div><div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">   45</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">llvm::Module</a> <a class="code" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">Module</a>;</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30">   47</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30">llvm::SMDiagnostic</a> <a class="code" href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30">SMDiagnostic</a>;</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;</div><div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c">   49</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c">llvm::BlockAddress</a> <a class="code" href="namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c">BlockAddress</a>;</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;<span class="comment">// LLVM Metadata</span></div><div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">   52</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">llvm::MDString</a> <a class="code" href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">MDString</a>;</div><div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">   53</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">llvm::MetadataAsValue</a> <a class="code" href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">MetadataAsValue</a>;</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;<span class="comment">// LLVM data layout</span></div><div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">   56</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">llvm::StructLayout</a> <a class="code" href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">StructLayout</a>;</div><div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">   57</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">llvm::ConstantStruct</a> <a class="code" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">ConstantStruct</a>;</div><div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">   58</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">llvm::MemoryLocation</a> <a class="code" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">MemoryLocation</a>;</div><div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">   59</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">llvm::DataLayout</a> <a class="code" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">DataLayout</a>;</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;<span class="comment">// LLVM Aliases and constants</span></div><div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597">   62</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597">llvm::ConstantAggregate</a> <a class="code" href="namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597">ConstantAggregate</a>;</div><div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07">   63</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07">llvm::ConstantAggregateZero</a> <a class="code" href="namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07">ConstantAggregateZero</a>;</div><div class="line"><a name="l00064"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9">   64</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9">llvm::ConstantDataSequential</a> <a class="code" href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9">ConstantDataSequential</a>;</div><div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">   65</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">llvm::ConstantExpr</a> <a class="code" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a>;</div><div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462">   66</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462">llvm::ConstantDataArray</a> <a class="code" href="namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462">ConstantDataArray</a>;</div><div class="line"><a name="l00067"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768">   67</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768">llvm::ConstantData</a> <a class="code" href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768">ConstantData</a>;</div><div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">   68</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">llvm::ConstantArray</a> <a class="code" href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">ConstantArray</a>;</div><div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9">   69</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9">llvm::Constant</a> <a class="code" href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9">Constant</a>;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;</div><div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd">   72</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd">llvm::DominatorTree</a> <a class="code" href="namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd">DominatorTree</a>;</div><div class="line"><a name="l00073"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89">   73</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89">llvm::DomTreeNode</a> <a class="code" href="namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89">DomTreeNode</a>;</div><div class="line"><a name="l00074"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ab44d20f806be99699895260b14a942d7">   74</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ab44d20f806be99699895260b14a942d7">llvm::DominanceFrontier</a> <a class="code" href="namespaceSVF.html#ab44d20f806be99699895260b14a942d7">DominanceFrontier</a>;</div><div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef">   75</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef">llvm::PostDominatorTree</a> <a class="code" href="namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef">PostDominatorTree</a>;</div><div class="line"><a name="l00076"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915">   76</a></span>&#160;<span class="keyword">typedef</span> llvm::DominanceFrontierBase&lt;llvm::BasicBlock, false&gt; <a class="code" href="namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915">DominanceFrontierBase</a>;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;</div><div class="line"><a name="l00079"></a><span class="lineno"><a class="line" href="namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314">   79</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314">llvm::Loop</a> <a class="code" href="namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314">Loop</a>;</div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5">   80</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5">llvm::LoopInfo</a> <a class="code" href="namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5">LoopInfo</a>;</div><div class="line"><a name="l00081"></a><span class="lineno"><a class="line" href="namespaceSVF.html#afc1b50355821e7299df03b026e36f1df">   81</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#afc1b50355821e7299df03b026e36f1df">llvm::User</a> <a class="code" href="namespaceSVF.html#afc1b50355821e7299df03b026e36f1df">User</a>;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;<span class="comment">// LLVM Instructions</span></div><div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">   84</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">llvm::AllocaInst</a> <a class="code" href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">AllocaInst</a>;</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">   85</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">llvm::AtomicCmpXchgInst</a> <a class="code" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">AtomicCmpXchgInst</a>;</div><div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">   86</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">llvm::AtomicRMWInst</a> <a class="code" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">AtomicRMWInst</a>;</div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">   87</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">llvm::BitCastInst</a> <a class="code" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">BitCastInst</a>;</div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">   88</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">llvm::BranchInst</a> <a class="code" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">BranchInst</a>;</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">   89</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">llvm::SwitchInst</a> <a class="code" href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">SwitchInst</a>;</div><div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5">   90</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5">llvm::CallBrInst</a> <a class="code" href="namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5">CallBrInst</a>;</div><div class="line"><a name="l00091"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">   91</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">llvm::ReturnInst</a> <a class="code" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">ReturnInst</a>;</div><div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">   92</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">llvm::CastInst</a> <a class="code" href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">CastInst</a>;</div><div class="line"><a name="l00093"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">   93</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">llvm::CmpInst</a> <a class="code" href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">CmpInst</a>;</div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986">   94</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986">llvm::ExtractValueInst</a>  <a class="code" href="namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986">ExtractValueInst</a>;</div><div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356">   95</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356">llvm::ExtractElementInst</a> <a class="code" href="namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356">ExtractElementInst</a>;</div><div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">   96</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">llvm::GetElementPtrInst</a> <a class="code" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">GetElementPtrInst</a>;</div><div class="line"><a name="l00097"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">   97</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">llvm::InvokeInst</a> <a class="code" href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">InvokeInst</a>;</div><div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">   98</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">llvm::ShuffleVectorInst</a> <a class="code" href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">ShuffleVectorInst</a>;</div><div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">   99</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">llvm::PHINode</a> <a class="code" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">PHINode</a>;</div><div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">  100</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">llvm::IntToPtrInst</a> <a class="code" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">IntToPtrInst</a>;</div><div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24">  101</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24">llvm::InsertValueInst</a> <a class="code" href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24">InsertValueInst</a>;</div><div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b">  102</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b">llvm::FenceInst</a> <a class="code" href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b">FenceInst</a>;</div><div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88">  103</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88">llvm::FreezeInst</a> <a class="code" href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88">FreezeInst</a>;</div><div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721">  104</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721">llvm::UnreachableInst</a> <a class="code" href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721">UnreachableInst</a>;</div><div class="line"><a name="l00105"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326">  105</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326">llvm::InsertElementInst</a> <a class="code" href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326">InsertElementInst</a>;</div><div class="line"><a name="l00106"></a><span class="lineno"><a class="line" href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71">  106</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71">llvm::LandingPadInst</a> <a class="code" href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71">LandingPadInst</a>;</div><div class="line"><a name="l00107"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">  107</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">llvm::ResumeInst</a> <a class="code" href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">ResumeInst</a>;</div><div class="line"><a name="l00108"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307">  108</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307">llvm::SelectInst</a> <a class="code" href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307">SelectInst</a>;</div><div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4">  109</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4">llvm::VAArgInst</a> <a class="code" href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4">VAArgInst</a>;</div><div class="line"><a name="l00110"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">  110</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">llvm::VACopyInst</a> <a class="code" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">VACopyInst</a>;</div><div class="line"><a name="l00111"></a><span class="lineno"><a class="line" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">  111</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">llvm::VAEndInst</a> <a class="code" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">VAEndInst</a>;</div><div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">  112</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">llvm::VAStartInst</a> <a class="code" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">VAStartInst</a>;</div><div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">  113</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">llvm::BinaryOperator</a> <a class="code" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">BinaryOperator</a>;</div><div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">  114</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">llvm::UnaryOperator</a> <a class="code" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">UnaryOperator</a>;</div><div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">  115</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">llvm::UndefValue</a> <a class="code" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">UndefValue</a>;</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;<span class="comment">// LLVM Intrinsic Instructions</span></div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 13</span></div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;<span class="keyword">typedef</span> llvm::IntrinsicInst IntrinsicInst;</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;<span class="keyword">typedef</span> llvm::DbgInfoIntrinsic DbgInfoIntrinsic;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;<span class="keyword">typedef</span> llvm::DbgVariableIntrinsic DbgVariableIntrinsic;</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;<span class="keyword">typedef</span> llvm::DbgDeclareInst DbgDeclareInst;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;<span class="keyword">typedef</span> llvm::DbgAddrIntrinsic DbgAddrIntrinsic;</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;<span class="keyword">typedef</span> llvm::DbgValueInst DbgValueInst;</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;<span class="keyword">typedef</span> llvm::DbgLabelInst DbgLabelInst;</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;<span class="keyword">typedef</span> llvm::VPIntrinsic VPIntrinsic;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;<span class="keyword">typedef</span> llvm::ConstrainedFPIntrinsic ConstrainedFPIntrinsic;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;<span class="keyword">typedef</span> llvm::ConstrainedFPCmpIntrinsic ConstrainedFPCmpIntrinsic;</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;<span class="keyword">typedef</span> llvm::MinMaxIntrinsic MinMaxIntrinsic;</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;<span class="keyword">typedef</span> llvm::BinaryOpIntrinsic BinaryOpIntrinsic;</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;<span class="keyword">typedef</span> llvm::WithOverflowInst WithOverflowInst;</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;<span class="keyword">typedef</span> llvm::SaturatingInst SaturatingInst;</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemIntrinsic AtomicMemIntrinsic;</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemSetInst AtomicMemSetInst;</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemTransferInst AtomicMemTransferInst;</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemCpyInst AtomicMemCpyInst;</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemMoveInst AtomicMemMoveInst;</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;<span class="keyword">typedef</span> llvm::MemIntrinsic MemIntrinsic;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;<span class="keyword">typedef</span> llvm::MemSetInst MemSetInst;</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;<span class="keyword">typedef</span> llvm::MemTransferInst MemTransferInst;</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;<span class="keyword">typedef</span> llvm::MemCpyInst MemCpyInst;</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;<span class="keyword">typedef</span> llvm::MemMoveInst MemMoveInst;</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;<span class="keyword">typedef</span> llvm::MemCpyInlineInst MemCpyInlineInst;</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemIntrinsic AnyMemIntrinsic;</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemSetInst AnyMemSetInst;</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemTransferInst AnyMemTransferInst;</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemCpyInst AnyMemCpyInst;</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemMoveInst AnyMemMoveInst;</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">llvm::VAStartInst</a> <a class="code" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">VAStartInst</a>;</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">llvm::VAEndInst</a> <a class="code" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">VAEndInst</a>;</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">llvm::VACopyInst</a> <a class="code" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">VACopyInst</a>;</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;<span class="keyword">typedef</span> llvm::InstrProfIncrementInst InstrProfIncrementInst;</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;<span class="keyword">typedef</span> llvm::InstrProfIncrementInstStep InstrProfIncrementInstStep;</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;<span class="keyword">typedef</span> llvm::InstrProfValueProfileInst InstrProfValueProfileInst;</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;<span class="keyword">typedef</span> llvm::PseudoProbeInst PseudoProbeInst;</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;<span class="keyword">typedef</span> llvm::NoAliasScopeDeclInst NoAliasScopeDeclInst;</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;<span class="keyword">typedef</span> llvm::GCStatepointInst GCStatepointInst;</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;<span class="keyword">typedef</span> llvm::GCProjectionInst GCProjectionInst;</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;<span class="keyword">typedef</span> llvm::GCRelocateInst GCRelocateInst;</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;<span class="keyword">typedef</span> llvm::GCResultInst GCResultInst;</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;<span class="keyword">typedef</span> llvm::AssumeInst AssumeInst;</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;<span class="comment">// LLVM Debug Information</span></div><div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">  165</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">llvm::DIType</a> <a class="code" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">DIType</a>;</div><div class="line"><a name="l00166"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">  166</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">llvm::DICompositeType</a> <a class="code" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">DICompositeType</a>;</div><div class="line"><a name="l00167"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">  167</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">llvm::DIDerivedType</a> <a class="code" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">DIDerivedType</a>;</div><div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">  168</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">llvm::DebugInfoFinder</a> <a class="code" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">DebugInfoFinder</a>;</div><div class="line"><a name="l00169"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">  169</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">llvm::DISubroutineType</a> <a class="code" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">DISubroutineType</a>;</div><div class="line"><a name="l00170"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">  170</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">llvm::DIBasicType</a> <a class="code" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">DIBasicType</a>;</div><div class="line"><a name="l00171"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">  171</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">llvm::DISubrange</a> <a class="code" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">DISubrange</a>;</div><div class="line"><a name="l00172"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">  172</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">llvm::DINode</a> <a class="code" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">DINode</a>;</div><div class="line"><a name="l00173"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">  173</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">llvm::DINodeArray</a> <a class="code" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">DINodeArray</a>;</div><div class="line"><a name="l00174"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">  174</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">llvm::DITypeRefArray</a> <a class="code" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">DITypeRefArray</a>;</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;<span class="keyword">namespace </span>dwarf = llvm::dwarf;</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;<span class="comment">// Iterators.</span></div><div class="line"><a name="l00178"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">  178</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">llvm::inst_iterator</a> <a class="code" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">inst_iterator</a>;</div><div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">  179</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">llvm::gep_type_iterator</a> <a class="code" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">gep_type_iterator</a>;</div><div class="line"><a name="l00180"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc">  180</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">llvm::bridge_gep_iterator</a> <a class="code" href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc">bridge_gep_iterator</a>;</div><div class="line"><a name="l00181"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">  181</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">llvm::const_inst_iterator</a> <a class="code" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">const_inst_iterator</a>;</div><div class="line"><a name="l00182"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">  182</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">llvm::const_pred_iterator</a> <a class="code" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">const_pred_iterator</a>;</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;<span class="comment">// LLVM Scalar Evolution.</span></div><div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">  185</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">llvm::ScalarEvolutionWrapperPass</a> <a class="code" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">ScalarEvolutionWrapperPass</a>;</div><div class="line"><a name="l00186"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">  186</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">llvm::SCEVAddRecExpr</a> <a class="code" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">SCEVAddRecExpr</a>;</div><div class="line"><a name="l00187"></a><span class="lineno"><a class="line" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">  187</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">llvm::SCEVConstant</a> <a class="code" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">SCEVConstant</a>;</div><div class="line"><a name="l00188"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">  188</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">llvm::ScalarEvolution</a> <a class="code" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">ScalarEvolution</a>;</div><div class="line"><a name="l00189"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">  189</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">llvm::SCEV</a> <a class="code" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">SCEV</a>;</div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;<span class="comment">// LLVM Types.</span></div><div class="line"><a name="l00192"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">  192</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">llvm::VectorType</a> <a class="code" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">VectorType</a>;</div><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;<span class="preprocessor">#if (LLVM_VERSION_MAJOR &gt;= 9)</span></div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;<span class="keyword">typedef</span> llvm::FunctionCallee FunctionCallee;</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;} <span class="comment">// End namespace SVF</span></div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;<span class="preprocessor">#endif  // SVF_FE_BASIC_TYPES_H</span></div><div class="ttc" id="namespaceSVF_html_a334998718813a19a7697daf4ba282faf"><div class="ttname"><a href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">SVF::Use</a></div><div class="ttdeci">llvm::Use Use</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00036">BasicTypes.h:36</a></div></div>
+<a href="SVF-FE_2BasicTypes_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="preprocessor">#ifndef SVF_FE_BASIC_TYPES_H</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="preprocessor">#define SVF_FE_BASIC_TYPES_H</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;</div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="GEPTypeBridgeIterator_8h.html">SVF-FE/GEPTypeBridgeIterator.h</a>&quot;</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;</div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="preprocessor">#include &lt;llvm/Pass.h&gt;</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/Instructions.h&gt;</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/IntrinsicInst.h&gt;</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/LLVMContext.h&gt;</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/Metadata.h&gt;</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/DataLayout.h&gt;</span></div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/IRBuilder.h&gt;</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/DebugInfo.h&gt;</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/InstIterator.h&gt;</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/GetElementPtrTypeIterator.h&gt;</span></div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/DerivedTypes.h&gt;</span></div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;</div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="preprocessor">#include &lt;llvm/Analysis/MemoryLocation.h&gt;</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="preprocessor">#include &lt;llvm/Analysis/DominanceFrontier.h&gt;</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="preprocessor">#include &lt;llvm/Analysis/PostDominators.h&gt;</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;<span class="preprocessor">#include &lt;llvm/Analysis/ScalarEvolution.h&gt;</span></div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="preprocessor">#include &lt;llvm/Analysis/ScalarEvolutionExpressions.h&gt;</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="preprocessor">#include &lt;llvm/Transforms/Utils/UnifyFunctionExitNodes.h&gt;</span></div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;</div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="preprocessor">#include &lt;llvm/Support/SourceMgr.h&gt;</span></div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;<span class="preprocessor">#include &quot;llvm/Analysis/LoopInfo.h&quot;</span></div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;</div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;{</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;</div><div class="line"><a name="l00034"></a><span class="lineno"><a class="line" href="namespaceSVF.html#affba423b674a0aba723e33101826e297">   34</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#affba423b674a0aba723e33101826e297">llvm::LLVMContext</a> <a class="code" href="namespaceSVF.html#affba423b674a0aba723e33101826e297">LLVMContext</a>;</div><div class="line"><a name="l00035"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">   35</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">llvm::GlobalObject</a> <a class="code" href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">GlobalObject</a>;</div><div class="line"><a name="l00036"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">   36</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">llvm::Use</a> <a class="code" href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">Use</a>;</div><div class="line"><a name="l00037"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">   37</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">llvm::ModulePass</a> <a class="code" href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">ModulePass</a>;</div><div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a94824519e439aeef1568d415b6f7331c">   38</a></span>&#160;<span class="keyword">typedef</span> llvm::IRBuilder&lt;&gt; <a class="code" href="namespaceSVF.html#a94824519e439aeef1568d415b6f7331c">IRBuilder</a>;</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 12</span></div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;<span class="keyword">typedef</span> llvm::UnifyFunctionExitNodesLegacyPass <a class="code" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">UnifyFunctionExitNodes</a>;</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">   42</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">llvm::UnifyFunctionExitNodes</a> <a class="code" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">UnifyFunctionExitNodes</a>;</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;</div><div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">   45</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">llvm::Module</a> <a class="code" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">Module</a>;</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30">   47</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30">llvm::SMDiagnostic</a> <a class="code" href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30">SMDiagnostic</a>;</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;</div><div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c">   49</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c">llvm::BlockAddress</a> <a class="code" href="namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c">BlockAddress</a>;</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;<span class="comment">// LLVM Metadata</span></div><div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">   52</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">llvm::MDString</a> <a class="code" href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">MDString</a>;</div><div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">   53</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">llvm::MetadataAsValue</a> <a class="code" href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">MetadataAsValue</a>;</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;<span class="comment">// LLVM data layout</span></div><div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">   56</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">llvm::StructLayout</a> <a class="code" href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">StructLayout</a>;</div><div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">   57</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">llvm::ConstantStruct</a> <a class="code" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">ConstantStruct</a>;</div><div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">   58</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">llvm::MemoryLocation</a> <a class="code" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">MemoryLocation</a>;</div><div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">   59</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">llvm::DataLayout</a> <a class="code" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">DataLayout</a>;</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;<span class="comment">// LLVM Aliases and constants</span></div><div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597">   62</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597">llvm::ConstantAggregate</a> <a class="code" href="namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597">ConstantAggregate</a>;</div><div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07">   63</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07">llvm::ConstantAggregateZero</a> <a class="code" href="namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07">ConstantAggregateZero</a>;</div><div class="line"><a name="l00064"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9">   64</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9">llvm::ConstantDataSequential</a> <a class="code" href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9">ConstantDataSequential</a>;</div><div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">   65</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">llvm::ConstantExpr</a> <a class="code" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a>;</div><div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462">   66</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462">llvm::ConstantDataArray</a> <a class="code" href="namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462">ConstantDataArray</a>;</div><div class="line"><a name="l00067"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768">   67</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768">llvm::ConstantData</a> <a class="code" href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768">ConstantData</a>;</div><div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">   68</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">llvm::ConstantArray</a> <a class="code" href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">ConstantArray</a>;</div><div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9">   69</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9">llvm::Constant</a> <a class="code" href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9">Constant</a>;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;</div><div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd">   72</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd">llvm::DominatorTree</a> <a class="code" href="namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd">DominatorTree</a>;</div><div class="line"><a name="l00073"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89">   73</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89">llvm::DomTreeNode</a> <a class="code" href="namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89">DomTreeNode</a>;</div><div class="line"><a name="l00074"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ab44d20f806be99699895260b14a942d7">   74</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ab44d20f806be99699895260b14a942d7">llvm::DominanceFrontier</a> <a class="code" href="namespaceSVF.html#ab44d20f806be99699895260b14a942d7">DominanceFrontier</a>;</div><div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef">   75</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef">llvm::PostDominatorTree</a> <a class="code" href="namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef">PostDominatorTree</a>;</div><div class="line"><a name="l00076"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915">   76</a></span>&#160;<span class="keyword">typedef</span> llvm::DominanceFrontierBase&lt;llvm::BasicBlock, false&gt; <a class="code" href="namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915">DominanceFrontierBase</a>;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;</div><div class="line"><a name="l00079"></a><span class="lineno"><a class="line" href="namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314">   79</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314">llvm::Loop</a> <a class="code" href="namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314">Loop</a>;</div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5">   80</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5">llvm::LoopInfo</a> <a class="code" href="namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5">LoopInfo</a>;</div><div class="line"><a name="l00081"></a><span class="lineno"><a class="line" href="namespaceSVF.html#afc1b50355821e7299df03b026e36f1df">   81</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#afc1b50355821e7299df03b026e36f1df">llvm::User</a> <a class="code" href="namespaceSVF.html#afc1b50355821e7299df03b026e36f1df">User</a>;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;<span class="comment">// LLVM Instructions</span></div><div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">   84</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">llvm::AllocaInst</a> <a class="code" href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">AllocaInst</a>;</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">   85</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">llvm::AtomicCmpXchgInst</a> <a class="code" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">AtomicCmpXchgInst</a>;</div><div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">   86</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">llvm::AtomicRMWInst</a> <a class="code" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">AtomicRMWInst</a>;</div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">   87</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">llvm::BitCastInst</a> <a class="code" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">BitCastInst</a>;</div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">   88</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">llvm::BranchInst</a> <a class="code" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">BranchInst</a>;</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">   89</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">llvm::SwitchInst</a> <a class="code" href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">SwitchInst</a>;</div><div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5">   90</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5">llvm::CallBrInst</a> <a class="code" href="namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5">CallBrInst</a>;</div><div class="line"><a name="l00091"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">   91</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">llvm::ReturnInst</a> <a class="code" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">ReturnInst</a>;</div><div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">   92</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">llvm::CastInst</a> <a class="code" href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">CastInst</a>;</div><div class="line"><a name="l00093"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">   93</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">llvm::CmpInst</a> <a class="code" href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">CmpInst</a>;</div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986">   94</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986">llvm::ExtractValueInst</a>  <a class="code" href="namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986">ExtractValueInst</a>;</div><div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356">   95</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356">llvm::ExtractElementInst</a> <a class="code" href="namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356">ExtractElementInst</a>;</div><div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">   96</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">llvm::GetElementPtrInst</a> <a class="code" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">GetElementPtrInst</a>;</div><div class="line"><a name="l00097"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">   97</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">llvm::InvokeInst</a> <a class="code" href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">InvokeInst</a>;</div><div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">   98</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">llvm::ShuffleVectorInst</a> <a class="code" href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">ShuffleVectorInst</a>;</div><div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">   99</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">llvm::PHINode</a> <a class="code" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">PHINode</a>;</div><div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">  100</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">llvm::IntToPtrInst</a> <a class="code" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">IntToPtrInst</a>;</div><div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24">  101</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24">llvm::InsertValueInst</a> <a class="code" href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24">InsertValueInst</a>;</div><div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b">  102</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b">llvm::FenceInst</a> <a class="code" href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b">FenceInst</a>;</div><div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88">  103</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88">llvm::FreezeInst</a> <a class="code" href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88">FreezeInst</a>;</div><div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721">  104</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721">llvm::UnreachableInst</a> <a class="code" href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721">UnreachableInst</a>;</div><div class="line"><a name="l00105"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326">  105</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326">llvm::InsertElementInst</a> <a class="code" href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326">InsertElementInst</a>;</div><div class="line"><a name="l00106"></a><span class="lineno"><a class="line" href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71">  106</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71">llvm::LandingPadInst</a> <a class="code" href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71">LandingPadInst</a>;</div><div class="line"><a name="l00107"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">  107</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">llvm::ResumeInst</a> <a class="code" href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">ResumeInst</a>;</div><div class="line"><a name="l00108"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307">  108</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307">llvm::SelectInst</a> <a class="code" href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307">SelectInst</a>;</div><div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4">  109</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4">llvm::VAArgInst</a> <a class="code" href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4">VAArgInst</a>;</div><div class="line"><a name="l00110"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">  110</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">llvm::VACopyInst</a> <a class="code" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">VACopyInst</a>;</div><div class="line"><a name="l00111"></a><span class="lineno"><a class="line" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">  111</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">llvm::VAEndInst</a> <a class="code" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">VAEndInst</a>;</div><div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">  112</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">llvm::VAStartInst</a> <a class="code" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">VAStartInst</a>;</div><div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">  113</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">llvm::BinaryOperator</a> <a class="code" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">BinaryOperator</a>;</div><div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">  114</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">llvm::UnaryOperator</a> <a class="code" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">UnaryOperator</a>;</div><div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">  115</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">llvm::UndefValue</a> <a class="code" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">UndefValue</a>;</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;<span class="comment">// LLVM Intrinsic Instructions</span></div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 13</span></div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;<span class="keyword">typedef</span> llvm::IntrinsicInst IntrinsicInst;</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;<span class="keyword">typedef</span> llvm::DbgInfoIntrinsic DbgInfoIntrinsic;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;<span class="keyword">typedef</span> llvm::DbgVariableIntrinsic DbgVariableIntrinsic;</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;<span class="keyword">typedef</span> llvm::DbgDeclareInst DbgDeclareInst;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;<span class="keyword">typedef</span> llvm::DbgAddrIntrinsic DbgAddrIntrinsic;</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;<span class="keyword">typedef</span> llvm::DbgValueInst DbgValueInst;</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;<span class="keyword">typedef</span> llvm::DbgLabelInst DbgLabelInst;</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;<span class="keyword">typedef</span> llvm::VPIntrinsic VPIntrinsic;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;<span class="keyword">typedef</span> llvm::ConstrainedFPIntrinsic ConstrainedFPIntrinsic;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;<span class="keyword">typedef</span> llvm::ConstrainedFPCmpIntrinsic ConstrainedFPCmpIntrinsic;</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;<span class="keyword">typedef</span> llvm::MinMaxIntrinsic MinMaxIntrinsic;</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;<span class="keyword">typedef</span> llvm::BinaryOpIntrinsic BinaryOpIntrinsic;</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;<span class="keyword">typedef</span> llvm::WithOverflowInst WithOverflowInst;</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;<span class="keyword">typedef</span> llvm::SaturatingInst SaturatingInst;</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemIntrinsic AtomicMemIntrinsic;</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemSetInst AtomicMemSetInst;</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemTransferInst AtomicMemTransferInst;</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemCpyInst AtomicMemCpyInst;</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemMoveInst AtomicMemMoveInst;</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;<span class="keyword">typedef</span> llvm::MemIntrinsic MemIntrinsic;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;<span class="keyword">typedef</span> llvm::MemSetInst MemSetInst;</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;<span class="keyword">typedef</span> llvm::MemTransferInst MemTransferInst;</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;<span class="keyword">typedef</span> llvm::MemCpyInst MemCpyInst;</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;<span class="keyword">typedef</span> llvm::MemMoveInst MemMoveInst;</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;<span class="keyword">typedef</span> llvm::MemCpyInlineInst MemCpyInlineInst;</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemIntrinsic AnyMemIntrinsic;</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemSetInst AnyMemSetInst;</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemTransferInst AnyMemTransferInst;</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemCpyInst AnyMemCpyInst;</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemMoveInst AnyMemMoveInst;</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">llvm::VAStartInst</a> <a class="code" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">VAStartInst</a>;</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">llvm::VAEndInst</a> <a class="code" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">VAEndInst</a>;</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">llvm::VACopyInst</a> <a class="code" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">VACopyInst</a>;</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;<span class="keyword">typedef</span> llvm::InstrProfIncrementInst InstrProfIncrementInst;</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;<span class="keyword">typedef</span> llvm::InstrProfIncrementInstStep InstrProfIncrementInstStep;</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;<span class="keyword">typedef</span> llvm::InstrProfValueProfileInst InstrProfValueProfileInst;</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;<span class="keyword">typedef</span> llvm::PseudoProbeInst PseudoProbeInst;</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;<span class="keyword">typedef</span> llvm::NoAliasScopeDeclInst NoAliasScopeDeclInst;</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;<span class="keyword">typedef</span> llvm::GCStatepointInst GCStatepointInst;</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;<span class="keyword">typedef</span> llvm::GCProjectionInst GCProjectionInst;</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;<span class="keyword">typedef</span> llvm::GCRelocateInst GCRelocateInst;</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;<span class="keyword">typedef</span> llvm::GCResultInst GCResultInst;</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;<span class="keyword">typedef</span> llvm::AssumeInst AssumeInst;</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;<span class="comment">// LLVM Debug Information</span></div><div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">  165</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">llvm::DIType</a> <a class="code" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">DIType</a>;</div><div class="line"><a name="l00166"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">  166</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">llvm::DICompositeType</a> <a class="code" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">DICompositeType</a>;</div><div class="line"><a name="l00167"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">  167</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">llvm::DIDerivedType</a> <a class="code" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">DIDerivedType</a>;</div><div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">  168</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">llvm::DebugInfoFinder</a> <a class="code" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">DebugInfoFinder</a>;</div><div class="line"><a name="l00169"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">  169</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">llvm::DISubroutineType</a> <a class="code" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">DISubroutineType</a>;</div><div class="line"><a name="l00170"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">  170</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">llvm::DIBasicType</a> <a class="code" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">DIBasicType</a>;</div><div class="line"><a name="l00171"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">  171</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">llvm::DISubrange</a> <a class="code" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">DISubrange</a>;</div><div class="line"><a name="l00172"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">  172</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">llvm::DINode</a> <a class="code" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">DINode</a>;</div><div class="line"><a name="l00173"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">  173</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">llvm::DINodeArray</a> <a class="code" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">DINodeArray</a>;</div><div class="line"><a name="l00174"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">  174</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">llvm::DITypeRefArray</a> <a class="code" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">DITypeRefArray</a>;</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;<span class="keyword">namespace </span>dwarf = llvm::dwarf;</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;<span class="comment">// Iterators.</span></div><div class="line"><a name="l00178"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">  178</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">llvm::inst_iterator</a> <a class="code" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">inst_iterator</a>;</div><div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">  179</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">llvm::gep_type_iterator</a> <a class="code" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">gep_type_iterator</a>;</div><div class="line"><a name="l00180"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc">  180</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">llvm::bridge_gep_iterator</a> <a class="code" href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc">bridge_gep_iterator</a>;</div><div class="line"><a name="l00181"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">  181</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">llvm::const_inst_iterator</a> <a class="code" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">const_inst_iterator</a>;</div><div class="line"><a name="l00182"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">  182</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">llvm::const_pred_iterator</a> <a class="code" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">const_pred_iterator</a>;</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;<span class="comment">// LLVM Scalar Evolution.</span></div><div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">  185</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">llvm::ScalarEvolutionWrapperPass</a> <a class="code" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">ScalarEvolutionWrapperPass</a>;</div><div class="line"><a name="l00186"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">  186</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">llvm::SCEVAddRecExpr</a> <a class="code" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">SCEVAddRecExpr</a>;</div><div class="line"><a name="l00187"></a><span class="lineno"><a class="line" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">  187</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">llvm::SCEVConstant</a> <a class="code" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">SCEVConstant</a>;</div><div class="line"><a name="l00188"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">  188</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">llvm::ScalarEvolution</a> <a class="code" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">ScalarEvolution</a>;</div><div class="line"><a name="l00189"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">  189</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">llvm::SCEV</a> <a class="code" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">SCEV</a>;</div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;</div><div class="line"><a name="l00192"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">  192</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">llvm::raw_fd_ostream</a> <a class="code" href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">raw_fd_ostream</a>;</div><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;<span class="comment">// LLVM Types.</span></div><div class="line"><a name="l00195"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">  195</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">llvm::VectorType</a> <a class="code" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">VectorType</a>;</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;<span class="preprocessor">#if (LLVM_VERSION_MAJOR &gt;= 9)</span></div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;<span class="keyword">typedef</span> llvm::FunctionCallee FunctionCallee;</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;} <span class="comment">// End namespace SVF</span></div><div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;</div><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;<span class="preprocessor">#endif  // SVF_FE_BASIC_TYPES_H</span></div><div class="ttc" id="namespaceSVF_html_a334998718813a19a7697daf4ba282faf"><div class="ttname"><a href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">SVF::Use</a></div><div class="ttdeci">llvm::Use Use</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00036">BasicTypes.h:36</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ae5853f7df76735b195ff93949ca4256b"><div class="ttname"><a href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">SVF::UnifyFunctionExitNodes</a></div><div class="ttdeci">llvm::UnifyFunctionExitNodes UnifyFunctionExitNodes</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00042">BasicTypes.h:42</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a5ae718cba37d8e34d2946530dc098c8e"><div class="ttname"><a href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">SVF::ConstantArray</a></div><div class="ttdeci">llvm::ConstantArray ConstantArray</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00068">BasicTypes.h:68</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a28eec26ec8edaa5e96aecfeb01f6c0d4"><div class="ttname"><a href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">SVF::MDString</a></div><div class="ttdeci">llvm::MDString MDString</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00052">BasicTypes.h:52</a></div></div>
@@ -83,7 +83,7 @@ $(function() {
 <div class="ttc" id="namespaceSVF_html_a032e8478a7b6a8bb0b7755c98a7bce91"><div class="ttname"><a href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">SVF::const_inst_iterator</a></div><div class="ttdeci">llvm::const_inst_iterator const_inst_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00181">BasicTypes.h:181</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a962e9a9044a46fc4bd2367384f6e0827"><div class="ttname"><a href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">SVF::CastInst</a></div><div class="ttdeci">llvm::CastInst CastInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00092">BasicTypes.h:92</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ac226d84f86637126d17f6814632c8a90"><div class="ttname"><a href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">SVF::ModulePass</a></div><div class="ttdeci">llvm::ModulePass ModulePass</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00037">BasicTypes.h:37</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a1eaed46fa67cf1a51e438c5f8f523418"><div class="ttname"><a href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">SVF::VectorType</a></div><div class="ttdeci">llvm::VectorType VectorType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00192">BasicTypes.h:192</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a1eaed46fa67cf1a51e438c5f8f523418"><div class="ttname"><a href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">SVF::VectorType</a></div><div class="ttdeci">llvm::VectorType VectorType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00195">BasicTypes.h:195</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a8c685f6bff3a67bf7fe3557dbfa84caa"><div class="ttname"><a href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">SVF::ResumeInst</a></div><div class="ttdeci">llvm::ResumeInst ResumeInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00107">BasicTypes.h:107</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a9f1aca0384166e42d14e2608009ebc01"><div class="ttname"><a href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">SVF::ScalarEvolutionWrapperPass</a></div><div class="ttdeci">llvm::ScalarEvolutionWrapperPass ScalarEvolutionWrapperPass</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00185">BasicTypes.h:185</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a339bbddac9d9dffd5ef602200d34c403"><div class="ttname"><a href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">SVF::MemoryLocation</a></div><div class="ttdeci">llvm::MemoryLocation MemoryLocation</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00058">BasicTypes.h:58</a></div></div>
@@ -100,6 +100,7 @@ $(function() {
 <div class="ttc" id="namespaceSVF_html_aded9b991c77acc5284ccead0739e84f1"><div class="ttname"><a href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">SVF::DICompositeType</a></div><div class="ttdeci">llvm::DICompositeType DICompositeType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00166">BasicTypes.h:166</a></div></div>
 <div class="ttc" id="namespaceSVF_html_af157dc77830b6cc804338df7430cbbb3"><div class="ttname"><a href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">SVF::GlobalObject</a></div><div class="ttdeci">llvm::GlobalObject GlobalObject</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00035">BasicTypes.h:35</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ab44d20f806be99699895260b14a942d7"><div class="ttname"><a href="namespaceSVF.html#ab44d20f806be99699895260b14a942d7">SVF::DominanceFrontier</a></div><div class="ttdeci">llvm::DominanceFrontier DominanceFrontier</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00074">BasicTypes.h:74</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a1c7c7ac12791c0ae386283c0a4f127ba"><div class="ttname"><a href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">SVF::raw_fd_ostream</a></div><div class="ttdeci">llvm::raw_fd_ostream raw_fd_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00192">BasicTypes.h:192</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ab34383ee87cd45eb485fa29db482ffef"><div class="ttname"><a href="namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef">SVF::PostDominatorTree</a></div><div class="ttdeci">llvm::PostDominatorTree PostDominatorTree</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00075">BasicTypes.h:75</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ac7dcc6103dee3a0bbc2fd2e02716a154"><div class="ttname"><a href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">SVF::ReturnInst</a></div><div class="ttdeci">llvm::ReturnInst ReturnInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00091">BasicTypes.h:91</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a827d09974dc7bf0849f96823cc2fee89"><div class="ttname"><a href="namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89">SVF::DomTreeNode</a></div><div class="ttdeci">llvm::DomTreeNode DomTreeNode</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00073">BasicTypes.h:73</a></div></div>

package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html CHANGED Viewed

@@ -77,7 +77,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SVFGBuilder_html_a54a713e3989597b11cee70864d0197bd"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd">SVF::SVFGBuilder::buildFullSVFG</a></div><div class="ttdeci">SVFG * buildFullSVFG(BVDataPTAImpl *pta)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8cpp_source.html#l00052">SVFGBuilder.cpp:52</a></div></div>
 <div class="ttc" id="classSVF_1_1VFG_html_ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d"><div class="ttname"><a href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d">SVF::VFG::PTRONLYSVFG</a></div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00057">VFG.h:57</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGBuilder_html_a6e08e6a99f7e743abf35e603e35e54f5"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html#a6e08e6a99f7e743abf35e603e35e54f5">SVF::SVFGBuilder::releaseMemory</a></div><div class="ttdeci">virtual void releaseMemory()</div><div class="ttdoc">Release global SVFG. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8cpp_source.html#l00110">SVFGBuilder.cpp:110</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00115">BasicTypes.h:115</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00114">BasicTypes.h:114</a></div></div>
 <div class="ttc" id="SVFGBuilder_8h_html"><div class="ttname"><a href="SVFGBuilder_8h.html">SVFGBuilder.h</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a4880571f57542afc50da506dfe273183"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">SVF::PointerAnalysis::printStat</a></div><div class="ttdeci">bool printStat()</div><div class="ttdoc">Whether print statistics. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00362">PointerAnalysis.h:362</a></div></div>
 <div class="ttc" id="SVFG_8h_html"><div class="ttname"><a href="SVFG_8h.html">SVFG.h</a></div></div>

package/SVF-doxygen/html/html/SVFGNode_8h_source.html CHANGED Viewed

@@ -86,7 +86,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1DummyVersionPropSVFGNode_html_ac997d06e133d698a5aa29c2af55a624e"><div class="ttname"><a href="classSVF_1_1DummyVersionPropSVFGNode.html#ac997d06e133d698a5aa29c2af55a624e">SVF::DummyVersionPropSVFGNode::classof</a></div><div class="ttdeci">static bool classof(const DummyVersionPropSVFGNode *)</div><div class="ttdoc">Methods to support type inquiry through isa, cast, and dyn_cast: </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00487">SVFGNode.h:487</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraMSSAPHISVFGNode_html_a1382366ed10250d8f9a21c1f28bcad1c"><div class="ttname"><a href="classSVF_1_1IntraMSSAPHISVFGNode.html#a1382366ed10250d8f9a21c1f28bcad1c">SVF::IntraMSSAPHISVFGNode::classof</a></div><div class="ttdeci">static bool classof(const MRSVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00383">SVFGNode.h:383</a></div></div>
 <div class="ttc" id="classSVF_1_1FormalOUTSVFGNode_html"><div class="ttname"><a href="classSVF_1_1FormalOUTSVFGNode.html">SVF::FormalOUTSVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00138">SVFGNode.h:138</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00115">BasicTypes.h:115</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00114">BasicTypes.h:114</a></div></div>
 <div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a9ff8a58538d4df8e06e8d16dd58f02a3"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a9ff8a58538d4df8e06e8d16dd58f02a3">SVF::MSSAPHISVFGNode::getOpVer</a></div><div class="ttdeci">const MRVer * getOpVer(u32_t pos) const</div><div class="ttdoc">MSSA phi operands. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00299">SVFGNode.h:299</a></div></div>
 <div class="ttc" id="classSVF_1_1ActualINSVFGNode_html_a9fd1b406736084d33b0026aa21eb79b7"><div class="ttname"><a href="classSVF_1_1ActualINSVFGNode.html#a9fd1b406736084d33b0026aa21eb79b7">SVF::ActualINSVFGNode::ver</a></div><div class="ttdeci">const MRVer * ver</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00184">SVFGNode.h:184</a></div></div>
 <div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html_a89cb274936513df411a75fb33a86702f"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a89cb274936513df411a75fb33a86702f">SVF::ActualOUTSVFGNode::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite() const</div><div class="ttdoc">Callsite. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00244">SVFGNode.h:244</a></div></div>

package/SVF-doxygen/html/html/SVFGOPT_8h_source.html CHANGED Viewed

@@ -155,7 +155,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList&lt; const MSSAPHISVFGNode * &gt;</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGOPT_html_a3e2b811dd939c93bcf9fb94e91d553b1"><div class="ttname"><a href="classSVF_1_1SVFGOPT.html#a3e2b811dd939c93bcf9fb94e91d553b1">SVF::SVFGOPT::setFormalOUTDef</a></div><div class="ttdeci">void setFormalOUTDef(NodeID fo, NodeID def)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8h_source.html#l00276">SVFGOPT.h:276</a></div></div>
 <div class="ttc" id="classSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00363">ICFGNode.h:363</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_ac4ae917ae35ac6fca652fe2dd90a8ac2"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">SVF::SVFFunction::getLLVMFun</a></div><div class="ttdeci">Function * getLLVMFun() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00141">BasicTypes.h:141</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_ac4ae917ae35ac6fca652fe2dd90a8ac2"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">SVF::SVFFunction::getLLVMFun</a></div><div class="ttdeci">Function * getLLVMFun() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00140">BasicTypes.h:140</a></div></div>
 <div class="ttc" id="classSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00460">SparseBitVector.h:460</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFG_html"><div class="ttname"><a href="classSVF_1_1SVFG.html">SVF::SVFG</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00065">SVFG.h:65</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGOPT_html_abbd6ac28826b9cc4c4981271393c8b19"><div class="ttname"><a href="classSVF_1_1SVFGOPT.html#abbd6ac28826b9cc4c4981271393c8b19">SVF::SVFGOPT::formalOutToDefMap</a></div><div class="ttdeci">NodeIDToNodeIDMap formalOutToDefMap</div><div class="ttdoc">map formal-out to its def-site node </div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8h_source.html#l00350">SVFGOPT.h:350</a></div></div>