npm - svf-tools - Versions diffs - 1.0.528 → 1.0.531 - Mend

svf-tools 1.0.528 → 1.0.531

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 (175) hide show

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

@@ -66,83 +66,84 @@ $(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/ScalarEvolution.h&gt;</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="preprocessor">#include &lt;llvm/Analysis/ScalarEvolutionExpressions.h&gt;</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="preprocessor">#include &lt;llvm/Transforms/Utils/UnifyFunctionExitNodes.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/Support/SourceMgr.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"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a9f19a521d06397d1b6dc52c0388513d9">   27</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a9f19a521d06397d1b6dc52c0388513d9">llvm::LLVMContext</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a9f19a521d06397d1b6dc52c0388513d9">LLVMContext</a>;</div><div class="line"><a name="l00028"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a16adea95b46c741a8990d92d29f33bb6">   28</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a16adea95b46c741a8990d92d29f33bb6">llvm::GlobalObject</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a16adea95b46c741a8990d92d29f33bb6">GlobalObject</a>;</div><div class="line"><a name="l00029"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a9c01c67684e99545d8e0403321594977">   29</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a9c01c67684e99545d8e0403321594977">llvm::Use</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a9c01c67684e99545d8e0403321594977">Use</a>;</div><div class="line"><a name="l00030"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a2e0fa4afbccc902de3ae55c65fb8b007">   30</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a2e0fa4afbccc902de3ae55c65fb8b007">llvm::ModulePass</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a2e0fa4afbccc902de3ae55c65fb8b007">ModulePass</a>;</div><div class="line"><a name="l00031"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a71269a3564eca6be7bc0efb5202275f0">   31</a></span>&#160;<span class="keyword">typedef</span> llvm::IRBuilder&lt;&gt; <a class="code" href="SVF-FE_2BasicTypes_8h.html#a71269a3564eca6be7bc0efb5202275f0">IRBuilder</a>;</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 12</span></div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="keyword">typedef</span> llvm::UnifyFunctionExitNodesLegacyPass <a class="code" href="SVF-FE_2BasicTypes_8h.html#a66384f66e64322087e7bdab0b50840f2">UnifyFunctionExitNodes</a>;</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00035"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a66384f66e64322087e7bdab0b50840f2">   35</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a66384f66e64322087e7bdab0b50840f2">llvm::UnifyFunctionExitNodes</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a66384f66e64322087e7bdab0b50840f2">UnifyFunctionExitNodes</a>;</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;</div><div class="line"><a name="l00039"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a312d4d865f87a9bff58ce66b087c13d0">   39</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a312d4d865f87a9bff58ce66b087c13d0">llvm::SMDiagnostic</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a312d4d865f87a9bff58ce66b087c13d0">SMDiagnostic</a>;</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;</div><div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ad29efa92ce4c6449b5ef7853994877bd">   41</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ad29efa92ce4c6449b5ef7853994877bd">llvm::BlockAddress</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ad29efa92ce4c6449b5ef7853994877bd">BlockAddress</a>;</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;<span class="comment">// LLVM Metadata</span></div><div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a79dfa1a3c9502e187c036ed3b41f937c">   44</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a79dfa1a3c9502e187c036ed3b41f937c">llvm::MDString</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a79dfa1a3c9502e187c036ed3b41f937c">MDString</a>;</div><div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ae6439506f12c106932f8db434ebaa761">   45</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ae6439506f12c106932f8db434ebaa761">llvm::MetadataAsValue</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ae6439506f12c106932f8db434ebaa761">MetadataAsValue</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">   47</span>&#160;<span class="comment">// LLVM data layout</span></div><div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aef8af3d6e4b75a3e3e108b636a48fbd3">   48</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aef8af3d6e4b75a3e3e108b636a48fbd3">llvm::StructLayout</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aef8af3d6e4b75a3e3e108b636a48fbd3">StructLayout</a>;</div><div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a39fea8c436d96d2b5a74f5e02cc5d952">   49</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a39fea8c436d96d2b5a74f5e02cc5d952">llvm::ConstantStruct</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a39fea8c436d96d2b5a74f5e02cc5d952">ConstantStruct</a>;</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a8c9721de4c4754decc4f79d9f5b8c756">   50</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a8c9721de4c4754decc4f79d9f5b8c756">llvm::MemoryLocation</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a8c9721de4c4754decc4f79d9f5b8c756">MemoryLocation</a>;</div><div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aa81a27b9c6b2a354437417162220fb14">   51</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aa81a27b9c6b2a354437417162220fb14">llvm::DataLayout</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aa81a27b9c6b2a354437417162220fb14">DataLayout</a>;</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;<span class="comment">// LLVM Aliases and constants</span></div><div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a586975ac48ba33219a901c5d9453da2c">   54</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a586975ac48ba33219a901c5d9453da2c">llvm::ConstantAggregate</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a586975ac48ba33219a901c5d9453da2c">ConstantAggregate</a>;</div><div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ae4ed20ab05ea5735549d1ef4367735cd">   55</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ae4ed20ab05ea5735549d1ef4367735cd">llvm::ConstantAggregateZero</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ae4ed20ab05ea5735549d1ef4367735cd">ConstantAggregateZero</a>;</div><div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a66b2dbc1be121511c3b5b264f94558d3">   56</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a66b2dbc1be121511c3b5b264f94558d3">llvm::ConstantDataSequential</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a66b2dbc1be121511c3b5b264f94558d3">ConstantDataSequential</a>;</div><div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">   57</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">llvm::ConstantExpr</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">ConstantExpr</a>;</div><div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a7d8006ceeea7c796af22da70c5cb93a0">   58</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a7d8006ceeea7c796af22da70c5cb93a0">llvm::ConstantDataArray</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a7d8006ceeea7c796af22da70c5cb93a0">ConstantDataArray</a>;</div><div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aca8fd472027d8636b36713a7494c88d6">   59</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aca8fd472027d8636b36713a7494c88d6">llvm::ConstantData</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aca8fd472027d8636b36713a7494c88d6">ConstantData</a>;</div><div class="line"><a name="l00060"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a9707880a0f9b41d3375e2feb7bc5ebc5">   60</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a9707880a0f9b41d3375e2feb7bc5ebc5">llvm::ConstantArray</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a9707880a0f9b41d3375e2feb7bc5ebc5">ConstantArray</a>;</div><div class="line"><a name="l00061"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aaca93e4092f0f73619d730f18b9e65de">   61</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aaca93e4092f0f73619d730f18b9e65de">llvm::Constant</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aaca93e4092f0f73619d730f18b9e65de">Constant</a>;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;<span class="comment">// LLVM Instructions</span></div><div class="line"><a name="l00064"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a5e06fe1b4b25113ac322dbeda71055dc">   64</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a5e06fe1b4b25113ac322dbeda71055dc">llvm::AllocaInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a5e06fe1b4b25113ac322dbeda71055dc">AllocaInst</a>;</div><div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#abafbd655050c8c70dc8947997c369294">   65</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#abafbd655050c8c70dc8947997c369294">llvm::AtomicCmpXchgInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#abafbd655050c8c70dc8947997c369294">AtomicCmpXchgInst</a>;</div><div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ab3bd63fdab8cc747227a32f88bd10370">   66</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ab3bd63fdab8cc747227a32f88bd10370">llvm::AtomicRMWInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ab3bd63fdab8cc747227a32f88bd10370">AtomicRMWInst</a>;</div><div class="line"><a name="l00067"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ab8cddf2ff868c0a9ae99483640c9ecef">   67</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ab8cddf2ff868c0a9ae99483640c9ecef">llvm::BitCastInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ab8cddf2ff868c0a9ae99483640c9ecef">BitCastInst</a>;</div><div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#adeac5db1db4ed03898d30f205fd02264">   68</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#adeac5db1db4ed03898d30f205fd02264">llvm::BranchInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#adeac5db1db4ed03898d30f205fd02264">BranchInst</a>;</div><div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a55ac065a1d559c907908492c6853dd53">   69</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a55ac065a1d559c907908492c6853dd53">llvm::SwitchInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a55ac065a1d559c907908492c6853dd53">SwitchInst</a>;</div><div class="line"><a name="l00070"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ada7ea2b41c600e036569e18bd0719270">   70</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ada7ea2b41c600e036569e18bd0719270">llvm::CallBrInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ada7ea2b41c600e036569e18bd0719270">CallBrInst</a>;</div><div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#af386dbc3b9c4325443a15b07038e8386">   71</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#af386dbc3b9c4325443a15b07038e8386">llvm::ReturnInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#af386dbc3b9c4325443a15b07038e8386">ReturnInst</a>;</div><div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a20b13f90796ee748f58e6c5faa7c63da">   72</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a20b13f90796ee748f58e6c5faa7c63da">llvm::CastInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a20b13f90796ee748f58e6c5faa7c63da">CastInst</a>;</div><div class="line"><a name="l00073"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a02550b1e1110f4cfca868603ce243564">   73</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a02550b1e1110f4cfca868603ce243564">llvm::CmpInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a02550b1e1110f4cfca868603ce243564">CmpInst</a>;</div><div class="line"><a name="l00074"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a41c335e8362a500085923e4742a53f57">   74</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a41c335e8362a500085923e4742a53f57">llvm::ExtractValueInst</a>  <a class="code" href="SVF-FE_2BasicTypes_8h.html#a41c335e8362a500085923e4742a53f57">ExtractValueInst</a>;</div><div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#af4efbd8e6f644628b41104e855b0541b">   75</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#af4efbd8e6f644628b41104e855b0541b">llvm::ExtractElementInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#af4efbd8e6f644628b41104e855b0541b">ExtractElementInst</a>;</div><div class="line"><a name="l00076"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a255d310b1b573ca5c69fd715d7815d79">   76</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a255d310b1b573ca5c69fd715d7815d79">llvm::GetElementPtrInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a255d310b1b573ca5c69fd715d7815d79">GetElementPtrInst</a>;</div><div class="line"><a name="l00077"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aa437c87b40ddb0d2b16631b00994ff75">   77</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aa437c87b40ddb0d2b16631b00994ff75">llvm::InvokeInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aa437c87b40ddb0d2b16631b00994ff75">InvokeInst</a>;</div><div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aebd8814affe9b579237bd090561b4686">   78</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aebd8814affe9b579237bd090561b4686">llvm::ShuffleVectorInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aebd8814affe9b579237bd090561b4686">ShuffleVectorInst</a>;</div><div class="line"><a name="l00079"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a65732ea63bff4b444b225629ee7cf252">   79</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a65732ea63bff4b444b225629ee7cf252">llvm::PHINode</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a65732ea63bff4b444b225629ee7cf252">PHINode</a>;</div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a39fa3cd232776e9a7bd6337c6242b906">   80</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a39fa3cd232776e9a7bd6337c6242b906">llvm::IntToPtrInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a39fa3cd232776e9a7bd6337c6242b906">IntToPtrInst</a>;</div><div class="line"><a name="l00081"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a5ef6dd0250254e2609a8f35ece1d57c5">   81</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a5ef6dd0250254e2609a8f35ece1d57c5">llvm::InsertValueInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a5ef6dd0250254e2609a8f35ece1d57c5">InsertValueInst</a>;</div><div class="line"><a name="l00082"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a43a430043d6520ceac623115ab2fbf56">   82</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a43a430043d6520ceac623115ab2fbf56">llvm::FenceInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a43a430043d6520ceac623115ab2fbf56">FenceInst</a>;</div><div class="line"><a name="l00083"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a17cb164afe37512fdd064acc8ee7cc66">   83</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a17cb164afe37512fdd064acc8ee7cc66">llvm::FreezeInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a17cb164afe37512fdd064acc8ee7cc66">FreezeInst</a>;</div><div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ac81608d3ff4a58a9a5d8fd522860b96f">   84</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ac81608d3ff4a58a9a5d8fd522860b96f">llvm::UnreachableInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ac81608d3ff4a58a9a5d8fd522860b96f">UnreachableInst</a>;</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aca8159b0dbaf5b71dc69b9d9c7b200ec">   85</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aca8159b0dbaf5b71dc69b9d9c7b200ec">llvm::InsertElementInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aca8159b0dbaf5b71dc69b9d9c7b200ec">InsertElementInst</a>;</div><div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a5b02d9efe63d84149e54736b81f922f1">   86</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a5b02d9efe63d84149e54736b81f922f1">llvm::LandingPadInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a5b02d9efe63d84149e54736b81f922f1">LandingPadInst</a>;</div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a3fd88a8942ad6c871c63a90b780afbd0">   87</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a3fd88a8942ad6c871c63a90b780afbd0">llvm::ResumeInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a3fd88a8942ad6c871c63a90b780afbd0">ResumeInst</a>;</div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#abbb6cb29e5b213400fdb10525ee75504">   88</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#abbb6cb29e5b213400fdb10525ee75504">llvm::SelectInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#abbb6cb29e5b213400fdb10525ee75504">SelectInst</a>;</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a80c0a9085ca3ebff2760506df127f424">   89</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a80c0a9085ca3ebff2760506df127f424">llvm::VAArgInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a80c0a9085ca3ebff2760506df127f424">VAArgInst</a>;</div><div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a85650eac31e26c9635644600eca6901e">   90</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a85650eac31e26c9635644600eca6901e">llvm::VACopyInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a85650eac31e26c9635644600eca6901e">VACopyInst</a>;</div><div class="line"><a name="l00091"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aa55dc13cb9e79b9c54d74234e0add670">   91</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aa55dc13cb9e79b9c54d74234e0add670">llvm::VAEndInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aa55dc13cb9e79b9c54d74234e0add670">VAEndInst</a>;</div><div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a487fbdac6711a95d28683e6644c457ac">   92</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a487fbdac6711a95d28683e6644c457ac">llvm::VAStartInst</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a487fbdac6711a95d28683e6644c457ac">VAStartInst</a>;</div><div class="line"><a name="l00093"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ab58e9b290ff1defcedad101c3da8d8fd">   93</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ab58e9b290ff1defcedad101c3da8d8fd">llvm::BinaryOperator</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ab58e9b290ff1defcedad101c3da8d8fd">BinaryOperator</a>;</div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ab6cb332bc04ab932cba29fa9c9d5f3b2">   94</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ab6cb332bc04ab932cba29fa9c9d5f3b2">llvm::UnaryOperator</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ab6cb332bc04ab932cba29fa9c9d5f3b2">UnaryOperator</a>;</div><div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a1ab5636908738dc0987bc642604cbb4a">   95</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a1ab5636908738dc0987bc642604cbb4a">llvm::UndefValue</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a1ab5636908738dc0987bc642604cbb4a">UndefValue</a>;</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;<span class="comment">// LLVM Debug Information</span></div><div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a8e2336cbb1db8aa093afbb3290d5ba05">   98</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a8e2336cbb1db8aa093afbb3290d5ba05">llvm::DIType</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a8e2336cbb1db8aa093afbb3290d5ba05">DIType</a>;</div><div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a051267a17436de89e185c847afbb8db5">   99</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a051267a17436de89e185c847afbb8db5">llvm::DICompositeType</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a051267a17436de89e185c847afbb8db5">DICompositeType</a>;</div><div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a39d93c8a98813f35c91375d1d40ae953">  100</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a39d93c8a98813f35c91375d1d40ae953">llvm::DIDerivedType</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a39d93c8a98813f35c91375d1d40ae953">DIDerivedType</a>;</div><div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a36ec1ba901eeebe7a242f18510831788">  101</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a36ec1ba901eeebe7a242f18510831788">llvm::DebugInfoFinder</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a36ec1ba901eeebe7a242f18510831788">DebugInfoFinder</a>;</div><div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aad46bd16008ebbc81e632f4fc69b3ea9">  102</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aad46bd16008ebbc81e632f4fc69b3ea9">llvm::DISubroutineType</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aad46bd16008ebbc81e632f4fc69b3ea9">DISubroutineType</a>;</div><div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a5f7968b31d2b29b589360067cf48e625">  103</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a5f7968b31d2b29b589360067cf48e625">llvm::DIBasicType</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a5f7968b31d2b29b589360067cf48e625">DIBasicType</a>;</div><div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ab0e8955a3dbfb0a836bfe64466411e4e">  104</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ab0e8955a3dbfb0a836bfe64466411e4e">llvm::DISubrange</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#ab0e8955a3dbfb0a836bfe64466411e4e">DISubrange</a>;</div><div class="line"><a name="l00105"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a358cd7e78ebc504972b73cd5ee80fac2">  105</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a358cd7e78ebc504972b73cd5ee80fac2">llvm::DINode</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a358cd7e78ebc504972b73cd5ee80fac2">DINode</a>;</div><div class="line"><a name="l00106"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a98bb9afb9385eac16d7c78da796fd601">  106</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a98bb9afb9385eac16d7c78da796fd601">llvm::DINodeArray</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a98bb9afb9385eac16d7c78da796fd601">DINodeArray</a>;</div><div class="line"><a name="l00107"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#abfc3b60432a782f5eb5ea73f20d34333">  107</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#abfc3b60432a782f5eb5ea73f20d34333">llvm::DITypeRefArray</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#abfc3b60432a782f5eb5ea73f20d34333">DITypeRefArray</a>;</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;<span class="keyword">namespace </span>dwarf = llvm::dwarf;</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;<span class="comment">// Iterators.</span></div><div class="line"><a name="l00111"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a160997c1a0fb1000445d04b89d9c1323">  111</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a160997c1a0fb1000445d04b89d9c1323">llvm::inst_iterator</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a160997c1a0fb1000445d04b89d9c1323">inst_iterator</a>;</div><div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a61c08909930c80e172b5580fa0cc629f">  112</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a61c08909930c80e172b5580fa0cc629f">llvm::gep_type_iterator</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a61c08909930c80e172b5580fa0cc629f">gep_type_iterator</a>;</div><div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#af43699df9f7bdcb9565574b588e3f5ae">  113</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="SVF-FE_2BasicTypes_8h.html#af43699df9f7bdcb9565574b588e3f5ae">bridge_gep_iterator</a>;</div><div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a9a4df49ba7ca3ad32d65e5ecf2dad707">  114</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a9a4df49ba7ca3ad32d65e5ecf2dad707">llvm::const_inst_iterator</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a9a4df49ba7ca3ad32d65e5ecf2dad707">const_inst_iterator</a>;</div><div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a45136b941670180e9ba248bb4e52f09f">  115</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a45136b941670180e9ba248bb4e52f09f">llvm::const_pred_iterator</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a45136b941670180e9ba248bb4e52f09f">const_pred_iterator</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 Scalar Evolution.</span></div><div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a26413e6481a8551035d13215b29ea779">  118</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a26413e6481a8551035d13215b29ea779">llvm::ScalarEvolutionWrapperPass</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a26413e6481a8551035d13215b29ea779">ScalarEvolutionWrapperPass</a>;</div><div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a7182e2c93e2218f62abceae861a4e787">  119</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a7182e2c93e2218f62abceae861a4e787">llvm::SCEVAddRecExpr</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a7182e2c93e2218f62abceae861a4e787">SCEVAddRecExpr</a>;</div><div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aff62eefea1b967cc90608517891644eb">  120</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aff62eefea1b967cc90608517891644eb">llvm::SCEVConstant</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#aff62eefea1b967cc90608517891644eb">SCEVConstant</a>;</div><div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a14e646200d8836461877804ee4a203d1">  121</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a14e646200d8836461877804ee4a203d1">llvm::ScalarEvolution</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a14e646200d8836461877804ee4a203d1">ScalarEvolution</a>;</div><div class="line"><a name="l00122"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a926a4429043d19e5b5fb425a31631d12">  122</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a926a4429043d19e5b5fb425a31631d12">llvm::SCEV</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a926a4429043d19e5b5fb425a31631d12">SCEV</a>;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;<span class="comment">// LLVM Types.</span></div><div class="line"><a name="l00125"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a720813d613d926a5963d6632532105ac">  125</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a720813d613d926a5963d6632532105ac">llvm::VectorType</a> <a class="code" href="SVF-FE_2BasicTypes_8h.html#a720813d613d926a5963d6632532105ac">VectorType</a>;</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;<span class="preprocessor">#if (LLVM_VERSION_MAJOR &gt;= 9)</span></div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;<span class="keyword">typedef</span> llvm::FunctionCallee FunctionCallee;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;<span class="preprocessor">#endif  // SVF_FE_BASIC_TYPES_H</span></div><div class="ttc" id="SVF-FE_2BasicTypes_8h_html_aa437c87b40ddb0d2b16631b00994ff75"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#aa437c87b40ddb0d2b16631b00994ff75">InvokeInst</a></div><div class="ttdeci">llvm::InvokeInst InvokeInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00077">BasicTypes.h:77</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a7d8006ceeea7c796af22da70c5cb93a0"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a7d8006ceeea7c796af22da70c5cb93a0">ConstantDataArray</a></div><div class="ttdeci">llvm::ConstantDataArray ConstantDataArray</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00058">BasicTypes.h:58</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a1ab5636908738dc0987bc642604cbb4a"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a1ab5636908738dc0987bc642604cbb4a">UndefValue</a></div><div class="ttdeci">llvm::UndefValue UndefValue</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_abbb6cb29e5b213400fdb10525ee75504"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#abbb6cb29e5b213400fdb10525ee75504">SelectInst</a></div><div class="ttdeci">llvm::SelectInst SelectInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00088">BasicTypes.h:88</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_aa81a27b9c6b2a354437417162220fb14"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#aa81a27b9c6b2a354437417162220fb14">DataLayout</a></div><div class="ttdeci">llvm::DataLayout DataLayout</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00051">BasicTypes.h:51</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a85650eac31e26c9635644600eca6901e"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a85650eac31e26c9635644600eca6901e">VACopyInst</a></div><div class="ttdeci">llvm::VACopyInst VACopyInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00090">BasicTypes.h:90</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a255d310b1b573ca5c69fd715d7815d79"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a255d310b1b573ca5c69fd715d7815d79">GetElementPtrInst</a></div><div class="ttdeci">llvm::GetElementPtrInst GetElementPtrInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00076">BasicTypes.h:76</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a7182e2c93e2218f62abceae861a4e787"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a7182e2c93e2218f62abceae861a4e787">SCEVAddRecExpr</a></div><div class="ttdeci">llvm::SCEVAddRecExpr SCEVAddRecExpr</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00119">BasicTypes.h:119</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a41c335e8362a500085923e4742a53f57"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a41c335e8362a500085923e4742a53f57">ExtractValueInst</a></div><div class="ttdeci">llvm::ExtractValueInst ExtractValueInst</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="SVF-FE_2BasicTypes_8h_html_ab6cb332bc04ab932cba29fa9c9d5f3b2"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#ab6cb332bc04ab932cba29fa9c9d5f3b2">UnaryOperator</a></div><div class="ttdeci">llvm::UnaryOperator UnaryOperator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_aef8af3d6e4b75a3e3e108b636a48fbd3"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#aef8af3d6e4b75a3e3e108b636a48fbd3">StructLayout</a></div><div class="ttdeci">llvm::StructLayout StructLayout</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00048">BasicTypes.h:48</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a39fea8c436d96d2b5a74f5e02cc5d952"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a39fea8c436d96d2b5a74f5e02cc5d952">ConstantStruct</a></div><div class="ttdeci">llvm::ConstantStruct ConstantStruct</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00049">BasicTypes.h:49</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a720813d613d926a5963d6632532105ac"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a720813d613d926a5963d6632532105ac">VectorType</a></div><div class="ttdeci">llvm::VectorType VectorType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00125">BasicTypes.h:125</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a66384f66e64322087e7bdab0b50840f2"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a66384f66e64322087e7bdab0b50840f2">UnifyFunctionExitNodes</a></div><div class="ttdeci">llvm::UnifyFunctionExitNodes UnifyFunctionExitNodes</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="SVF-FE_2BasicTypes_8h_html_a9f19a521d06397d1b6dc52c0388513d9"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a9f19a521d06397d1b6dc52c0388513d9">LLVMContext</a></div><div class="ttdeci">llvm::LLVMContext LLVMContext</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00027">BasicTypes.h:27</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a65732ea63bff4b444b225629ee7cf252"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a65732ea63bff4b444b225629ee7cf252">PHINode</a></div><div class="ttdeci">llvm::PHINode PHINode</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00079">BasicTypes.h:79</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_af43699df9f7bdcb9565574b588e3f5ae"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#af43699df9f7bdcb9565574b588e3f5ae">bridge_gep_iterator</a></div><div class="ttdeci">llvm::bridge_gep_iterator bridge_gep_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00113">BasicTypes.h:113</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_ad29efa92ce4c6449b5ef7853994877bd"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#ad29efa92ce4c6449b5ef7853994877bd">BlockAddress</a></div><div class="ttdeci">llvm::BlockAddress BlockAddress</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00041">BasicTypes.h:41</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_ab3bd63fdab8cc747227a32f88bd10370"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#ab3bd63fdab8cc747227a32f88bd10370">AtomicRMWInst</a></div><div class="ttdeci">llvm::AtomicRMWInst AtomicRMWInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00066">BasicTypes.h:66</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a358cd7e78ebc504972b73cd5ee80fac2"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a358cd7e78ebc504972b73cd5ee80fac2">DINode</a></div><div class="ttdeci">llvm::DINode DINode</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00105">BasicTypes.h:105</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a5e06fe1b4b25113ac322dbeda71055dc"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a5e06fe1b4b25113ac322dbeda71055dc">AllocaInst</a></div><div class="ttdeci">llvm::AllocaInst AllocaInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00064">BasicTypes.h:64</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a160997c1a0fb1000445d04b89d9c1323"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a160997c1a0fb1000445d04b89d9c1323">inst_iterator</a></div><div class="ttdeci">llvm::inst_iterator inst_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00111">BasicTypes.h:111</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_aff62eefea1b967cc90608517891644eb"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#aff62eefea1b967cc90608517891644eb">SCEVConstant</a></div><div class="ttdeci">llvm::SCEVConstant SCEVConstant</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00120">BasicTypes.h:120</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a926a4429043d19e5b5fb425a31631d12"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a926a4429043d19e5b5fb425a31631d12">SCEV</a></div><div class="ttdeci">llvm::SCEV SCEV</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00122">BasicTypes.h:122</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_ab58e9b290ff1defcedad101c3da8d8fd"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#ab58e9b290ff1defcedad101c3da8d8fd">BinaryOperator</a></div><div class="ttdeci">llvm::BinaryOperator BinaryOperator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00093">BasicTypes.h:93</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a20b13f90796ee748f58e6c5faa7c63da"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a20b13f90796ee748f58e6c5faa7c63da">CastInst</a></div><div class="ttdeci">llvm::CastInst CastInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00072">BasicTypes.h:72</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_ac81608d3ff4a58a9a5d8fd522860b96f"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#ac81608d3ff4a58a9a5d8fd522860b96f">UnreachableInst</a></div><div class="ttdeci">llvm::UnreachableInst UnreachableInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00084">BasicTypes.h:84</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a36ec1ba901eeebe7a242f18510831788"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a36ec1ba901eeebe7a242f18510831788">DebugInfoFinder</a></div><div class="ttdeci">llvm::DebugInfoFinder DebugInfoFinder</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00101">BasicTypes.h:101</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a487fbdac6711a95d28683e6644c457ac"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a487fbdac6711a95d28683e6644c457ac">VAStartInst</a></div><div class="ttdeci">llvm::VAStartInst VAStartInst</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="SVF-FE_2BasicTypes_8h_html_af4efbd8e6f644628b41104e855b0541b"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#af4efbd8e6f644628b41104e855b0541b">ExtractElementInst</a></div><div class="ttdeci">llvm::ExtractElementInst ExtractElementInst</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="SVF-FE_2BasicTypes_8h_html_a80c0a9085ca3ebff2760506df127f424"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a80c0a9085ca3ebff2760506df127f424">VAArgInst</a></div><div class="ttdeci">llvm::VAArgInst VAArgInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00089">BasicTypes.h:89</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a98bb9afb9385eac16d7c78da796fd601"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a98bb9afb9385eac16d7c78da796fd601">DINodeArray</a></div><div class="ttdeci">llvm::DINodeArray DINodeArray</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00106">BasicTypes.h:106</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_ada7ea2b41c600e036569e18bd0719270"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#ada7ea2b41c600e036569e18bd0719270">CallBrInst</a></div><div class="ttdeci">llvm::CallBrInst CallBrInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00070">BasicTypes.h:70</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a60115de303225d173fb935cf7619a2cb"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">ConstantExpr</a></div><div class="ttdeci">llvm::ConstantExpr ConstantExpr</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00057">BasicTypes.h:57</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a66b2dbc1be121511c3b5b264f94558d3"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a66b2dbc1be121511c3b5b264f94558d3">ConstantDataSequential</a></div><div class="ttdeci">llvm::ConstantDataSequential ConstantDataSequential</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00056">BasicTypes.h:56</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a02550b1e1110f4cfca868603ce243564"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a02550b1e1110f4cfca868603ce243564">CmpInst</a></div><div class="ttdeci">llvm::CmpInst CmpInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00073">BasicTypes.h:73</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a8e2336cbb1db8aa093afbb3290d5ba05"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a8e2336cbb1db8aa093afbb3290d5ba05">DIType</a></div><div class="ttdeci">llvm::DIType DIType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00098">BasicTypes.h:98</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_ab8cddf2ff868c0a9ae99483640c9ecef"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#ab8cddf2ff868c0a9ae99483640c9ecef">BitCastInst</a></div><div class="ttdeci">llvm::BitCastInst BitCastInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a312d4d865f87a9bff58ce66b087c13d0"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a312d4d865f87a9bff58ce66b087c13d0">SMDiagnostic</a></div><div class="ttdeci">llvm::SMDiagnostic SMDiagnostic</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00039">BasicTypes.h:39</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a79dfa1a3c9502e187c036ed3b41f937c"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a79dfa1a3c9502e187c036ed3b41f937c">MDString</a></div><div class="ttdeci">llvm::MDString MDString</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00044">BasicTypes.h:44</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_ae4ed20ab05ea5735549d1ef4367735cd"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#ae4ed20ab05ea5735549d1ef4367735cd">ConstantAggregateZero</a></div><div class="ttdeci">llvm::ConstantAggregateZero ConstantAggregateZero</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00055">BasicTypes.h:55</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a9707880a0f9b41d3375e2feb7bc5ebc5"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a9707880a0f9b41d3375e2feb7bc5ebc5">ConstantArray</a></div><div class="ttdeci">llvm::ConstantArray ConstantArray</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00060">BasicTypes.h:60</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_aa55dc13cb9e79b9c54d74234e0add670"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#aa55dc13cb9e79b9c54d74234e0add670">VAEndInst</a></div><div class="ttdeci">llvm::VAEndInst VAEndInst</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="SVF-FE_2BasicTypes_8h_html_a051267a17436de89e185c847afbb8db5"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a051267a17436de89e185c847afbb8db5">DICompositeType</a></div><div class="ttdeci">llvm::DICompositeType DICompositeType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00099">BasicTypes.h:99</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a3fd88a8942ad6c871c63a90b780afbd0"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a3fd88a8942ad6c871c63a90b780afbd0">ResumeInst</a></div><div class="ttdeci">llvm::ResumeInst ResumeInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00087">BasicTypes.h:87</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a2e0fa4afbccc902de3ae55c65fb8b007"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a2e0fa4afbccc902de3ae55c65fb8b007">ModulePass</a></div><div class="ttdeci">llvm::ModulePass ModulePass</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00030">BasicTypes.h:30</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_ab0e8955a3dbfb0a836bfe64466411e4e"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#ab0e8955a3dbfb0a836bfe64466411e4e">DISubrange</a></div><div class="ttdeci">llvm::DISubrange DISubrange</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00104">BasicTypes.h:104</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_aca8fd472027d8636b36713a7494c88d6"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#aca8fd472027d8636b36713a7494c88d6">ConstantData</a></div><div class="ttdeci">llvm::ConstantData ConstantData</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00059">BasicTypes.h:59</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a5b02d9efe63d84149e54736b81f922f1"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a5b02d9efe63d84149e54736b81f922f1">LandingPadInst</a></div><div class="ttdeci">llvm::LandingPadInst LandingPadInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00086">BasicTypes.h:86</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a9a4df49ba7ca3ad32d65e5ecf2dad707"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a9a4df49ba7ca3ad32d65e5ecf2dad707">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#l00114">BasicTypes.h:114</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a71269a3564eca6be7bc0efb5202275f0"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a71269a3564eca6be7bc0efb5202275f0">IRBuilder</a></div><div class="ttdeci">llvm::IRBuilder IRBuilder</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00031">BasicTypes.h:31</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_abafbd655050c8c70dc8947997c369294"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#abafbd655050c8c70dc8947997c369294">AtomicCmpXchgInst</a></div><div class="ttdeci">llvm::AtomicCmpXchgInst AtomicCmpXchgInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_aad46bd16008ebbc81e632f4fc69b3ea9"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#aad46bd16008ebbc81e632f4fc69b3ea9">DISubroutineType</a></div><div class="ttdeci">llvm::DISubroutineType DISubroutineType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00102">BasicTypes.h:102</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/ScalarEvolution.h&gt;</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="preprocessor">#include &lt;llvm/Analysis/ScalarEvolutionExpressions.h&gt;</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="preprocessor">#include &lt;llvm/Transforms/Utils/UnifyFunctionExitNodes.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/Support/SourceMgr.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="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></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;</div><div class="line"><a name="l00030"></a><span class="lineno"><a class="line" href="namespaceSVF.html#affba423b674a0aba723e33101826e297">   30</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="l00031"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">   31</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="l00032"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">   32</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="l00033"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">   33</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="l00034"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a94824519e439aeef1568d415b6f7331c">   34</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="l00035"></a><span class="lineno">   35</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 12</span></div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;<span class="keyword">typedef</span> llvm::UnifyFunctionExitNodesLegacyPass <a class="code" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">UnifyFunctionExitNodes</a>;</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">   38</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="l00039"></a><span class="lineno">   39</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;</div><div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30">   42</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="l00043"></a><span class="lineno">   43</span>&#160;</div><div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c">   44</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="l00045"></a><span class="lineno">   45</span>&#160;</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;<span class="comment">// LLVM Metadata</span></div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">   47</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="l00048"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">   48</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="l00049"></a><span class="lineno">   49</span>&#160;</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;<span class="comment">// LLVM data layout</span></div><div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">   51</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="l00052"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">   52</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="l00053"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">   53</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="l00054"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">   54</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="l00055"></a><span class="lineno">   55</span>&#160;</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;<span class="comment">// LLVM Aliases and constants</span></div><div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597">   57</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="l00058"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07">   58</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="l00059"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9">   59</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="l00060"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">   60</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="l00061"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462">   61</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="l00062"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768">   62</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="l00063"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">   63</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="l00064"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9">   64</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="l00065"></a><span class="lineno">   65</span>&#160;</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;<span class="comment">// LLVM Instructions</span></div><div class="line"><a name="l00067"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">   67</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="l00068"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">   68</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="l00069"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">   69</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="l00070"></a><span class="lineno"><a class="line" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">   70</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="l00071"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">   71</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="l00072"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">   72</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="l00073"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5">   73</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="l00074"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">   74</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="l00075"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">   75</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="l00076"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">   76</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="l00077"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986">   77</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="l00078"></a><span class="lineno"><a class="line" href="namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356">   78</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="l00079"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">   79</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="l00080"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">   80</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="l00081"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">   81</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="l00082"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">   82</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="l00083"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">   83</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="l00084"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24">   84</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="l00085"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b">   85</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="l00086"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88">   86</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="l00087"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721">   87</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="l00088"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326">   88</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="l00089"></a><span class="lineno"><a class="line" href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71">   89</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="l00090"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">   90</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="l00091"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307">   91</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="l00092"></a><span class="lineno"><a class="line" href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4">   92</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="l00093"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">   93</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="l00094"></a><span class="lineno"><a class="line" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">   94</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="l00095"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">   95</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="l00096"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">   96</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="l00097"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">   97</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="l00098"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">   98</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="l00099"></a><span class="lineno">   99</span>&#160;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;<span class="comment">// LLVM Debug Information</span></div><div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">  101</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="l00102"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">  102</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="l00103"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">  103</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="l00104"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">  104</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="l00105"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">  105</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="l00106"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">  106</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="l00107"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">  107</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="l00108"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">  108</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="l00109"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">  109</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="l00110"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">  110</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="l00111"></a><span class="lineno">  111</span>&#160;<span class="keyword">namespace </span>dwarf = llvm::dwarf;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;<span class="comment">// Iterators.</span></div><div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">  114</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="l00115"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">  115</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="l00116"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc">  116</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="l00117"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">  117</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="l00118"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">  118</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="l00119"></a><span class="lineno">  119</span>&#160;</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;<span class="comment">// LLVM Scalar Evolution.</span></div><div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">  121</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="l00122"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">  122</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="l00123"></a><span class="lineno"><a class="line" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">  123</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="l00124"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">  124</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="l00125"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">  125</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="l00126"></a><span class="lineno">  126</span>&#160;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;<span class="comment">// LLVM Types.</span></div><div class="line"><a name="l00128"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">  128</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="l00129"></a><span class="lineno">  129</span>&#160;<span class="preprocessor">#if (LLVM_VERSION_MAJOR &gt;= 9)</span></div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;<span class="keyword">typedef</span> llvm::FunctionCallee FunctionCallee;</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;} <span class="comment">// End namespace SVF</span></div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;</div><div class="line"><a name="l00135"></a><span class="lineno">  135</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#l00032">BasicTypes.h:32</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#l00038">BasicTypes.h:38</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#l00063">BasicTypes.h:63</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#l00047">BasicTypes.h:47</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a9d3ee421789884473bfacfaa9ec007cc"><div class="ttname"><a href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">SVF::DITypeRefArray</a></div><div class="ttdeci">llvm::DITypeRefArray DITypeRefArray</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00110">BasicTypes.h:110</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8ac6a8ff90f47a93166fbdf15be2d721"><div class="ttname"><a href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721">SVF::UnreachableInst</a></div><div class="ttdeci">llvm::UnreachableInst UnreachableInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00087">BasicTypes.h:87</a></div></div>
+<div class="ttc" id="namespaceSVF_html_afb88c4d723dd7c51bdfc7ba5893cb356"><div class="ttname"><a href="namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356">SVF::ExtractElementInst</a></div><div class="ttdeci">llvm::ExtractElementInst ExtractElementInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a86863d104a3930b3a806935d92ddbf30"><div class="ttname"><a href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30">SVF::SMDiagnostic</a></div><div class="ttdeci">llvm::SMDiagnostic SMDiagnostic</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_a0f3339f5241441c7e6023df9e0cfa295"><div class="ttname"><a href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">SVF::VACopyInst</a></div><div class="ttdeci">llvm::VACopyInst VACopyInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00093">BasicTypes.h:93</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a773900ea3c75022657aac1abf59fa51b"><div class="ttname"><a href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">SVF::MetadataAsValue</a></div><div class="ttdeci">llvm::MetadataAsValue MetadataAsValue</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00048">BasicTypes.h:48</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ac9a05dd7ab16e998625037aa242cd30f"><div class="ttname"><a href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">SVF::BranchInst</a></div><div class="ttdeci">llvm::BranchInst BranchInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00071">BasicTypes.h:71</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad8794eb3c00de3d3b5c5e43dded3fb42"><div class="ttname"><a href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">SVF::ScalarEvolution</a></div><div class="ttdeci">llvm::ScalarEvolution ScalarEvolution</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00124">BasicTypes.h:124</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a292a6e8c5b4f2023b5575879c57eca62"><div class="ttname"><a href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">SVF::UnaryOperator</a></div><div class="ttdeci">llvm::UnaryOperator UnaryOperator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00097">BasicTypes.h:97</a></div></div>
+<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#l00117">BasicTypes.h:117</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#l00075">BasicTypes.h:75</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#l00033">BasicTypes.h:33</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#l00128">BasicTypes.h:128</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#l00090">BasicTypes.h:90</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#l00121">BasicTypes.h:121</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#l00053">BasicTypes.h:53</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ac8d4990439af7a2ecca7e15383119674"><div class="ttname"><a href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">SVF::PHINode</a></div><div class="ttdeci">llvm::PHINode PHINode</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00082">BasicTypes.h:82</a></div></div>
+<div class="ttc" id="namespaceSVF_html_aad5d26ab07a5d1314bdb8f54e0fcdb22"><div class="ttname"><a href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">SVF::BinaryOperator</a></div><div class="ttdeci">llvm::BinaryOperator BinaryOperator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00096">BasicTypes.h:96</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a6b857824fb3c39ff6de953651260a326"><div class="ttname"><a href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326">SVF::InsertElementInst</a></div><div class="ttdeci">llvm::InsertElementInst InsertElementInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00088">BasicTypes.h:88</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a4f7c400fbf2fa03db8cf61cb9a7dd3e8"><div class="ttname"><a href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">SVF::SCEVAddRecExpr</a></div><div class="ttdeci">llvm::SCEVAddRecExpr SCEVAddRecExpr</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00122">BasicTypes.h:122</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ac6b6710585fc6667858ccfd4311b6ab5"><div class="ttname"><a href="namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5">SVF::CallBrInst</a></div><div class="ttdeci">llvm::CallBrInst CallBrInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00073">BasicTypes.h:73</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a07578c424e9d3c07a54e65404a0a6abb"><div class="ttname"><a href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">SVF::IntToPtrInst</a></div><div class="ttdeci">llvm::IntToPtrInst IntToPtrInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00083">BasicTypes.h:83</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a485b10fc29e76fdb6f31a56ebbde8f24"><div class="ttname"><a href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24">SVF::InsertValueInst</a></div><div class="ttdeci">llvm::InsertValueInst InsertValueInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00084">BasicTypes.h:84</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8b30cfb9315dda33907175da4db63a07"><div class="ttname"><a href="namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07">SVF::ConstantAggregateZero</a></div><div class="ttdeci">llvm::ConstantAggregateZero ConstantAggregateZero</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00058">BasicTypes.h:58</a></div></div>
+<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#l00102">BasicTypes.h:102</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#l00031">BasicTypes.h:31</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#l00074">BasicTypes.h:74</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a090e0791e8c200104ed3ab6bab157129"><div class="ttname"><a href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">SVF::DISubroutineType</a></div><div class="ttdeci">llvm::DISubroutineType DISubroutineType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00105">BasicTypes.h:105</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ab7fac9d4a4839be445c89777e21bc307"><div class="ttname"><a href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307">SVF::SelectInst</a></div><div class="ttdeci">llvm::SelectInst SelectInst</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_a52c8654c221bb53a59f70ea3cb1e5c45"><div class="ttname"><a href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">SVF::StructLayout</a></div><div class="ttdeci">llvm::StructLayout StructLayout</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00051">BasicTypes.h:51</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a582e3736a2bbb0540364c1693d831b49"><div class="ttname"><a href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">SVF::AtomicCmpXchgInst</a></div><div class="ttdeci">llvm::AtomicCmpXchgInst AtomicCmpXchgInst</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_a0f825e73d115173b05ca54fb8ec65003"><div class="ttname"><a href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">SVF::DINodeArray</a></div><div class="ttdeci">llvm::DINodeArray DINodeArray</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00109">BasicTypes.h:109</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a7cbe1c6567039e72958fd70e423d3597"><div class="ttname"><a href="namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597">SVF::ConstantAggregate</a></div><div class="ttdeci">llvm::ConstantAggregate ConstantAggregate</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00057">BasicTypes.h:57</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a852e75c562139237fcc754c7461533e6"><div class="ttname"><a href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">SVF::DIDerivedType</a></div><div class="ttdeci">llvm::DIDerivedType DIDerivedType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00103">BasicTypes.h:103</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a7332f8059ea95472dcc231de884a5768"><div class="ttname"><a href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768">SVF::ConstantData</a></div><div class="ttdeci">llvm::ConstantData ConstantData</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00062">BasicTypes.h:62</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad9ebd847ed5d901cd30b1cfcdaec3462"><div class="ttname"><a href="namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462">SVF::ConstantDataArray</a></div><div class="ttdeci">llvm::ConstantDataArray ConstantDataArray</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00061">BasicTypes.h:61</a></div></div>
+<div class="ttc" id="namespaceSVF_html_af4912ad47e19060e53b665f73e0ee6ec"><div class="ttname"><a href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">SVF::UndefValue</a></div><div class="ttdeci">llvm::UndefValue UndefValue</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00098">BasicTypes.h:98</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a3bacb4f95c73e6d794901d01c6b65a83"><div class="ttname"><a href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">SVF::AllocaInst</a></div><div class="ttdeci">llvm::AllocaInst AllocaInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a956458a8554bf734db1194f320fd4b4c"><div class="ttname"><a href="namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c">SVF::BlockAddress</a></div><div class="ttdeci">llvm::BlockAddress BlockAddress</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00044">BasicTypes.h:44</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a758f3bee97ed46a719d64a2d4f2bc62d"><div class="ttname"><a href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">SVF::DINode</a></div><div class="ttdeci">llvm::DINode DINode</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00108">BasicTypes.h:108</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a61f0d928e58d4f7e21616f770ae1080b"><div class="ttname"><a href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b">SVF::FenceInst</a></div><div class="ttdeci">llvm::FenceInst FenceInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00085">BasicTypes.h:85</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad92e392a50e7c6c1f635fe2dcebd1adc"><div class="ttname"><a href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">SVF::VAStartInst</a></div><div class="ttdeci">llvm::VAStartInst VAStartInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a94824519e439aeef1568d415b6f7331c"><div class="ttname"><a href="namespaceSVF.html#a94824519e439aeef1568d415b6f7331c">SVF::IRBuilder</a></div><div class="ttdeci">llvm::IRBuilder IRBuilder</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00034">BasicTypes.h:34</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ac4e93e1fec646ff222940a663843921b"><div class="ttname"><a href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">SVF::GetElementPtrInst</a></div><div class="ttdeci">llvm::GetElementPtrInst GetElementPtrInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00079">BasicTypes.h:79</a></div></div>
+<div class="ttc" id="namespaceSVF_html_aac5262378e41a3414a20cc9a41d4adc6"><div class="ttname"><a href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">SVF::SCEV</a></div><div class="ttdeci">llvm::SCEV SCEV</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00125">BasicTypes.h:125</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a5c943191dc4e242704943e5f594ae99e"><div class="ttname"><a href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">SVF::const_pred_iterator</a></div><div class="ttdeci">llvm::const_pred_iterator const_pred_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00118">BasicTypes.h:118</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a5ae98f122c64b0114df2e5861b341321"><div class="ttname"><a href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">SVF::DebugInfoFinder</a></div><div class="ttdeci">llvm::DebugInfoFinder DebugInfoFinder</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00104">BasicTypes.h:104</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a7e230c0cba2e3a7c2e5a5f2ee7d88af9"><div class="ttname"><a href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9">SVF::Constant</a></div><div class="ttdeci">llvm::Constant Constant</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00064">BasicTypes.h:64</a></div></div>
+<div class="ttc" id="namespaceSVF_html_afc50da46a6ea7c2cf61683bbec4d7c8d"><div class="ttname"><a href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">SVF::BitCastInst</a></div><div class="ttdeci">llvm::BitCastInst BitCastInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00070">BasicTypes.h:70</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a56cb9d6d1e05f6c31bfe1a4045bc8b5f"><div class="ttname"><a href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">SVF::InvokeInst</a></div><div class="ttdeci">llvm::InvokeInst InvokeInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00080">BasicTypes.h:80</a></div></div>
 <div class="ttc" id="GEPTypeBridgeIterator_8h_html"><div class="ttname"><a href="GEPTypeBridgeIterator_8h.html">GEPTypeBridgeIterator.h</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_aebd8814affe9b579237bd090561b4686"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#aebd8814affe9b579237bd090561b4686">ShuffleVectorInst</a></div><div class="ttdeci">llvm::ShuffleVectorInst ShuffleVectorInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a16adea95b46c741a8990d92d29f33bb6"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a16adea95b46c741a8990d92d29f33bb6">GlobalObject</a></div><div class="ttdeci">llvm::GlobalObject GlobalObject</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00028">BasicTypes.h:28</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a9c01c67684e99545d8e0403321594977"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a9c01c67684e99545d8e0403321594977">Use</a></div><div class="ttdeci">llvm::Use Use</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00029">BasicTypes.h:29</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a8c9721de4c4754decc4f79d9f5b8c756"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a8c9721de4c4754decc4f79d9f5b8c756">MemoryLocation</a></div><div class="ttdeci">llvm::MemoryLocation MemoryLocation</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00050">BasicTypes.h:50</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a17cb164afe37512fdd064acc8ee7cc66"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a17cb164afe37512fdd064acc8ee7cc66">FreezeInst</a></div><div class="ttdeci">llvm::FreezeInst FreezeInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00083">BasicTypes.h:83</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_af386dbc3b9c4325443a15b07038e8386"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#af386dbc3b9c4325443a15b07038e8386">ReturnInst</a></div><div class="ttdeci">llvm::ReturnInst ReturnInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00071">BasicTypes.h:71</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a5f7968b31d2b29b589360067cf48e625"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a5f7968b31d2b29b589360067cf48e625">DIBasicType</a></div><div class="ttdeci">llvm::DIBasicType DIBasicType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00103">BasicTypes.h:103</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_aca8159b0dbaf5b71dc69b9d9c7b200ec"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#aca8159b0dbaf5b71dc69b9d9c7b200ec">InsertElementInst</a></div><div class="ttdeci">llvm::InsertElementInst InsertElementInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00085">BasicTypes.h:85</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a55ac065a1d559c907908492c6853dd53"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a55ac065a1d559c907908492c6853dd53">SwitchInst</a></div><div class="ttdeci">llvm::SwitchInst SwitchInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00069">BasicTypes.h:69</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a45136b941670180e9ba248bb4e52f09f"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a45136b941670180e9ba248bb4e52f09f">const_pred_iterator</a></div><div class="ttdeci">llvm::const_pred_iterator const_pred_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00115">BasicTypes.h:115</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_abfc3b60432a782f5eb5ea73f20d34333"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#abfc3b60432a782f5eb5ea73f20d34333">DITypeRefArray</a></div><div class="ttdeci">llvm::DITypeRefArray DITypeRefArray</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="SVF-FE_2BasicTypes_8h_html_a26413e6481a8551035d13215b29ea779"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a26413e6481a8551035d13215b29ea779">ScalarEvolutionWrapperPass</a></div><div class="ttdeci">llvm::ScalarEvolutionWrapperPass ScalarEvolutionWrapperPass</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00118">BasicTypes.h:118</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a61c08909930c80e172b5580fa0cc629f"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a61c08909930c80e172b5580fa0cc629f">gep_type_iterator</a></div><div class="ttdeci">llvm::gep_type_iterator gep_type_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00112">BasicTypes.h:112</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a39d93c8a98813f35c91375d1d40ae953"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a39d93c8a98813f35c91375d1d40ae953">DIDerivedType</a></div><div class="ttdeci">llvm::DIDerivedType DIDerivedType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_ae6439506f12c106932f8db434ebaa761"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#ae6439506f12c106932f8db434ebaa761">MetadataAsValue</a></div><div class="ttdeci">llvm::MetadataAsValue MetadataAsValue</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00045">BasicTypes.h:45</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a39fa3cd232776e9a7bd6337c6242b906"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a39fa3cd232776e9a7bd6337c6242b906">IntToPtrInst</a></div><div class="ttdeci">llvm::IntToPtrInst IntToPtrInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00080">BasicTypes.h:80</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a586975ac48ba33219a901c5d9453da2c"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a586975ac48ba33219a901c5d9453da2c">ConstantAggregate</a></div><div class="ttdeci">llvm::ConstantAggregate ConstantAggregate</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00054">BasicTypes.h:54</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_adeac5db1db4ed03898d30f205fd02264"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#adeac5db1db4ed03898d30f205fd02264">BranchInst</a></div><div class="ttdeci">llvm::BranchInst BranchInst</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="SVF-FE_2BasicTypes_8h_html_a5ef6dd0250254e2609a8f35ece1d57c5"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a5ef6dd0250254e2609a8f35ece1d57c5">InsertValueInst</a></div><div class="ttdeci">llvm::InsertValueInst InsertValueInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00081">BasicTypes.h:81</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a14e646200d8836461877804ee4a203d1"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a14e646200d8836461877804ee4a203d1">ScalarEvolution</a></div><div class="ttdeci">llvm::ScalarEvolution ScalarEvolution</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00121">BasicTypes.h:121</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_aaca93e4092f0f73619d730f18b9e65de"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#aaca93e4092f0f73619d730f18b9e65de">Constant</a></div><div class="ttdeci">llvm::Constant Constant</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00061">BasicTypes.h:61</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a412280b134578905248ce0122c5db7c9"><div class="ttname"><a href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">SVF::SwitchInst</a></div><div class="ttdeci">llvm::SwitchInst SwitchInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00072">BasicTypes.h:72</a></div></div>
+<div class="ttc" id="namespaceSVF_html_affba423b674a0aba723e33101826e297"><div class="ttname"><a href="namespaceSVF.html#affba423b674a0aba723e33101826e297">SVF::LLVMContext</a></div><div class="ttdeci">llvm::LLVMContext LLVMContext</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00030">BasicTypes.h:30</a></div></div>
+<div class="ttc" id="namespaceSVF_html_abe745006fa40399d8a13613a3e0dfc63"><div class="ttname"><a href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">SVF::SCEVConstant</a></div><div class="ttdeci">llvm::SCEVConstant SCEVConstant</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00123">BasicTypes.h:123</a></div></div>
+<div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00035">CFGNormalizer.h:35</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ada0513be7e25325325ccc9183aeca278"><div class="ttname"><a href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">SVF::DIBasicType</a></div><div class="ttdeci">llvm::DIBasicType DIBasicType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00106">BasicTypes.h:106</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a64e69f438b8c302c4cae27735319fa49"><div class="ttname"><a href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">SVF::ShuffleVectorInst</a></div><div class="ttdeci">llvm::ShuffleVectorInst ShuffleVectorInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00081">BasicTypes.h:81</a></div></div>
+<div class="ttc" id="namespaceSVF_html_aa508c087703240dad69a9827e85ebd0b"><div class="ttname"><a href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">SVF::gep_type_iterator</a></div><div class="ttdeci">llvm::gep_type_iterator gep_type_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00115">BasicTypes.h:115</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a3b6e84470681a9f731a81e8cf54680cc"><div class="ttname"><a href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc">SVF::bridge_gep_iterator</a></div><div class="ttdeci">llvm::bridge_gep_iterator bridge_gep_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00116">BasicTypes.h:116</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8ad3aa124fabddc2fdd07c50403d70a9"><div class="ttname"><a href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9">SVF::ConstantDataSequential</a></div><div class="ttdeci">llvm::ConstantDataSequential ConstantDataSequential</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00059">BasicTypes.h:59</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a99bc1228f07429855c81a720be862dc6"><div class="ttname"><a href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">SVF::DISubrange</a></div><div class="ttdeci">llvm::DISubrange DISubrange</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_ace1fd4c32134018e2f6d5da193524986"><div class="ttname"><a href="namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986">SVF::ExtractValueInst</a></div><div class="ttdeci">llvm::ExtractValueInst ExtractValueInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00077">BasicTypes.h:77</a></div></div>
+<div class="ttc" id="namespaceSVF_html_adb305e32f35af19b870b07711ba5b913"><div class="ttname"><a href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">SVF::VAEndInst</a></div><div class="ttdeci">llvm::VAEndInst VAEndInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></div>
+<div class="ttc" id="namespaceSVF_html_afa513a3c76371907221ee2b1ef289c71"><div class="ttname"><a href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71">SVF::LandingPadInst</a></div><div class="ttdeci">llvm::LandingPadInst LandingPadInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00089">BasicTypes.h:89</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a9868a60a9cc7b78965a23b5034100f88"><div class="ttname"><a href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88">SVF::FreezeInst</a></div><div class="ttdeci">llvm::FreezeInst FreezeInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00086">BasicTypes.h:86</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a2b28f48dde0a9a91d251e654ce1f9477"><div class="ttname"><a href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">SVF::ConstantStruct</a></div><div class="ttdeci">llvm::ConstantStruct ConstantStruct</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00052">BasicTypes.h:52</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a911dbaab38cb42deb9c195c7f687853d"><div class="ttname"><a href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">SVF::ConstantExpr</a></div><div class="ttdeci">llvm::ConstantExpr ConstantExpr</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00060">BasicTypes.h:60</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a03db82b8a7914367024723dba4d6ca3c"><div class="ttname"><a href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">SVF::DataLayout</a></div><div class="ttdeci">llvm::DataLayout DataLayout</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00054">BasicTypes.h:54</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a255af6ff30782cb9a548feadb0fe7d6b"><div class="ttname"><a href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">SVF::inst_iterator</a></div><div class="ttdeci">llvm::inst_iterator inst_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00114">BasicTypes.h:114</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad127b0ad478640ede3d426e3a58d2632"><div class="ttname"><a href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">SVF::DIType</a></div><div class="ttdeci">llvm::DIType DIType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00101">BasicTypes.h:101</a></div></div>
+<div class="ttc" id="namespaceSVF_html_abcafc32093ff5ee038b5fcf6e4076ed4"><div class="ttname"><a href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4">SVF::VAArgInst</a></div><div class="ttdeci">llvm::VAArgInst VAArgInst</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_a468154e0ab9e7be82afef1aa0a2fb9e0"><div class="ttname"><a href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">SVF::AtomicRMWInst</a></div><div class="ttdeci">llvm::AtomicRMWInst AtomicRMWInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00069">BasicTypes.h:69</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a5d875a9d726bb9f68a17efa528dec0b4"><div class="ttname"><a href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">SVF::CmpInst</a></div><div class="ttdeci">llvm::CmpInst CmpInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00076">BasicTypes.h:76</a></div></div>
 <div class="ttc" id="classllvm_1_1generic__bridge__gep__type__iterator_html"><div class="ttname"><a href="classllvm_1_1generic__bridge__gep__type__iterator.html">llvm::generic_bridge_gep_type_iterator</a></div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00017">GEPTypeBridgeIterator.h:17</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a43a430043d6520ceac623115ab2fbf56"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a43a430043d6520ceac623115ab2fbf56">FenceInst</a></div><div class="ttdeci">llvm::FenceInst FenceInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00082">BasicTypes.h:82</a></div></div>
 </div><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>