npm - svf-tools - Versions diffs - 1.0.459 → 1.0.460 - Mend

svf-tools 1.0.459 → 1.0.460

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

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

@@ -66,75 +66,76 @@ $(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#a9c01c67684e99545d8e0403321594977">   28</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="l00029"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a2e0fa4afbccc902de3ae55c65fb8b007">   29</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="l00030"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a71269a3564eca6be7bc0efb5202275f0">   30</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="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 12</span></div><div class="line"><a name="l00032"></a><span class="lineno">   32</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="l00033"></a><span class="lineno">   33</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00034"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a66384f66e64322087e7bdab0b50840f2">   34</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="l00035"></a><span class="lineno">   35</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;</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"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a312d4d865f87a9bff58ce66b087c13d0">   38</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="l00039"></a><span class="lineno">   39</span>&#160;</div><div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ad29efa92ce4c6449b5ef7853994877bd">   40</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="l00041"></a><span class="lineno">   41</span>&#160;</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;<span class="comment">// LLVM Metadata</span></div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a79dfa1a3c9502e187c036ed3b41f937c">   43</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="l00044"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ae6439506f12c106932f8db434ebaa761">   44</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="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 data layout</span></div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aef8af3d6e4b75a3e3e108b636a48fbd3">   47</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="l00048"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a39fea8c436d96d2b5a74f5e02cc5d952">   48</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="l00049"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a8c9721de4c4754decc4f79d9f5b8c756">   49</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="l00050"></a><span class="lineno">   50</span>&#160;</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;<span class="comment">// LLVM Aliases and constants</span></div><div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a586975ac48ba33219a901c5d9453da2c">   52</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="l00053"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ae4ed20ab05ea5735549d1ef4367735cd">   53</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="l00054"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a66b2dbc1be121511c3b5b264f94558d3">   54</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="l00055"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">   55</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="l00056"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a7d8006ceeea7c796af22da70c5cb93a0">   56</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="l00057"></a><span class="lineno">   57</span>&#160;</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;<span class="comment">// LLVM Instructions</span></div><div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a5e06fe1b4b25113ac322dbeda71055dc">   59</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="l00060"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#abafbd655050c8c70dc8947997c369294">   60</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="l00061"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ab3bd63fdab8cc747227a32f88bd10370">   61</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="l00062"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ab8cddf2ff868c0a9ae99483640c9ecef">   62</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="l00063"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#adeac5db1db4ed03898d30f205fd02264">   63</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="l00064"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a55ac065a1d559c907908492c6853dd53">   64</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="l00065"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ada7ea2b41c600e036569e18bd0719270">   65</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="l00066"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#af386dbc3b9c4325443a15b07038e8386">   66</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="l00067"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a20b13f90796ee748f58e6c5faa7c63da">   67</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="l00068"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a02550b1e1110f4cfca868603ce243564">   68</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="l00069"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a41c335e8362a500085923e4742a53f57">   69</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="l00070"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#af4efbd8e6f644628b41104e855b0541b">   70</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="l00071"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a255d310b1b573ca5c69fd715d7815d79">   71</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="l00072"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aa437c87b40ddb0d2b16631b00994ff75">   72</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="l00073"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aebd8814affe9b579237bd090561b4686">   73</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="l00074"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a65732ea63bff4b444b225629ee7cf252">   74</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="l00075"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a39fa3cd232776e9a7bd6337c6242b906">   75</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="l00076"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a5ef6dd0250254e2609a8f35ece1d57c5">   76</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="l00077"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a43a430043d6520ceac623115ab2fbf56">   77</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="l00078"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a17cb164afe37512fdd064acc8ee7cc66">   78</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="l00079"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ac81608d3ff4a58a9a5d8fd522860b96f">   79</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="l00080"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aca8159b0dbaf5b71dc69b9d9c7b200ec">   80</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="l00081"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a5b02d9efe63d84149e54736b81f922f1">   81</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="l00082"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a3fd88a8942ad6c871c63a90b780afbd0">   82</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="l00083"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#abbb6cb29e5b213400fdb10525ee75504">   83</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="l00084"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a80c0a9085ca3ebff2760506df127f424">   84</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="l00085"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a85650eac31e26c9635644600eca6901e">   85</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="l00086"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aa55dc13cb9e79b9c54d74234e0add670">   86</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="l00087"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a487fbdac6711a95d28683e6644c457ac">   87</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="l00088"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ab58e9b290ff1defcedad101c3da8d8fd">   88</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="l00089"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ab6cb332bc04ab932cba29fa9c9d5f3b2">   89</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="l00090"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a1ab5636908738dc0987bc642604cbb4a">   90</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="l00091"></a><span class="lineno">   91</span>&#160;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;<span class="comment">// LLVM Debug Information</span></div><div class="line"><a name="l00093"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a36ec1ba901eeebe7a242f18510831788">   93</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="l00094"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aad46bd16008ebbc81e632f4fc69b3ea9">   94</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="l00095"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a5f7968b31d2b29b589360067cf48e625">   95</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="l00096"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ab0e8955a3dbfb0a836bfe64466411e4e">   96</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="l00097"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a358cd7e78ebc504972b73cd5ee80fac2">   97</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="l00098"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a98bb9afb9385eac16d7c78da796fd601">   98</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="l00099"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#abfc3b60432a782f5eb5ea73f20d34333">   99</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="l00100"></a><span class="lineno">  100</span>&#160;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;<span class="comment">// Iterators.</span></div><div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a160997c1a0fb1000445d04b89d9c1323">  102</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="l00103"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a61c08909930c80e172b5580fa0cc629f">  103</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="l00104"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#af43699df9f7bdcb9565574b588e3f5ae">  104</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="l00105"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a9a4df49ba7ca3ad32d65e5ecf2dad707">  105</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="l00106"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a45136b941670180e9ba248bb4e52f09f">  106</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="l00107"></a><span class="lineno">  107</span>&#160;</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;<span class="comment">// LLVM Scalar Evolution.</span></div><div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a26413e6481a8551035d13215b29ea779">  109</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="l00110"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a7182e2c93e2218f62abceae861a4e787">  110</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="l00111"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aff62eefea1b967cc90608517891644eb">  111</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="l00112"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a14e646200d8836461877804ee4a203d1">  112</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="l00113"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a926a4429043d19e5b5fb425a31631d12">  113</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="l00114"></a><span class="lineno">  114</span>&#160;</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;<span class="comment">// LLVM Types.</span></div><div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a720813d613d926a5963d6632532105ac">  116</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="l00117"></a><span class="lineno">  117</span>&#160;<span class="preprocessor">#if (LLVM_VERSION_MAJOR &gt;= 9)</span></div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;<span class="keyword">typedef</span> llvm::FunctionCallee FunctionCallee;</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;</div><div class="line"><a name="l00122"></a><span class="lineno">  122</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#l00072">BasicTypes.h:72</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"><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#a9c01c67684e99545d8e0403321594977">   28</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="l00029"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a2e0fa4afbccc902de3ae55c65fb8b007">   29</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="l00030"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a71269a3564eca6be7bc0efb5202275f0">   30</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="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 12</span></div><div class="line"><a name="l00032"></a><span class="lineno">   32</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="l00033"></a><span class="lineno">   33</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00034"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a66384f66e64322087e7bdab0b50840f2">   34</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="l00035"></a><span class="lineno">   35</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;</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"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a312d4d865f87a9bff58ce66b087c13d0">   38</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="l00039"></a><span class="lineno">   39</span>&#160;</div><div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ad29efa92ce4c6449b5ef7853994877bd">   40</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="l00041"></a><span class="lineno">   41</span>&#160;</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;<span class="comment">// LLVM Metadata</span></div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a79dfa1a3c9502e187c036ed3b41f937c">   43</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="l00044"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ae6439506f12c106932f8db434ebaa761">   44</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="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 data layout</span></div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aef8af3d6e4b75a3e3e108b636a48fbd3">   47</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="l00048"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a39fea8c436d96d2b5a74f5e02cc5d952">   48</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="l00049"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a8c9721de4c4754decc4f79d9f5b8c756">   49</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="l00050"></a><span class="lineno">   50</span>&#160;</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;<span class="comment">// LLVM Aliases and constants</span></div><div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a586975ac48ba33219a901c5d9453da2c">   52</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="l00053"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ae4ed20ab05ea5735549d1ef4367735cd">   53</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="l00054"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a66b2dbc1be121511c3b5b264f94558d3">   54</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="l00055"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">   55</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="l00056"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a7d8006ceeea7c796af22da70c5cb93a0">   56</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="l00057"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aca8fd472027d8636b36713a7494c88d6">   57</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="l00058"></a><span class="lineno">   58</span>&#160;</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;<span class="comment">// LLVM Instructions</span></div><div class="line"><a name="l00060"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a5e06fe1b4b25113ac322dbeda71055dc">   60</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="l00061"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#abafbd655050c8c70dc8947997c369294">   61</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="l00062"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ab3bd63fdab8cc747227a32f88bd10370">   62</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="l00063"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ab8cddf2ff868c0a9ae99483640c9ecef">   63</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="l00064"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#adeac5db1db4ed03898d30f205fd02264">   64</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="l00065"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a55ac065a1d559c907908492c6853dd53">   65</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="l00066"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ada7ea2b41c600e036569e18bd0719270">   66</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="l00067"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#af386dbc3b9c4325443a15b07038e8386">   67</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="l00068"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a20b13f90796ee748f58e6c5faa7c63da">   68</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="l00069"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a02550b1e1110f4cfca868603ce243564">   69</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="l00070"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a41c335e8362a500085923e4742a53f57">   70</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="l00071"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#af4efbd8e6f644628b41104e855b0541b">   71</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="l00072"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a255d310b1b573ca5c69fd715d7815d79">   72</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="l00073"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aa437c87b40ddb0d2b16631b00994ff75">   73</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="l00074"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aebd8814affe9b579237bd090561b4686">   74</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="l00075"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a65732ea63bff4b444b225629ee7cf252">   75</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="l00076"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a39fa3cd232776e9a7bd6337c6242b906">   76</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="l00077"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a5ef6dd0250254e2609a8f35ece1d57c5">   77</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="l00078"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a43a430043d6520ceac623115ab2fbf56">   78</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="l00079"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a17cb164afe37512fdd064acc8ee7cc66">   79</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="l00080"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ac81608d3ff4a58a9a5d8fd522860b96f">   80</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="l00081"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aca8159b0dbaf5b71dc69b9d9c7b200ec">   81</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="l00082"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a5b02d9efe63d84149e54736b81f922f1">   82</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="l00083"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a3fd88a8942ad6c871c63a90b780afbd0">   83</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="l00084"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#abbb6cb29e5b213400fdb10525ee75504">   84</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="l00085"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a80c0a9085ca3ebff2760506df127f424">   85</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="l00086"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a85650eac31e26c9635644600eca6901e">   86</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="l00087"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aa55dc13cb9e79b9c54d74234e0add670">   87</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="l00088"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a487fbdac6711a95d28683e6644c457ac">   88</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="l00089"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ab58e9b290ff1defcedad101c3da8d8fd">   89</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="l00090"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ab6cb332bc04ab932cba29fa9c9d5f3b2">   90</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="l00091"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a1ab5636908738dc0987bc642604cbb4a">   91</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="l00092"></a><span class="lineno">   92</span>&#160;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;<span class="comment">// LLVM Debug Information</span></div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a36ec1ba901eeebe7a242f18510831788">   94</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="l00095"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aad46bd16008ebbc81e632f4fc69b3ea9">   95</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="l00096"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a5f7968b31d2b29b589360067cf48e625">   96</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="l00097"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#ab0e8955a3dbfb0a836bfe64466411e4e">   97</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="l00098"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a358cd7e78ebc504972b73cd5ee80fac2">   98</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="l00099"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a98bb9afb9385eac16d7c78da796fd601">   99</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="l00100"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#abfc3b60432a782f5eb5ea73f20d34333">  100</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="l00101"></a><span class="lineno">  101</span>&#160;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;<span class="comment">// Iterators.</span></div><div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a160997c1a0fb1000445d04b89d9c1323">  103</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="l00104"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a61c08909930c80e172b5580fa0cc629f">  104</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="l00105"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#af43699df9f7bdcb9565574b588e3f5ae">  105</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="l00106"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a9a4df49ba7ca3ad32d65e5ecf2dad707">  106</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="l00107"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a45136b941670180e9ba248bb4e52f09f">  107</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="l00108"></a><span class="lineno">  108</span>&#160;</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;<span class="comment">// LLVM Scalar Evolution.</span></div><div class="line"><a name="l00110"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a26413e6481a8551035d13215b29ea779">  110</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="l00111"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a7182e2c93e2218f62abceae861a4e787">  111</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="l00112"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#aff62eefea1b967cc90608517891644eb">  112</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="l00113"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a14e646200d8836461877804ee4a203d1">  113</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="l00114"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a926a4429043d19e5b5fb425a31631d12">  114</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="l00115"></a><span class="lineno">  115</span>&#160;</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;<span class="comment">// LLVM Types.</span></div><div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="SVF-FE_2BasicTypes_8h.html#a720813d613d926a5963d6632532105ac">  117</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="l00118"></a><span class="lineno">  118</span>&#160;<span class="preprocessor">#if (LLVM_VERSION_MAJOR &gt;= 9)</span></div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;<span class="keyword">typedef</span> llvm::FunctionCallee FunctionCallee;</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</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#l00073">BasicTypes.h:73</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#l00056">BasicTypes.h:56</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#l00090">BasicTypes.h:90</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#l00083">BasicTypes.h:83</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#l00085">BasicTypes.h:85</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#l00071">BasicTypes.h:71</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#l00110">BasicTypes.h:110</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#l00069">BasicTypes.h:69</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#l00089">BasicTypes.h:89</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#l00091">BasicTypes.h:91</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#l00084">BasicTypes.h:84</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#l00086">BasicTypes.h:86</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#l00072">BasicTypes.h:72</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#l00111">BasicTypes.h:111</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#l00070">BasicTypes.h:70</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#l00090">BasicTypes.h:90</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#l00047">BasicTypes.h:47</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#l00048">BasicTypes.h:48</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#l00116">BasicTypes.h:116</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#l00117">BasicTypes.h:117</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#l00034">BasicTypes.h:34</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#l00074">BasicTypes.h:74</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#l00104">BasicTypes.h:104</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#l00075">BasicTypes.h:75</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#l00105">BasicTypes.h:105</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#l00040">BasicTypes.h:40</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#l00061">BasicTypes.h:61</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#l00097">BasicTypes.h:97</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#l00059">BasicTypes.h:59</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#l00102">BasicTypes.h:102</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#l00111">BasicTypes.h:111</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#l00113">BasicTypes.h:113</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#l00088">BasicTypes.h:88</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#l00067">BasicTypes.h:67</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#l00079">BasicTypes.h:79</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#l00093">BasicTypes.h:93</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#l00087">BasicTypes.h:87</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#l00070">BasicTypes.h:70</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#l00084">BasicTypes.h:84</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#l00098">BasicTypes.h:98</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#l00065">BasicTypes.h:65</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#l00062">BasicTypes.h:62</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#l00098">BasicTypes.h:98</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#l00060">BasicTypes.h:60</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#l00103">BasicTypes.h:103</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#l00112">BasicTypes.h:112</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#l00114">BasicTypes.h:114</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#l00089">BasicTypes.h:89</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#l00068">BasicTypes.h:68</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#l00080">BasicTypes.h:80</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#l00094">BasicTypes.h:94</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#l00088">BasicTypes.h:88</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#l00071">BasicTypes.h:71</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#l00085">BasicTypes.h:85</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#l00099">BasicTypes.h:99</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#l00066">BasicTypes.h:66</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#l00055">BasicTypes.h:55</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#l00054">BasicTypes.h:54</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#l00068">BasicTypes.h:68</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#l00062">BasicTypes.h:62</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#l00069">BasicTypes.h:69</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#l00063">BasicTypes.h:63</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#l00038">BasicTypes.h:38</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#l00043">BasicTypes.h:43</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#l00053">BasicTypes.h:53</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#l00086">BasicTypes.h:86</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#l00082">BasicTypes.h:82</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#l00087">BasicTypes.h:87</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#l00083">BasicTypes.h:83</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#l00029">BasicTypes.h:29</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#l00096">BasicTypes.h:96</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#l00081">BasicTypes.h:81</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#l00105">BasicTypes.h:105</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#l00097">BasicTypes.h:97</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#l00057">BasicTypes.h:57</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#l00082">BasicTypes.h:82</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#l00106">BasicTypes.h:106</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#l00030">BasicTypes.h:30</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#l00060">BasicTypes.h:60</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#l00094">BasicTypes.h:94</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#l00061">BasicTypes.h:61</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#l00095">BasicTypes.h:95</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#l00073">BasicTypes.h:73</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#l00074">BasicTypes.h:74</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#l00028">BasicTypes.h:28</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#l00049">BasicTypes.h:49</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#l00078">BasicTypes.h:78</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#l00066">BasicTypes.h:66</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#l00095">BasicTypes.h:95</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#l00080">BasicTypes.h:80</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#l00064">BasicTypes.h:64</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#l00106">BasicTypes.h:106</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#l00099">BasicTypes.h:99</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#l00109">BasicTypes.h:109</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#l00103">BasicTypes.h:103</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#l00079">BasicTypes.h:79</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#l00067">BasicTypes.h:67</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#l00096">BasicTypes.h:96</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#l00081">BasicTypes.h:81</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#l00065">BasicTypes.h:65</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#l00107">BasicTypes.h:107</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#l00100">BasicTypes.h:100</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#l00110">BasicTypes.h:110</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#l00104">BasicTypes.h:104</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#l00044">BasicTypes.h:44</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#l00075">BasicTypes.h:75</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#l00076">BasicTypes.h:76</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#l00052">BasicTypes.h:52</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#l00063">BasicTypes.h:63</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#l00076">BasicTypes.h:76</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#l00112">BasicTypes.h:112</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#l00064">BasicTypes.h:64</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#l00077">BasicTypes.h:77</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#l00113">BasicTypes.h:113</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#l00077">BasicTypes.h:77</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#l00078">BasicTypes.h:78</a></div></div>
 </div><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

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

@@ -117,7 +117,7 @@ $(function() {
 <div class="ttc" id="namespaceSVF_html_ae71551d6a1fc300e0403297aa25ddf94"><div class="ttname"><a href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">SVF::EdgeID</a></div><div class="ttdeci">u32_t EdgeID</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00090">SVFBasicTypes.h:90</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_ae0c3918bbf8338efd8e6c00c51d9d9d2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#ae0c3918bbf8338efd8e6c00c51d9d9d2">SVF::SVFValue::value</a></div><div class="ttdeci">const std::string value</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00219">SVFBasicTypes.h:219</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_af83f5c5c68cdb80576cdc1d62c01b207"><div class="ttname"><a href="namespaceSVF.html#af83f5c5c68cdb80576cdc1d62c01b207">SVF::operator&lt;&lt;</a></div><div class="ttdeci">OutStream &amp; operator&lt;&lt;(OutStream &amp;o, const std::pair&lt; F, S &gt; &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00290">BasicTypes.h:290</a></div></div>
+<div class="ttc" id="namespaceSVF_html_af83f5c5c68cdb80576cdc1d62c01b207"><div class="ttname"><a href="namespaceSVF.html#af83f5c5c68cdb80576cdc1d62c01b207">SVF::operator&lt;&lt;</a></div><div class="ttdeci">OutStream &amp; operator&lt;&lt;(OutStream &amp;o, const std::pair&lt; F, S &gt; &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00289">BasicTypes.h:289</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a35068c3650567d5051416db4aeb48e74"><div class="ttname"><a href="namespaceSVF.html#a35068c3650567d5051416db4aeb48e74">SVF::NodeDeque</a></div><div class="ttdeci">std::deque&lt; NodeID &gt; NodeDeque</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00128">SVFBasicTypes.h:128</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_a50f77757ac9c37a9501eb48deccdfef1"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a50f77757ac9c37a9501eb48deccdfef1">SVF::SVFValue::getValue</a></div><div class="ttdeci">const std::string &amp; getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00257">SVFBasicTypes.h:257</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860e"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e">SVF::SVFValue::SVFValKind</a></div><div class="ttdeci">SVFValKind</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00209">SVFBasicTypes.h:209</a></div></div>

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

@@ -76,7 +76,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SVFGBuilder_html_a54a713e3989597b11cee70864d0197bd"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd">SVF::SVFGBuilder::buildFullSVFG</a></div><div class="ttdeci">SVFG * buildFullSVFG(BVDataPTAImpl *pta)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8cpp_source.html#l00052">SVFGBuilder.cpp:52</a></div></div>
 <div class="ttc" id="classSVF_1_1VFG_html_ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d"><div class="ttname"><a href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d">SVF::VFG::PTRONLYSVFG</a></div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00057">VFG.h:57</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGBuilder_html_a6e08e6a99f7e743abf35e603e35e54f5"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html#a6e08e6a99f7e743abf35e603e35e54f5">SVF::SVFGBuilder::releaseMemory</a></div><div class="ttdeci">virtual void releaseMemory()</div><div class="ttdoc">Release global SVFG. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8cpp_source.html#l00110">SVFGBuilder.cpp:110</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00133">BasicTypes.h:133</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00132">BasicTypes.h:132</a></div></div>
 <div class="ttc" id="SVFGBuilder_8h_html"><div class="ttname"><a href="SVFGBuilder_8h.html">SVFGBuilder.h</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a4880571f57542afc50da506dfe273183"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">SVF::PointerAnalysis::printStat</a></div><div class="ttdeci">bool printStat()</div><div class="ttdoc">Whether print statistics. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00367">PointerAnalysis.h:367</a></div></div>
 <div class="ttc" id="SVFG_8h_html"><div class="ttname"><a href="SVFG_8h.html">SVFG.h</a></div></div>
@@ -96,12 +96,12 @@ $(function() {
 <div class="ttc" id="classSVF_1_1Options_html_a3061c75f7491dd737222b1b877721070"><div class="ttname"><a href="classSVF_1_1Options.html#a3061c75f7491dd737222b1b877721070">SVF::Options::DumpVFG</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; DumpVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00121">Options.h:121</a></div></div>
 <div class="ttc" id="classSVF_1_1Options_html_a7704ff30e6fc5043313adf5c655bcd4a"><div class="ttname"><a href="classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a">SVF::Options::OPTSVFG</a></div><div class="ttdeci">static llvm::cl::opt&lt; bool &gt; OPTSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00159">Options.h:159</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
-<div class="ttc" id="namespaceSVF_html_aecbb42b8e9d17fa0189c50dda9fd5fdd"><div class="ttname"><a href="namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd">SVF::DominatorTree</a></div><div class="ttdeci">llvm::DominatorTree DominatorTree</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00112">BasicTypes.h:112</a></div></div>
+<div class="ttc" id="namespaceSVF_html_aecbb42b8e9d17fa0189c50dda9fd5fdd"><div class="ttname"><a href="namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd">SVF::DominatorTree</a></div><div class="ttdeci">llvm::DominatorTree DominatorTree</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00111">BasicTypes.h:111</a></div></div>
 <div class="ttc" id="classSVF_1_1Options_html_a097255cb1373feaaaf2fe60c998862d5"><div class="ttname"><a href="classSVF_1_1Options.html#a097255cb1373feaaaf2fe60c998862d5">SVF::Options::DumpMSSA</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; DumpMSSA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00151">Options.h:151</a></div></div>
 <div class="ttc" id="classSVF_1_1Options_html_a78ce4bd2e80e7b87ff0ee52edd1db403"><div class="ttname"><a href="classSVF_1_1Options.html#a78ce4bd2e80e7b87ff0ee52edd1db403">SVF::Options::SingleVFG</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; SingleVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00158">Options.h:158</a></div></div>
 <div class="ttc" id="Options_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
 <div class="ttc" id="SVFBasicTypes_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFBasicTypes_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdoc">General debug flag is for each phase of a pass, it is often in a colorful output format. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00159">SVFBasicTypes.h:159</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html_ac4ae917ae35ac6fca652fe2dd90a8ac2"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">SVF::SVFFunction::getLLVMFun</a></div><div class="ttdeci">Function * getLLVMFun() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00149">BasicTypes.h:149</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFFunction_html_ac4ae917ae35ac6fca652fe2dd90a8ac2"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac4ae917ae35ac6fca652fe2dd90a8ac2">SVF::SVFFunction::getLLVMFun</a></div><div class="ttdeci">Function * getLLVMFun() const</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00148">BasicTypes.h:148</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGBuilder_html_ae2d84f7527de200a2f269dc1c056a305"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html#ae2d84f7527de200a2f269dc1c056a305">SVF::SVFGBuilder::buildSVFG</a></div><div class="ttdeci">virtual void buildSVFG()</div><div class="ttdoc">Can be rewritten by subclasses. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8cpp_source.html#l00061">SVFGBuilder.cpp:61</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFG_html"><div class="ttname"><a href="classSVF_1_1SVFG.html">SVF::SVFG</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00065">SVFG.h:65</a></div></div>
 <div class="ttc" id="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>