svf-tools 1.0.565 → 1.0.567

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 (89) hide show
  1. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +10 -10
  3. package/SVF-doxygen/html/html/DCHG_8h_source.html +5 -5
  4. package/SVF-doxygen/html/html/DataFlowUtil_8h_source.html +2 -2
  5. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +1 -1
  8. package/SVF-doxygen/html/html/MHP_8cpp.html +1 -1
  9. package/SVF-doxygen/html/html/MHP_8cpp_source.html +4 -4
  10. package/SVF-doxygen/html/html/MHP_8h_source.html +1 -1
  11. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/html/MTA_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/html/MTA_8h_source.html +2 -2
  15. package/SVF-doxygen/html/html/PCG_8cpp_source.html +1 -1
  16. package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h.html +0 -80
  17. package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h_source.html +22 -62
  18. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +5 -4
  19. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +1 -3
  20. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +1 -1
  21. package/SVF-doxygen/html/html/TCT_8cpp_source.html +1 -1
  22. package/SVF-doxygen/html/html/TCT_8h_source.html +1 -1
  23. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +1 -1
  24. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +43 -43
  25. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +2 -2
  26. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +1 -1
  27. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +1 -1
  28. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +1 -1
  29. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +2 -2
  30. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +1 -1
  31. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +1 -1
  32. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +1 -1
  33. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +1 -1
  34. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +1 -1
  35. package/SVF-doxygen/html/html/namespaceSVF.html +21 -741
  36. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +3 -3
  37. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +1 -3
  38. package/SVF-doxygen/html/html/namespacemembers.html +0 -33
  39. package/SVF-doxygen/html/html/namespacemembers_b.html +2 -5
  40. package/SVF-doxygen/html/html/namespacemembers_c.html +0 -6
  41. package/SVF-doxygen/html/html/namespacemembers_d.html +1 -19
  42. package/SVF-doxygen/html/html/namespacemembers_g.html +3 -15
  43. package/SVF-doxygen/html/html/namespacemembers_i.html +4 -16
  44. package/SVF-doxygen/html/html/namespacemembers_m.html +0 -21
  45. package/SVF-doxygen/html/html/namespacemembers_n.html +0 -3
  46. package/SVF-doxygen/html/html/namespacemembers_p.html +0 -3
  47. package/SVF-doxygen/html/html/namespacemembers_s.html +0 -3
  48. package/SVF-doxygen/html/html/namespacemembers_type.html +0 -33
  49. package/SVF-doxygen/html/html/namespacemembers_type_b.html +0 -3
  50. package/SVF-doxygen/html/html/namespacemembers_type_c.html +0 -6
  51. package/SVF-doxygen/html/html/namespacemembers_type_d.html +0 -18
  52. package/SVF-doxygen/html/html/namespacemembers_type_g.html +0 -12
  53. package/SVF-doxygen/html/html/namespacemembers_type_i.html +0 -12
  54. package/SVF-doxygen/html/html/namespacemembers_type_m.html +0 -21
  55. package/SVF-doxygen/html/html/namespacemembers_type_n.html +0 -3
  56. package/SVF-doxygen/html/html/namespacemembers_type_p.html +0 -3
  57. package/SVF-doxygen/html/html/namespacemembers_type_s.html +0 -3
  58. package/SVF-doxygen/html/html/namespacemembers_type_v.html +0 -3
  59. package/SVF-doxygen/html/html/namespacemembers_type_w.html +0 -3
  60. package/SVF-doxygen/html/html/namespacemembers_v.html +0 -3
  61. package/SVF-doxygen/html/html/namespacemembers_w.html +0 -3
  62. package/SVF-doxygen/html/html/search/all_1.js +0 -11
  63. package/SVF-doxygen/html/html/search/all_10.js +0 -1
  64. package/SVF-doxygen/html/html/search/all_12.js +0 -1
  65. package/SVF-doxygen/html/html/search/all_15.js +0 -1
  66. package/SVF-doxygen/html/html/search/all_16.js +0 -1
  67. package/SVF-doxygen/html/html/search/all_2.js +0 -1
  68. package/SVF-doxygen/html/html/search/all_3.js +0 -2
  69. package/SVF-doxygen/html/html/search/all_4.js +0 -6
  70. package/SVF-doxygen/html/html/search/all_7.js +0 -4
  71. package/SVF-doxygen/html/html/search/all_9.js +0 -4
  72. package/SVF-doxygen/html/html/search/all_d.js +0 -7
  73. package/SVF-doxygen/html/html/search/all_e.js +0 -1
  74. package/SVF-doxygen/html/html/search/typedefs_0.js +0 -11
  75. package/SVF-doxygen/html/html/search/typedefs_1.js +0 -1
  76. package/SVF-doxygen/html/html/search/typedefs_10.js +0 -1
  77. package/SVF-doxygen/html/html/search/typedefs_13.js +0 -1
  78. package/SVF-doxygen/html/html/search/typedefs_14.js +0 -1
  79. package/SVF-doxygen/html/html/search/typedefs_2.js +0 -2
  80. package/SVF-doxygen/html/html/search/typedefs_3.js +0 -6
  81. package/SVF-doxygen/html/html/search/typedefs_6.js +0 -4
  82. package/SVF-doxygen/html/html/search/typedefs_7.js +0 -4
  83. package/SVF-doxygen/html/html/search/typedefs_b.js +0 -7
  84. package/SVF-doxygen/html/html/search/typedefs_c.js +0 -1
  85. package/SVF-doxygen/html/html/search/typedefs_e.js +0 -1
  86. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +8 -7
  87. package/include/SVF-FE/BasicTypes.h +4 -0
  88. package/lib/Graphs/SVFG.cpp +8 -0
  89. package/package.json +1 -1
@@ -66,13 +66,11 @@ $(function() {
66
66
  <div class="title">BasicTypes.h</div> </div>
67
67
  </div><!--header-->
68
68
  <div class="contents">
69
- <a href="SVF-FE_2BasicTypes_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span>&#160;<span class="preprocessor">#ifndef SVF_FE_BASIC_TYPES_H</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span>&#160;<span class="preprocessor">#define SVF_FE_BASIC_TYPES_H</span></div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span>&#160;</div><div class="line"><a name="l00004"></a><span class="lineno"> 4</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="GEPTypeBridgeIterator_8h.html">SVF-FE/GEPTypeBridgeIterator.h</a>&quot;</span></div><div class="line"><a name="l00005"></a><span class="lineno"> 5</span>&#160;</div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span>&#160;<span class="preprocessor">#include &lt;llvm/Pass.h&gt;</span></div><div class="line"><a name="l00007"></a><span class="lineno"> 7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/Instructions.h&gt;</span></div><div class="line"><a name="l00009"></a><span class="lineno"> 9</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/IntrinsicInst.h&gt;</span></div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/LLVMContext.h&gt;</span></div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/Metadata.h&gt;</span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/DataLayout.h&gt;</span></div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/IRBuilder.h&gt;</span></div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/DebugInfo.h&gt;</span></div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/InstIterator.h&gt;</span></div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/GetElementPtrTypeIterator.h&gt;</span></div><div class="line"><a name="l00017"></a><span class="lineno"> 17</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/DerivedTypes.h&gt;</span></div><div class="line"><a name="l00018"></a><span class="lineno"> 18</span>&#160;</div><div class="line"><a name="l00019"></a><span class="lineno"> 19</span>&#160;<span class="preprocessor">#include &lt;llvm/Analysis/MemoryLocation.h&gt;</span></div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span>&#160;<span class="preprocessor">#include &lt;llvm/Analysis/ScalarEvolution.h&gt;</span></div><div class="line"><a name="l00021"></a><span class="lineno"> 21</span>&#160;<span class="preprocessor">#include &lt;llvm/Analysis/ScalarEvolutionExpressions.h&gt;</span></div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno"> 23</span>&#160;<span class="preprocessor">#include &lt;llvm/Transforms/Utils/UnifyFunctionExitNodes.h&gt;</span></div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span>&#160;</div><div class="line"><a name="l00025"></a><span class="lineno"> 25</span>&#160;<span class="preprocessor">#include &lt;llvm/Support/SourceMgr.h&gt;</span></div><div class="line"><a name="l00026"></a><span class="lineno"> 26</span>&#160;</div><div class="line"><a name="l00027"></a><span class="lineno"> 27</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00028"></a><span class="lineno"> 28</span>&#160;{</div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno"><a class="line" href="namespaceSVF.html#affba423b674a0aba723e33101826e297"> 30</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#affba423b674a0aba723e33101826e297">llvm::LLVMContext</a> <a class="code" href="namespaceSVF.html#affba423b674a0aba723e33101826e297">LLVMContext</a>;</div><div class="line"><a name="l00031"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3"> 31</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">llvm::GlobalObject</a> <a class="code" href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">GlobalObject</a>;</div><div class="line"><a name="l00032"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf"> 32</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">llvm::Use</a> <a class="code" href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">Use</a>;</div><div class="line"><a name="l00033"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90"> 33</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">llvm::ModulePass</a> <a class="code" href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">ModulePass</a>;</div><div class="line"><a name="l00034"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a94824519e439aeef1568d415b6f7331c"> 34</a></span>&#160;<span class="keyword">typedef</span> llvm::IRBuilder&lt;&gt; <a class="code" href="namespaceSVF.html#a94824519e439aeef1568d415b6f7331c">IRBuilder</a>;</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 12</span></div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;<span class="keyword">typedef</span> llvm::UnifyFunctionExitNodesLegacyPass <a class="code" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">UnifyFunctionExitNodes</a>;</div><div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b"> 38</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">llvm::UnifyFunctionExitNodes</a> <a class="code" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">UnifyFunctionExitNodes</a>;</div><div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160;</div><div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906"> 41</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">llvm::Module</a> <a class="code" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">Module</a>;</div><div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160;</div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30"> 43</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30">llvm::SMDiagnostic</a> <a class="code" href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30">SMDiagnostic</a>;</div><div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160;</div><div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c"> 45</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c">llvm::BlockAddress</a> <a class="code" href="namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c">BlockAddress</a>;</div><div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160;</div><div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160;<span class="comment">// LLVM Metadata</span></div><div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4"> 48</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">llvm::MDString</a> <a class="code" href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">MDString</a>;</div><div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b"> 49</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">llvm::MetadataAsValue</a> <a class="code" href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">MetadataAsValue</a>;</div><div class="line"><a name="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 data layout</span></div><div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45"> 52</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">llvm::StructLayout</a> <a class="code" href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">StructLayout</a>;</div><div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477"> 53</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">llvm::ConstantStruct</a> <a class="code" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">ConstantStruct</a>;</div><div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403"> 54</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">llvm::MemoryLocation</a> <a class="code" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">MemoryLocation</a>;</div><div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c"> 55</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">llvm::DataLayout</a> <a class="code" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">DataLayout</a>;</div><div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160;</div><div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160;<span class="comment">// LLVM Aliases and constants</span></div><div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597"> 58</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597">llvm::ConstantAggregate</a> <a class="code" href="namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597">ConstantAggregate</a>;</div><div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07"> 59</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07">llvm::ConstantAggregateZero</a> <a class="code" href="namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07">ConstantAggregateZero</a>;</div><div class="line"><a name="l00060"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9"> 60</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9">llvm::ConstantDataSequential</a> <a class="code" href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9">ConstantDataSequential</a>;</div><div class="line"><a name="l00061"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d"> 61</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">llvm::ConstantExpr</a> <a class="code" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a>;</div><div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462"> 62</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462">llvm::ConstantDataArray</a> <a class="code" href="namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462">ConstantDataArray</a>;</div><div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768"> 63</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768">llvm::ConstantData</a> <a class="code" href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768">ConstantData</a>;</div><div class="line"><a name="l00064"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e"> 64</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">llvm::ConstantArray</a> <a class="code" href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">ConstantArray</a>;</div><div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9"> 65</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9">llvm::Constant</a> <a class="code" href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9">Constant</a>;</div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160;</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160;<span class="comment">// LLVM Instructions</span></div><div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83"> 68</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">llvm::AllocaInst</a> <a class="code" href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">AllocaInst</a>;</div><div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49"> 69</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">llvm::AtomicCmpXchgInst</a> <a class="code" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">AtomicCmpXchgInst</a>;</div><div class="line"><a name="l00070"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0"> 70</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">llvm::AtomicRMWInst</a> <a class="code" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">AtomicRMWInst</a>;</div><div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d"> 71</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">llvm::BitCastInst</a> <a class="code" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">BitCastInst</a>;</div><div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f"> 72</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">llvm::BranchInst</a> <a class="code" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">BranchInst</a>;</div><div class="line"><a name="l00073"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9"> 73</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">llvm::SwitchInst</a> <a class="code" href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">SwitchInst</a>;</div><div class="line"><a name="l00074"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5"> 74</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5">llvm::CallBrInst</a> <a class="code" href="namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5">CallBrInst</a>;</div><div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154"> 75</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">llvm::ReturnInst</a> <a class="code" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">ReturnInst</a>;</div><div class="line"><a name="l00076"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827"> 76</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">llvm::CastInst</a> <a class="code" href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">CastInst</a>;</div><div class="line"><a name="l00077"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4"> 77</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">llvm::CmpInst</a> <a class="code" href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">CmpInst</a>;</div><div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986"> 78</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986">llvm::ExtractValueInst</a> <a class="code" href="namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986">ExtractValueInst</a>;</div><div class="line"><a name="l00079"></a><span class="lineno"><a class="line" href="namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356"> 79</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356">llvm::ExtractElementInst</a> <a class="code" href="namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356">ExtractElementInst</a>;</div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b"> 80</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">llvm::GetElementPtrInst</a> <a class="code" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">GetElementPtrInst</a>;</div><div class="line"><a name="l00081"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f"> 81</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">llvm::InvokeInst</a> <a class="code" href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">InvokeInst</a>;</div><div class="line"><a name="l00082"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49"> 82</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">llvm::ShuffleVectorInst</a> <a class="code" href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">ShuffleVectorInst</a>;</div><div class="line"><a name="l00083"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674"> 83</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">llvm::PHINode</a> <a class="code" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">PHINode</a>;</div><div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb"> 84</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">llvm::IntToPtrInst</a> <a class="code" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">IntToPtrInst</a>;</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24"> 85</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24">llvm::InsertValueInst</a> <a class="code" href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24">InsertValueInst</a>;</div><div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b"> 86</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b">llvm::FenceInst</a> <a class="code" href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b">FenceInst</a>;</div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88"> 87</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88">llvm::FreezeInst</a> <a class="code" href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88">FreezeInst</a>;</div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721"> 88</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721">llvm::UnreachableInst</a> <a class="code" href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721">UnreachableInst</a>;</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326"> 89</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326">llvm::InsertElementInst</a> <a class="code" href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326">InsertElementInst</a>;</div><div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71"> 90</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71">llvm::LandingPadInst</a> <a class="code" href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71">LandingPadInst</a>;</div><div class="line"><a name="l00091"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa"> 91</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">llvm::ResumeInst</a> <a class="code" href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">ResumeInst</a>;</div><div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307"> 92</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307">llvm::SelectInst</a> <a class="code" href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307">SelectInst</a>;</div><div class="line"><a name="l00093"></a><span class="lineno"><a class="line" href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4"> 93</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4">llvm::VAArgInst</a> <a class="code" href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4">VAArgInst</a>;</div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295"> 94</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">llvm::VACopyInst</a> <a class="code" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">VACopyInst</a>;</div><div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913"> 95</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">llvm::VAEndInst</a> <a class="code" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">VAEndInst</a>;</div><div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc"> 96</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">llvm::VAStartInst</a> <a class="code" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">VAStartInst</a>;</div><div class="line"><a name="l00097"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22"> 97</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">llvm::BinaryOperator</a> <a class="code" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">BinaryOperator</a>;</div><div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62"> 98</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">llvm::UnaryOperator</a> <a class="code" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">UnaryOperator</a>;</div><div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec"> 99</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">llvm::UndefValue</a> <a class="code" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">UndefValue</a>;</div><div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aeafba56771d23572128b21d784ff28a6"> 100</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aeafba56771d23572128b21d784ff28a6">llvm::IntrinsicInst</a> <a class="code" href="namespaceSVF.html#aeafba56771d23572128b21d784ff28a6">IntrinsicInst</a>;</div><div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a98310cccad527f8151328f2c87b29563"> 101</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a98310cccad527f8151328f2c87b29563">llvm::DbgInfoIntrinsic</a> <a class="code" href="namespaceSVF.html#a98310cccad527f8151328f2c87b29563">DbgInfoIntrinsic</a>;</div><div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5698b95e3f2bfb6220cca202145c79ce"> 102</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5698b95e3f2bfb6220cca202145c79ce">llvm::DbgVariableIntrinsic</a> <a class="code" href="namespaceSVF.html#a5698b95e3f2bfb6220cca202145c79ce">DbgVariableIntrinsic</a>;</div><div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a52a9bff350f21692eae3b519030c314d"> 103</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a52a9bff350f21692eae3b519030c314d">llvm::DbgDeclareInst</a> <a class="code" href="namespaceSVF.html#a52a9bff350f21692eae3b519030c314d">DbgDeclareInst</a>;</div><div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a97b6f3c33f30ba9b01e3ec5d91c5e6b5"> 104</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a97b6f3c33f30ba9b01e3ec5d91c5e6b5">llvm::DbgAddrIntrinsic</a> <a class="code" href="namespaceSVF.html#a97b6f3c33f30ba9b01e3ec5d91c5e6b5">DbgAddrIntrinsic</a>;</div><div class="line"><a name="l00105"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aa6ea2efcc92d5a96b71f37d41abb0482"> 105</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aa6ea2efcc92d5a96b71f37d41abb0482">llvm::DbgValueInst</a> <a class="code" href="namespaceSVF.html#aa6ea2efcc92d5a96b71f37d41abb0482">DbgValueInst</a>;</div><div class="line"><a name="l00106"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a32392667c0d47b88b4e1563da27be587"> 106</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a32392667c0d47b88b4e1563da27be587">llvm::DbgLabelInst</a> <a class="code" href="namespaceSVF.html#a32392667c0d47b88b4e1563da27be587">DbgLabelInst</a>;</div><div class="line"><a name="l00107"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a0ea8b301ceeb6ab13d781878029a6403"> 107</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a0ea8b301ceeb6ab13d781878029a6403">llvm::VPIntrinsic</a> <a class="code" href="namespaceSVF.html#a0ea8b301ceeb6ab13d781878029a6403">VPIntrinsic</a>;</div><div class="line"><a name="l00108"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a373d9c3194e0b4d92ec12d792854eb87"> 108</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a373d9c3194e0b4d92ec12d792854eb87">llvm::ConstrainedFPIntrinsic</a> <a class="code" href="namespaceSVF.html#a373d9c3194e0b4d92ec12d792854eb87">ConstrainedFPIntrinsic</a>;</div><div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a01c39e0b75e02ca0823291cc0aab751f"> 109</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a01c39e0b75e02ca0823291cc0aab751f">llvm::ConstrainedFPCmpIntrinsic</a> <a class="code" href="namespaceSVF.html#a01c39e0b75e02ca0823291cc0aab751f">ConstrainedFPCmpIntrinsic</a>;</div><div class="line"><a name="l00110"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8d8a3708b1bed772fe4ad50f7ba544bf"> 110</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8d8a3708b1bed772fe4ad50f7ba544bf">llvm::MinMaxIntrinsic</a> <a class="code" href="namespaceSVF.html#a8d8a3708b1bed772fe4ad50f7ba544bf">MinMaxIntrinsic</a>;</div><div class="line"><a name="l00111"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aff2da2ed0d7c413dcb014141f0b750f1"> 111</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aff2da2ed0d7c413dcb014141f0b750f1">llvm::BinaryOpIntrinsic</a> <a class="code" href="namespaceSVF.html#aff2da2ed0d7c413dcb014141f0b750f1">BinaryOpIntrinsic</a>;</div><div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a77a55960401110383dde69324277f67a"> 112</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a77a55960401110383dde69324277f67a">llvm::WithOverflowInst</a> <a class="code" href="namespaceSVF.html#a77a55960401110383dde69324277f67a">WithOverflowInst</a>;</div><div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad1dff7fa24ef579c1392a3cd4712b1ee"> 113</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad1dff7fa24ef579c1392a3cd4712b1ee">llvm::SaturatingInst</a> <a class="code" href="namespaceSVF.html#ad1dff7fa24ef579c1392a3cd4712b1ee">SaturatingInst</a>;</div><div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a50f4510bce9a49b48530b3da9abb542b"> 114</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a50f4510bce9a49b48530b3da9abb542b">llvm::AtomicMemIntrinsic</a> <a class="code" href="namespaceSVF.html#a50f4510bce9a49b48530b3da9abb542b">AtomicMemIntrinsic</a>;</div><div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a16b872ede7813d24169143f091ac34a3"> 115</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a16b872ede7813d24169143f091ac34a3">llvm::AtomicMemSetInst</a> <a class="code" href="namespaceSVF.html#a16b872ede7813d24169143f091ac34a3">AtomicMemSetInst</a>;</div><div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="namespaceSVF.html#afb24dfe2255c30310049a9bd2a9c26b9"> 116</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#afb24dfe2255c30310049a9bd2a9c26b9">llvm::AtomicMemTransferInst</a> <a class="code" href="namespaceSVF.html#afb24dfe2255c30310049a9bd2a9c26b9">AtomicMemTransferInst</a>;</div><div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="namespaceSVF.html#acf966c15a74110cfa1e5fffe869187b0"> 117</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#acf966c15a74110cfa1e5fffe869187b0">llvm::AtomicMemCpyInst</a> <a class="code" href="namespaceSVF.html#acf966c15a74110cfa1e5fffe869187b0">AtomicMemCpyInst</a>;</div><div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a88ecc1591c6e8e6671ddb5774b954aa6"> 118</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a88ecc1591c6e8e6671ddb5774b954aa6">llvm::AtomicMemMoveInst</a> <a class="code" href="namespaceSVF.html#a88ecc1591c6e8e6671ddb5774b954aa6">AtomicMemMoveInst</a>;</div><div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a062e5cbf987400704aff9209ac4507d1"> 119</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a062e5cbf987400704aff9209ac4507d1">llvm::MemIntrinsic</a> <a class="code" href="namespaceSVF.html#a062e5cbf987400704aff9209ac4507d1">MemIntrinsic</a>;</div><div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3aeeba6da229f0a73fd306c9f0063ae7"> 120</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a3aeeba6da229f0a73fd306c9f0063ae7">llvm::MemSetInst</a> <a class="code" href="namespaceSVF.html#a3aeeba6da229f0a73fd306c9f0063ae7">MemSetInst</a>;</div><div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a792b184a7ef4ea203fdf644f5608f838"> 121</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a792b184a7ef4ea203fdf644f5608f838">llvm::MemTransferInst</a> <a class="code" href="namespaceSVF.html#a792b184a7ef4ea203fdf644f5608f838">MemTransferInst</a>;</div><div class="line"><a name="l00122"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7b1ab6ca15d368bd378d4123c9f75451"> 122</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a7b1ab6ca15d368bd378d4123c9f75451">llvm::MemCpyInst</a> <a class="code" href="namespaceSVF.html#a7b1ab6ca15d368bd378d4123c9f75451">MemCpyInst</a>;</div><div class="line"><a name="l00123"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3c102dae4e7eb1cd6604ed9944b43e97"> 123</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a3c102dae4e7eb1cd6604ed9944b43e97">llvm::MemMoveInst</a> <a class="code" href="namespaceSVF.html#a3c102dae4e7eb1cd6604ed9944b43e97">MemMoveInst</a>;</div><div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac43dd719ccad81d77e6773b4d957e52a"> 124</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac43dd719ccad81d77e6773b4d957e52a">llvm::MemCpyInlineInst</a> <a class="code" href="namespaceSVF.html#ac43dd719ccad81d77e6773b4d957e52a">MemCpyInlineInst</a>;</div><div class="line"><a name="l00125"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a11c647398b2a931990d43b28462d421e"> 125</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a11c647398b2a931990d43b28462d421e">llvm::AnyMemIntrinsic</a> <a class="code" href="namespaceSVF.html#a11c647398b2a931990d43b28462d421e">AnyMemIntrinsic</a>;</div><div class="line"><a name="l00126"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af805291f579df47e55ef17f4bc966894"> 126</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af805291f579df47e55ef17f4bc966894">llvm::AnyMemSetInst</a> <a class="code" href="namespaceSVF.html#af805291f579df47e55ef17f4bc966894">AnyMemSetInst</a>;</div><div class="line"><a name="l00127"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a232f8b3ca0d5f43d2d8729c254685768"> 127</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a232f8b3ca0d5f43d2d8729c254685768">llvm::AnyMemTransferInst</a> <a class="code" href="namespaceSVF.html#a232f8b3ca0d5f43d2d8729c254685768">AnyMemTransferInst</a>;</div><div class="line"><a name="l00128"></a><span class="lineno"><a class="line" href="namespaceSVF.html#adbb4d9eeed7e5a08892cfdf71caba1d8"> 128</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#adbb4d9eeed7e5a08892cfdf71caba1d8">llvm::AnyMemCpyInst</a> <a class="code" href="namespaceSVF.html#adbb4d9eeed7e5a08892cfdf71caba1d8">AnyMemCpyInst</a>;</div><div class="line"><a name="l00129"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aec83b8f2ca21f98734188f8db3aa99aa"> 129</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aec83b8f2ca21f98734188f8db3aa99aa">llvm::AnyMemMoveInst</a> <a class="code" href="namespaceSVF.html#aec83b8f2ca21f98734188f8db3aa99aa">AnyMemMoveInst</a>;</div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">llvm::VAStartInst</a> <a class="code" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">VAStartInst</a>;</div><div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">llvm::VAEndInst</a> <a class="code" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">VAEndInst</a>;</div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">llvm::VACopyInst</a> <a class="code" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">VACopyInst</a>;</div><div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aebc2e2c17087bc2f00fd707f56c40795"> 133</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aebc2e2c17087bc2f00fd707f56c40795">llvm::InstrProfIncrementInst</a> <a class="code" href="namespaceSVF.html#aebc2e2c17087bc2f00fd707f56c40795">InstrProfIncrementInst</a>;</div><div class="line"><a name="l00134"></a><span class="lineno"><a class="line" href="namespaceSVF.html#acf50d678027c80ae12071cddf4bc1683"> 134</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#acf50d678027c80ae12071cddf4bc1683">llvm::InstrProfIncrementInstStep</a> <a class="code" href="namespaceSVF.html#acf50d678027c80ae12071cddf4bc1683">InstrProfIncrementInstStep</a>;</div><div class="line"><a name="l00135"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5510b21608b9780bafe8da04032c52db"> 135</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5510b21608b9780bafe8da04032c52db">llvm::InstrProfValueProfileInst</a> <a class="code" href="namespaceSVF.html#a5510b21608b9780bafe8da04032c52db">InstrProfValueProfileInst</a>;</div><div class="line"><a name="l00136"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aa1e6a12c2189520f5f92bd466f51dcde"> 136</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aa1e6a12c2189520f5f92bd466f51dcde">llvm::PseudoProbeInst</a> <a class="code" href="namespaceSVF.html#aa1e6a12c2189520f5f92bd466f51dcde">PseudoProbeInst</a>;</div><div class="line"><a name="l00137"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a2f7d8bb0a9f60fe855dd82e7b1a6a090"> 137</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a2f7d8bb0a9f60fe855dd82e7b1a6a090">llvm::NoAliasScopeDeclInst</a> <a class="code" href="namespaceSVF.html#a2f7d8bb0a9f60fe855dd82e7b1a6a090">NoAliasScopeDeclInst</a>;</div><div class="line"><a name="l00138"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac2f24d976e62d802aa1769924ff38bf2"> 138</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac2f24d976e62d802aa1769924ff38bf2">llvm::GCStatepointInst</a> <a class="code" href="namespaceSVF.html#ac2f24d976e62d802aa1769924ff38bf2">GCStatepointInst</a>;</div><div class="line"><a name="l00139"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aa567358f0c0c3a6363b41ba6d37dc90c"> 139</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aa567358f0c0c3a6363b41ba6d37dc90c">llvm::GCProjectionInst</a> <a class="code" href="namespaceSVF.html#aa567358f0c0c3a6363b41ba6d37dc90c">GCProjectionInst</a>;</div><div class="line"><a name="l00140"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac4d0b7e1b0332ac5335cc98669a3de0a"> 140</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac4d0b7e1b0332ac5335cc98669a3de0a">llvm::GCRelocateInst</a> <a class="code" href="namespaceSVF.html#ac4d0b7e1b0332ac5335cc98669a3de0a">GCRelocateInst</a>;</div><div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ae0b0c09f22fa87d94d7671a941851726"> 141</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ae0b0c09f22fa87d94d7671a941851726">llvm::GCResultInst</a> <a class="code" href="namespaceSVF.html#ae0b0c09f22fa87d94d7671a941851726">GCResultInst</a>;</div><div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="namespaceSVF.html#abd54de67b4f9f27583560e341cd68958"> 142</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#abd54de67b4f9f27583560e341cd68958">llvm::AssumeInst</a> <a class="code" href="namespaceSVF.html#abd54de67b4f9f27583560e341cd68958">AssumeInst</a>;</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160;</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160;<span class="comment">// LLVM Debug Information</span></div><div class="line"><a name="l00145"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632"> 145</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">llvm::DIType</a> <a class="code" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">DIType</a>;</div><div class="line"><a name="l00146"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1"> 146</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">llvm::DICompositeType</a> <a class="code" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">DICompositeType</a>;</div><div class="line"><a name="l00147"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6"> 147</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">llvm::DIDerivedType</a> <a class="code" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">DIDerivedType</a>;</div><div class="line"><a name="l00148"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321"> 148</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">llvm::DebugInfoFinder</a> <a class="code" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">DebugInfoFinder</a>;</div><div class="line"><a name="l00149"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129"> 149</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">llvm::DISubroutineType</a> <a class="code" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">DISubroutineType</a>;</div><div class="line"><a name="l00150"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278"> 150</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">llvm::DIBasicType</a> <a class="code" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">DIBasicType</a>;</div><div class="line"><a name="l00151"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6"> 151</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">llvm::DISubrange</a> <a class="code" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">DISubrange</a>;</div><div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d"> 152</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">llvm::DINode</a> <a class="code" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">DINode</a>;</div><div class="line"><a name="l00153"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003"> 153</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">llvm::DINodeArray</a> <a class="code" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">DINodeArray</a>;</div><div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc"> 154</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">llvm::DITypeRefArray</a> <a class="code" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">DITypeRefArray</a>;</div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160;<span class="keyword">namespace </span>dwarf = llvm::dwarf;</div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160;</div><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160;<span class="comment">// Iterators.</span></div><div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b"> 158</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">llvm::inst_iterator</a> <a class="code" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">inst_iterator</a>;</div><div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b"> 159</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">llvm::gep_type_iterator</a> <a class="code" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">gep_type_iterator</a>;</div><div class="line"><a name="l00160"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc"> 160</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">llvm::bridge_gep_iterator</a> <a class="code" href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc">bridge_gep_iterator</a>;</div><div class="line"><a name="l00161"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91"> 161</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">llvm::const_inst_iterator</a> <a class="code" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">const_inst_iterator</a>;</div><div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e"> 162</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">llvm::const_pred_iterator</a> <a class="code" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">const_pred_iterator</a>;</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160;</div><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160;<span class="comment">// LLVM Scalar Evolution.</span></div><div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01"> 165</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">llvm::ScalarEvolutionWrapperPass</a> <a class="code" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">ScalarEvolutionWrapperPass</a>;</div><div class="line"><a name="l00166"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8"> 166</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">llvm::SCEVAddRecExpr</a> <a class="code" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">SCEVAddRecExpr</a>;</div><div class="line"><a name="l00167"></a><span class="lineno"><a class="line" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63"> 167</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">llvm::SCEVConstant</a> <a class="code" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">SCEVConstant</a>;</div><div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42"> 168</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">llvm::ScalarEvolution</a> <a class="code" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">ScalarEvolution</a>;</div><div class="line"><a name="l00169"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6"> 169</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">llvm::SCEV</a> <a class="code" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">SCEV</a>;</div><div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160;</div><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160;<span class="comment">// LLVM Types.</span></div><div class="line"><a name="l00172"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418"> 172</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">llvm::VectorType</a> <a class="code" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">VectorType</a>;</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160;<span class="preprocessor">#if (LLVM_VERSION_MAJOR &gt;= 9)</span></div><div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160;<span class="keyword">typedef</span> llvm::FunctionCallee FunctionCallee;</div><div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160;</div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160;} <span class="comment">// End namespace SVF</span></div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160;</div><div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160;<span class="preprocessor">#endif // SVF_FE_BASIC_TYPES_H</span></div><div class="ttc" id="namespaceSVF_html_a11c647398b2a931990d43b28462d421e"><div class="ttname"><a href="namespaceSVF.html#a11c647398b2a931990d43b28462d421e">SVF::AnyMemIntrinsic</a></div><div class="ttdeci">llvm::AnyMemIntrinsic AnyMemIntrinsic</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00125">BasicTypes.h:125</a></div></div>
70
- <div class="ttc" id="namespaceSVF_html_aeafba56771d23572128b21d784ff28a6"><div class="ttname"><a href="namespaceSVF.html#aeafba56771d23572128b21d784ff28a6">SVF::IntrinsicInst</a></div><div class="ttdeci">llvm::IntrinsicInst IntrinsicInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
71
- <div class="ttc" id="namespaceSVF_html_a334998718813a19a7697daf4ba282faf"><div class="ttname"><a href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">SVF::Use</a></div><div class="ttdeci">llvm::Use Use</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00032">BasicTypes.h:32</a></div></div>
69
+ <a href="SVF-FE_2BasicTypes_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span>&#160;<span class="preprocessor">#ifndef SVF_FE_BASIC_TYPES_H</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span>&#160;<span class="preprocessor">#define SVF_FE_BASIC_TYPES_H</span></div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span>&#160;</div><div class="line"><a name="l00004"></a><span class="lineno"> 4</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="GEPTypeBridgeIterator_8h.html">SVF-FE/GEPTypeBridgeIterator.h</a>&quot;</span></div><div class="line"><a name="l00005"></a><span class="lineno"> 5</span>&#160;</div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span>&#160;<span class="preprocessor">#include &lt;llvm/Pass.h&gt;</span></div><div class="line"><a name="l00007"></a><span class="lineno"> 7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/Instructions.h&gt;</span></div><div class="line"><a name="l00009"></a><span class="lineno"> 9</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/IntrinsicInst.h&gt;</span></div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/LLVMContext.h&gt;</span></div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/Metadata.h&gt;</span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/DataLayout.h&gt;</span></div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/IRBuilder.h&gt;</span></div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/DebugInfo.h&gt;</span></div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/InstIterator.h&gt;</span></div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/GetElementPtrTypeIterator.h&gt;</span></div><div class="line"><a name="l00017"></a><span class="lineno"> 17</span>&#160;<span class="preprocessor">#include &lt;llvm/IR/DerivedTypes.h&gt;</span></div><div class="line"><a name="l00018"></a><span class="lineno"> 18</span>&#160;</div><div class="line"><a name="l00019"></a><span class="lineno"> 19</span>&#160;<span class="preprocessor">#include &lt;llvm/Analysis/MemoryLocation.h&gt;</span></div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span>&#160;<span class="preprocessor">#include &lt;llvm/Analysis/ScalarEvolution.h&gt;</span></div><div class="line"><a name="l00021"></a><span class="lineno"> 21</span>&#160;<span class="preprocessor">#include &lt;llvm/Analysis/ScalarEvolutionExpressions.h&gt;</span></div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno"> 23</span>&#160;<span class="preprocessor">#include &lt;llvm/Transforms/Utils/UnifyFunctionExitNodes.h&gt;</span></div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span>&#160;</div><div class="line"><a name="l00025"></a><span class="lineno"> 25</span>&#160;<span class="preprocessor">#include &lt;llvm/Support/SourceMgr.h&gt;</span></div><div class="line"><a name="l00026"></a><span class="lineno"> 26</span>&#160;</div><div class="line"><a name="l00027"></a><span class="lineno"> 27</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00028"></a><span class="lineno"> 28</span>&#160;{</div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno"><a class="line" href="namespaceSVF.html#affba423b674a0aba723e33101826e297"> 30</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#affba423b674a0aba723e33101826e297">llvm::LLVMContext</a> <a class="code" href="namespaceSVF.html#affba423b674a0aba723e33101826e297">LLVMContext</a>;</div><div class="line"><a name="l00031"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3"> 31</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">llvm::GlobalObject</a> <a class="code" href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">GlobalObject</a>;</div><div class="line"><a name="l00032"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf"> 32</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">llvm::Use</a> <a class="code" href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">Use</a>;</div><div class="line"><a name="l00033"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90"> 33</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">llvm::ModulePass</a> <a class="code" href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">ModulePass</a>;</div><div class="line"><a name="l00034"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a94824519e439aeef1568d415b6f7331c"> 34</a></span>&#160;<span class="keyword">typedef</span> llvm::IRBuilder&lt;&gt; <a class="code" href="namespaceSVF.html#a94824519e439aeef1568d415b6f7331c">IRBuilder</a>;</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 12</span></div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;<span class="keyword">typedef</span> llvm::UnifyFunctionExitNodesLegacyPass <a class="code" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">UnifyFunctionExitNodes</a>;</div><div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b"> 38</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">llvm::UnifyFunctionExitNodes</a> <a class="code" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">UnifyFunctionExitNodes</a>;</div><div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160;</div><div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906"> 41</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">llvm::Module</a> <a class="code" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">Module</a>;</div><div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160;</div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30"> 43</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30">llvm::SMDiagnostic</a> <a class="code" href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30">SMDiagnostic</a>;</div><div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160;</div><div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c"> 45</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c">llvm::BlockAddress</a> <a class="code" href="namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c">BlockAddress</a>;</div><div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160;</div><div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160;<span class="comment">// LLVM Metadata</span></div><div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4"> 48</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">llvm::MDString</a> <a class="code" href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">MDString</a>;</div><div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b"> 49</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">llvm::MetadataAsValue</a> <a class="code" href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">MetadataAsValue</a>;</div><div class="line"><a name="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 data layout</span></div><div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45"> 52</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">llvm::StructLayout</a> <a class="code" href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">StructLayout</a>;</div><div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477"> 53</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">llvm::ConstantStruct</a> <a class="code" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">ConstantStruct</a>;</div><div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403"> 54</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">llvm::MemoryLocation</a> <a class="code" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">MemoryLocation</a>;</div><div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c"> 55</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">llvm::DataLayout</a> <a class="code" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">DataLayout</a>;</div><div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160;</div><div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160;<span class="comment">// LLVM Aliases and constants</span></div><div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597"> 58</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597">llvm::ConstantAggregate</a> <a class="code" href="namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597">ConstantAggregate</a>;</div><div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07"> 59</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07">llvm::ConstantAggregateZero</a> <a class="code" href="namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07">ConstantAggregateZero</a>;</div><div class="line"><a name="l00060"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9"> 60</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9">llvm::ConstantDataSequential</a> <a class="code" href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9">ConstantDataSequential</a>;</div><div class="line"><a name="l00061"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d"> 61</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">llvm::ConstantExpr</a> <a class="code" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a>;</div><div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462"> 62</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462">llvm::ConstantDataArray</a> <a class="code" href="namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462">ConstantDataArray</a>;</div><div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768"> 63</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768">llvm::ConstantData</a> <a class="code" href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768">ConstantData</a>;</div><div class="line"><a name="l00064"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e"> 64</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">llvm::ConstantArray</a> <a class="code" href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">ConstantArray</a>;</div><div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9"> 65</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9">llvm::Constant</a> <a class="code" href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9">Constant</a>;</div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160;</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160;<span class="comment">// LLVM Instructions</span></div><div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83"> 68</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">llvm::AllocaInst</a> <a class="code" href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">AllocaInst</a>;</div><div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49"> 69</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">llvm::AtomicCmpXchgInst</a> <a class="code" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">AtomicCmpXchgInst</a>;</div><div class="line"><a name="l00070"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0"> 70</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">llvm::AtomicRMWInst</a> <a class="code" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">AtomicRMWInst</a>;</div><div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d"> 71</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">llvm::BitCastInst</a> <a class="code" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">BitCastInst</a>;</div><div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f"> 72</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">llvm::BranchInst</a> <a class="code" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">BranchInst</a>;</div><div class="line"><a name="l00073"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9"> 73</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">llvm::SwitchInst</a> <a class="code" href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">SwitchInst</a>;</div><div class="line"><a name="l00074"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5"> 74</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5">llvm::CallBrInst</a> <a class="code" href="namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5">CallBrInst</a>;</div><div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154"> 75</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">llvm::ReturnInst</a> <a class="code" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">ReturnInst</a>;</div><div class="line"><a name="l00076"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827"> 76</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">llvm::CastInst</a> <a class="code" href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">CastInst</a>;</div><div class="line"><a name="l00077"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4"> 77</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">llvm::CmpInst</a> <a class="code" href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">CmpInst</a>;</div><div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986"> 78</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986">llvm::ExtractValueInst</a> <a class="code" href="namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986">ExtractValueInst</a>;</div><div class="line"><a name="l00079"></a><span class="lineno"><a class="line" href="namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356"> 79</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356">llvm::ExtractElementInst</a> <a class="code" href="namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356">ExtractElementInst</a>;</div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b"> 80</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">llvm::GetElementPtrInst</a> <a class="code" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">GetElementPtrInst</a>;</div><div class="line"><a name="l00081"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f"> 81</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">llvm::InvokeInst</a> <a class="code" href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">InvokeInst</a>;</div><div class="line"><a name="l00082"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49"> 82</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">llvm::ShuffleVectorInst</a> <a class="code" href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">ShuffleVectorInst</a>;</div><div class="line"><a name="l00083"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674"> 83</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">llvm::PHINode</a> <a class="code" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">PHINode</a>;</div><div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb"> 84</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">llvm::IntToPtrInst</a> <a class="code" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">IntToPtrInst</a>;</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24"> 85</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24">llvm::InsertValueInst</a> <a class="code" href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24">InsertValueInst</a>;</div><div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b"> 86</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b">llvm::FenceInst</a> <a class="code" href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b">FenceInst</a>;</div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88"> 87</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88">llvm::FreezeInst</a> <a class="code" href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88">FreezeInst</a>;</div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721"> 88</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721">llvm::UnreachableInst</a> <a class="code" href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721">UnreachableInst</a>;</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326"> 89</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326">llvm::InsertElementInst</a> <a class="code" href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326">InsertElementInst</a>;</div><div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71"> 90</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71">llvm::LandingPadInst</a> <a class="code" href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71">LandingPadInst</a>;</div><div class="line"><a name="l00091"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa"> 91</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">llvm::ResumeInst</a> <a class="code" href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">ResumeInst</a>;</div><div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307"> 92</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307">llvm::SelectInst</a> <a class="code" href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307">SelectInst</a>;</div><div class="line"><a name="l00093"></a><span class="lineno"><a class="line" href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4"> 93</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4">llvm::VAArgInst</a> <a class="code" href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4">VAArgInst</a>;</div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295"> 94</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">llvm::VACopyInst</a> <a class="code" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">VACopyInst</a>;</div><div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913"> 95</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">llvm::VAEndInst</a> <a class="code" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">VAEndInst</a>;</div><div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc"> 96</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">llvm::VAStartInst</a> <a class="code" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">VAStartInst</a>;</div><div class="line"><a name="l00097"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22"> 97</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">llvm::BinaryOperator</a> <a class="code" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">BinaryOperator</a>;</div><div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62"> 98</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">llvm::UnaryOperator</a> <a class="code" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">UnaryOperator</a>;</div><div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec"> 99</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">llvm::UndefValue</a> <a class="code" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">UndefValue</a>;</div><div class="line"><a name="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">// LLVM Intrinsic Instructions</span></div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 13</span></div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160;<span class="keyword">typedef</span> llvm::IntrinsicInst IntrinsicInst;</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160;<span class="keyword">typedef</span> llvm::DbgInfoIntrinsic DbgInfoIntrinsic;</div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160;<span class="keyword">typedef</span> llvm::DbgVariableIntrinsic DbgVariableIntrinsic;</div><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160;<span class="keyword">typedef</span> llvm::DbgDeclareInst DbgDeclareInst;</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160;<span class="keyword">typedef</span> llvm::DbgAddrIntrinsic DbgAddrIntrinsic;</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160;<span class="keyword">typedef</span> llvm::DbgValueInst DbgValueInst;</div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160;<span class="keyword">typedef</span> llvm::DbgLabelInst DbgLabelInst;</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160;<span class="keyword">typedef</span> llvm::VPIntrinsic VPIntrinsic;</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160;<span class="keyword">typedef</span> llvm::ConstrainedFPIntrinsic ConstrainedFPIntrinsic;</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160;<span class="keyword">typedef</span> llvm::ConstrainedFPCmpIntrinsic ConstrainedFPCmpIntrinsic;</div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160;<span class="keyword">typedef</span> llvm::MinMaxIntrinsic MinMaxIntrinsic;</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160;<span class="keyword">typedef</span> llvm::BinaryOpIntrinsic BinaryOpIntrinsic;</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160;<span class="keyword">typedef</span> llvm::WithOverflowInst WithOverflowInst;</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160;<span class="keyword">typedef</span> llvm::SaturatingInst SaturatingInst;</div><div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemIntrinsic AtomicMemIntrinsic;</div><div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemSetInst AtomicMemSetInst;</div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemTransferInst AtomicMemTransferInst;</div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemCpyInst AtomicMemCpyInst;</div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemMoveInst AtomicMemMoveInst;</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160;<span class="keyword">typedef</span> llvm::MemIntrinsic MemIntrinsic;</div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160;<span class="keyword">typedef</span> llvm::MemSetInst MemSetInst;</div><div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160;<span class="keyword">typedef</span> llvm::MemTransferInst MemTransferInst;</div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160;<span class="keyword">typedef</span> llvm::MemCpyInst MemCpyInst;</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160;<span class="keyword">typedef</span> llvm::MemMoveInst MemMoveInst;</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160;<span class="keyword">typedef</span> llvm::MemCpyInlineInst MemCpyInlineInst;</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemIntrinsic AnyMemIntrinsic;</div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemSetInst AnyMemSetInst;</div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemTransferInst AnyMemTransferInst;</div><div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemCpyInst AnyMemCpyInst;</div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemMoveInst AnyMemMoveInst;</div><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">llvm::VAStartInst</a> <a class="code" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">VAStartInst</a>;</div><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">llvm::VAEndInst</a> <a class="code" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">VAEndInst</a>;</div><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">llvm::VACopyInst</a> <a class="code" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">VACopyInst</a>;</div><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160;<span class="keyword">typedef</span> llvm::InstrProfIncrementInst InstrProfIncrementInst;</div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160;<span class="keyword">typedef</span> llvm::InstrProfIncrementInstStep InstrProfIncrementInstStep;</div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160;<span class="keyword">typedef</span> llvm::InstrProfValueProfileInst InstrProfValueProfileInst;</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160;<span class="keyword">typedef</span> llvm::PseudoProbeInst PseudoProbeInst;</div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160;<span class="keyword">typedef</span> llvm::NoAliasScopeDeclInst NoAliasScopeDeclInst;</div><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160;<span class="keyword">typedef</span> llvm::GCStatepointInst GCStatepointInst;</div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160;<span class="keyword">typedef</span> llvm::GCProjectionInst GCProjectionInst;</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160;<span class="keyword">typedef</span> llvm::GCRelocateInst GCRelocateInst;</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160;<span class="keyword">typedef</span> llvm::GCResultInst GCResultInst;</div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160;<span class="keyword">typedef</span> llvm::AssumeInst AssumeInst;</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160;</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160;<span class="comment">// LLVM Debug Information</span></div><div class="line"><a name="l00149"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632"> 149</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">llvm::DIType</a> <a class="code" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">DIType</a>;</div><div class="line"><a name="l00150"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1"> 150</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">llvm::DICompositeType</a> <a class="code" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">DICompositeType</a>;</div><div class="line"><a name="l00151"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6"> 151</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">llvm::DIDerivedType</a> <a class="code" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">DIDerivedType</a>;</div><div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321"> 152</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">llvm::DebugInfoFinder</a> <a class="code" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">DebugInfoFinder</a>;</div><div class="line"><a name="l00153"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129"> 153</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">llvm::DISubroutineType</a> <a class="code" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">DISubroutineType</a>;</div><div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278"> 154</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">llvm::DIBasicType</a> <a class="code" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">DIBasicType</a>;</div><div class="line"><a name="l00155"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6"> 155</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">llvm::DISubrange</a> <a class="code" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">DISubrange</a>;</div><div class="line"><a name="l00156"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d"> 156</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">llvm::DINode</a> <a class="code" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">DINode</a>;</div><div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003"> 157</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">llvm::DINodeArray</a> <a class="code" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">DINodeArray</a>;</div><div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc"> 158</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">llvm::DITypeRefArray</a> <a class="code" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">DITypeRefArray</a>;</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160;<span class="keyword">namespace </span>dwarf = llvm::dwarf;</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160;</div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160;<span class="comment">// Iterators.</span></div><div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b"> 162</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">llvm::inst_iterator</a> <a class="code" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">inst_iterator</a>;</div><div class="line"><a name="l00163"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b"> 163</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">llvm::gep_type_iterator</a> <a class="code" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">gep_type_iterator</a>;</div><div class="line"><a name="l00164"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc"> 164</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classllvm_1_1generic__bridge__gep__type__iterator.html">llvm::bridge_gep_iterator</a> <a class="code" href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc">bridge_gep_iterator</a>;</div><div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91"> 165</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">llvm::const_inst_iterator</a> <a class="code" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">const_inst_iterator</a>;</div><div class="line"><a name="l00166"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e"> 166</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">llvm::const_pred_iterator</a> <a class="code" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">const_pred_iterator</a>;</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160;</div><div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160;<span class="comment">// LLVM Scalar Evolution.</span></div><div class="line"><a name="l00169"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01"> 169</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">llvm::ScalarEvolutionWrapperPass</a> <a class="code" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">ScalarEvolutionWrapperPass</a>;</div><div class="line"><a name="l00170"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8"> 170</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">llvm::SCEVAddRecExpr</a> <a class="code" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">SCEVAddRecExpr</a>;</div><div class="line"><a name="l00171"></a><span class="lineno"><a class="line" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63"> 171</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">llvm::SCEVConstant</a> <a class="code" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">SCEVConstant</a>;</div><div class="line"><a name="l00172"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42"> 172</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">llvm::ScalarEvolution</a> <a class="code" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">ScalarEvolution</a>;</div><div class="line"><a name="l00173"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6"> 173</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">llvm::SCEV</a> <a class="code" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">SCEV</a>;</div><div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160;</div><div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160;<span class="comment">// LLVM Types.</span></div><div class="line"><a name="l00176"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418"> 176</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">llvm::VectorType</a> <a class="code" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">VectorType</a>;</div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160;<span class="preprocessor">#if (LLVM_VERSION_MAJOR &gt;= 9)</span></div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160;<span class="keyword">typedef</span> llvm::FunctionCallee FunctionCallee;</div><div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160;</div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160;} <span class="comment">// End namespace SVF</span></div><div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160;</div><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160;<span class="preprocessor">#endif // SVF_FE_BASIC_TYPES_H</span></div><div class="ttc" id="namespaceSVF_html_a334998718813a19a7697daf4ba282faf"><div class="ttname"><a href="namespaceSVF.html#a334998718813a19a7697daf4ba282faf">SVF::Use</a></div><div class="ttdeci">llvm::Use Use</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00032">BasicTypes.h:32</a></div></div>
72
70
  <div class="ttc" id="namespaceSVF_html_ae5853f7df76735b195ff93949ca4256b"><div class="ttname"><a href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">SVF::UnifyFunctionExitNodes</a></div><div class="ttdeci">llvm::UnifyFunctionExitNodes UnifyFunctionExitNodes</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00038">BasicTypes.h:38</a></div></div>
73
71
  <div class="ttc" id="namespaceSVF_html_a5ae718cba37d8e34d2946530dc098c8e"><div class="ttname"><a href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">SVF::ConstantArray</a></div><div class="ttdeci">llvm::ConstantArray ConstantArray</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00064">BasicTypes.h:64</a></div></div>
74
72
  <div class="ttc" id="namespaceSVF_html_a28eec26ec8edaa5e96aecfeb01f6c0d4"><div class="ttname"><a href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">SVF::MDString</a></div><div class="ttdeci">llvm::MDString MDString</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00048">BasicTypes.h:48</a></div></div>
75
- <div class="ttc" id="namespaceSVF_html_a9d3ee421789884473bfacfaa9ec007cc"><div class="ttname"><a href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">SVF::DITypeRefArray</a></div><div class="ttdeci">llvm::DITypeRefArray DITypeRefArray</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00154">BasicTypes.h:154</a></div></div>
73
+ <div class="ttc" id="namespaceSVF_html_a9d3ee421789884473bfacfaa9ec007cc"><div class="ttname"><a href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">SVF::DITypeRefArray</a></div><div class="ttdeci">llvm::DITypeRefArray DITypeRefArray</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00158">BasicTypes.h:158</a></div></div>
76
74
  <div class="ttc" id="namespaceSVF_html_a8ac6a8ff90f47a93166fbdf15be2d721"><div class="ttname"><a href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721">SVF::UnreachableInst</a></div><div class="ttdeci">llvm::UnreachableInst UnreachableInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00088">BasicTypes.h:88</a></div></div>
77
75
  <div class="ttc" id="namespaceSVF_html_afb88c4d723dd7c51bdfc7ba5893cb356"><div class="ttname"><a href="namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356">SVF::ExtractElementInst</a></div><div class="ttdeci">llvm::ExtractElementInst ExtractElementInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00079">BasicTypes.h:79</a></div></div>
78
76
  <div class="ttc" id="namespaceSVF_html_a86863d104a3930b3a806935d92ddbf30"><div class="ttname"><a href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30">SVF::SMDiagnostic</a></div><div class="ttdeci">llvm::SMDiagnostic SMDiagnostic</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00043">BasicTypes.h:43</a></div></div>
@@ -80,108 +78,70 @@ $(function() {
80
78
  <div class="ttc" id="namespaceSVF_html_a773900ea3c75022657aac1abf59fa51b"><div class="ttname"><a href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">SVF::MetadataAsValue</a></div><div class="ttdeci">llvm::MetadataAsValue MetadataAsValue</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00049">BasicTypes.h:49</a></div></div>
81
79
  <div class="ttc" id="namespaceSVF_html_aa7a770b5dd5cd0e37d06a1088f252906"><div class="ttname"><a href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">SVF::Module</a></div><div class="ttdeci">llvm::Module Module</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00041">BasicTypes.h:41</a></div></div>
82
80
  <div class="ttc" id="namespaceSVF_html_ac9a05dd7ab16e998625037aa242cd30f"><div class="ttname"><a href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">SVF::BranchInst</a></div><div class="ttdeci">llvm::BranchInst BranchInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00072">BasicTypes.h:72</a></div></div>
83
- <div class="ttc" id="namespaceSVF_html_ad8794eb3c00de3d3b5c5e43dded3fb42"><div class="ttname"><a href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">SVF::ScalarEvolution</a></div><div class="ttdeci">llvm::ScalarEvolution ScalarEvolution</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00168">BasicTypes.h:168</a></div></div>
81
+ <div class="ttc" id="namespaceSVF_html_ad8794eb3c00de3d3b5c5e43dded3fb42"><div class="ttname"><a href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">SVF::ScalarEvolution</a></div><div class="ttdeci">llvm::ScalarEvolution ScalarEvolution</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00172">BasicTypes.h:172</a></div></div>
84
82
  <div class="ttc" id="namespaceSVF_html_a292a6e8c5b4f2023b5575879c57eca62"><div class="ttname"><a href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">SVF::UnaryOperator</a></div><div class="ttdeci">llvm::UnaryOperator UnaryOperator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00098">BasicTypes.h:98</a></div></div>
85
- <div class="ttc" id="namespaceSVF_html_a032e8478a7b6a8bb0b7755c98a7bce91"><div class="ttname"><a href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">SVF::const_inst_iterator</a></div><div class="ttdeci">llvm::const_inst_iterator const_inst_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00161">BasicTypes.h:161</a></div></div>
83
+ <div class="ttc" id="namespaceSVF_html_a032e8478a7b6a8bb0b7755c98a7bce91"><div class="ttname"><a href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">SVF::const_inst_iterator</a></div><div class="ttdeci">llvm::const_inst_iterator const_inst_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00165">BasicTypes.h:165</a></div></div>
86
84
  <div class="ttc" id="namespaceSVF_html_a962e9a9044a46fc4bd2367384f6e0827"><div class="ttname"><a href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">SVF::CastInst</a></div><div class="ttdeci">llvm::CastInst CastInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00076">BasicTypes.h:76</a></div></div>
87
- <div class="ttc" id="namespaceSVF_html_a062e5cbf987400704aff9209ac4507d1"><div class="ttname"><a href="namespaceSVF.html#a062e5cbf987400704aff9209ac4507d1">SVF::MemIntrinsic</a></div><div class="ttdeci">llvm::MemIntrinsic MemIntrinsic</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00119">BasicTypes.h:119</a></div></div>
88
85
  <div class="ttc" id="namespaceSVF_html_ac226d84f86637126d17f6814632c8a90"><div class="ttname"><a href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">SVF::ModulePass</a></div><div class="ttdeci">llvm::ModulePass ModulePass</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00033">BasicTypes.h:33</a></div></div>
89
- <div class="ttc" id="namespaceSVF_html_a1eaed46fa67cf1a51e438c5f8f523418"><div class="ttname"><a href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">SVF::VectorType</a></div><div class="ttdeci">llvm::VectorType VectorType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00172">BasicTypes.h:172</a></div></div>
90
- <div class="ttc" id="namespaceSVF_html_afb24dfe2255c30310049a9bd2a9c26b9"><div class="ttname"><a href="namespaceSVF.html#afb24dfe2255c30310049a9bd2a9c26b9">SVF::AtomicMemTransferInst</a></div><div class="ttdeci">llvm::AtomicMemTransferInst AtomicMemTransferInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00116">BasicTypes.h:116</a></div></div>
86
+ <div class="ttc" id="namespaceSVF_html_a1eaed46fa67cf1a51e438c5f8f523418"><div class="ttname"><a href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">SVF::VectorType</a></div><div class="ttdeci">llvm::VectorType VectorType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00176">BasicTypes.h:176</a></div></div>
91
87
  <div class="ttc" id="namespaceSVF_html_a8c685f6bff3a67bf7fe3557dbfa84caa"><div class="ttname"><a href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">SVF::ResumeInst</a></div><div class="ttdeci">llvm::ResumeInst ResumeInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00091">BasicTypes.h:91</a></div></div>
92
- <div class="ttc" id="namespaceSVF_html_a0ea8b301ceeb6ab13d781878029a6403"><div class="ttname"><a href="namespaceSVF.html#a0ea8b301ceeb6ab13d781878029a6403">SVF::VPIntrinsic</a></div><div class="ttdeci">llvm::VPIntrinsic VPIntrinsic</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00107">BasicTypes.h:107</a></div></div>
93
- <div class="ttc" id="namespaceSVF_html_a9f1aca0384166e42d14e2608009ebc01"><div class="ttname"><a href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">SVF::ScalarEvolutionWrapperPass</a></div><div class="ttdeci">llvm::ScalarEvolutionWrapperPass ScalarEvolutionWrapperPass</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00165">BasicTypes.h:165</a></div></div>
94
- <div class="ttc" id="namespaceSVF_html_a97b6f3c33f30ba9b01e3ec5d91c5e6b5"><div class="ttname"><a href="namespaceSVF.html#a97b6f3c33f30ba9b01e3ec5d91c5e6b5">SVF::DbgAddrIntrinsic</a></div><div class="ttdeci">llvm::DbgAddrIntrinsic DbgAddrIntrinsic</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00104">BasicTypes.h:104</a></div></div>
88
+ <div class="ttc" id="namespaceSVF_html_a9f1aca0384166e42d14e2608009ebc01"><div class="ttname"><a href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">SVF::ScalarEvolutionWrapperPass</a></div><div class="ttdeci">llvm::ScalarEvolutionWrapperPass ScalarEvolutionWrapperPass</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00169">BasicTypes.h:169</a></div></div>
95
89
  <div class="ttc" id="namespaceSVF_html_a339bbddac9d9dffd5ef602200d34c403"><div class="ttname"><a href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">SVF::MemoryLocation</a></div><div class="ttdeci">llvm::MemoryLocation MemoryLocation</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00054">BasicTypes.h:54</a></div></div>
96
- <div class="ttc" id="namespaceSVF_html_ae0b0c09f22fa87d94d7671a941851726"><div class="ttname"><a href="namespaceSVF.html#ae0b0c09f22fa87d94d7671a941851726">SVF::GCResultInst</a></div><div class="ttdeci">llvm::GCResultInst GCResultInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00141">BasicTypes.h:141</a></div></div>
97
90
  <div class="ttc" id="namespaceSVF_html_ac8d4990439af7a2ecca7e15383119674"><div class="ttname"><a href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">SVF::PHINode</a></div><div class="ttdeci">llvm::PHINode PHINode</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00083">BasicTypes.h:83</a></div></div>
98
91
  <div class="ttc" id="namespaceSVF_html_aad5d26ab07a5d1314bdb8f54e0fcdb22"><div class="ttname"><a href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">SVF::BinaryOperator</a></div><div class="ttdeci">llvm::BinaryOperator BinaryOperator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00097">BasicTypes.h:97</a></div></div>
99
92
  <div class="ttc" id="namespaceSVF_html_a6b857824fb3c39ff6de953651260a326"><div class="ttname"><a href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326">SVF::InsertElementInst</a></div><div class="ttdeci">llvm::InsertElementInst InsertElementInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00089">BasicTypes.h:89</a></div></div>
100
- <div class="ttc" id="namespaceSVF_html_a4f7c400fbf2fa03db8cf61cb9a7dd3e8"><div class="ttname"><a href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">SVF::SCEVAddRecExpr</a></div><div class="ttdeci">llvm::SCEVAddRecExpr SCEVAddRecExpr</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00166">BasicTypes.h:166</a></div></div>
93
+ <div class="ttc" id="namespaceSVF_html_a4f7c400fbf2fa03db8cf61cb9a7dd3e8"><div class="ttname"><a href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">SVF::SCEVAddRecExpr</a></div><div class="ttdeci">llvm::SCEVAddRecExpr SCEVAddRecExpr</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00170">BasicTypes.h:170</a></div></div>
101
94
  <div class="ttc" id="namespaceSVF_html_ac6b6710585fc6667858ccfd4311b6ab5"><div class="ttname"><a href="namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5">SVF::CallBrInst</a></div><div class="ttdeci">llvm::CallBrInst CallBrInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00074">BasicTypes.h:74</a></div></div>
102
95
  <div class="ttc" id="namespaceSVF_html_a07578c424e9d3c07a54e65404a0a6abb"><div class="ttname"><a href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">SVF::IntToPtrInst</a></div><div class="ttdeci">llvm::IntToPtrInst IntToPtrInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00084">BasicTypes.h:84</a></div></div>
103
- <div class="ttc" id="namespaceSVF_html_aec83b8f2ca21f98734188f8db3aa99aa"><div class="ttname"><a href="namespaceSVF.html#aec83b8f2ca21f98734188f8db3aa99aa">SVF::AnyMemMoveInst</a></div><div class="ttdeci">llvm::AnyMemMoveInst AnyMemMoveInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00129">BasicTypes.h:129</a></div></div>
104
- <div class="ttc" id="namespaceSVF_html_af805291f579df47e55ef17f4bc966894"><div class="ttname"><a href="namespaceSVF.html#af805291f579df47e55ef17f4bc966894">SVF::AnyMemSetInst</a></div><div class="ttdeci">llvm::AnyMemSetInst AnyMemSetInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00126">BasicTypes.h:126</a></div></div>
105
96
  <div class="ttc" id="namespaceSVF_html_a485b10fc29e76fdb6f31a56ebbde8f24"><div class="ttname"><a href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24">SVF::InsertValueInst</a></div><div class="ttdeci">llvm::InsertValueInst InsertValueInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00085">BasicTypes.h:85</a></div></div>
106
97
  <div class="ttc" id="namespaceSVF_html_a8b30cfb9315dda33907175da4db63a07"><div class="ttname"><a href="namespaceSVF.html#a8b30cfb9315dda33907175da4db63a07">SVF::ConstantAggregateZero</a></div><div class="ttdeci">llvm::ConstantAggregateZero ConstantAggregateZero</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00059">BasicTypes.h:59</a></div></div>
107
- <div class="ttc" id="namespaceSVF_html_aded9b991c77acc5284ccead0739e84f1"><div class="ttname"><a href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">SVF::DICompositeType</a></div><div class="ttdeci">llvm::DICompositeType DICompositeType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00146">BasicTypes.h:146</a></div></div>
108
- <div class="ttc" id="namespaceSVF_html_a792b184a7ef4ea203fdf644f5608f838"><div class="ttname"><a href="namespaceSVF.html#a792b184a7ef4ea203fdf644f5608f838">SVF::MemTransferInst</a></div><div class="ttdeci">llvm::MemTransferInst MemTransferInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00121">BasicTypes.h:121</a></div></div>
109
- <div class="ttc" id="namespaceSVF_html_ac4d0b7e1b0332ac5335cc98669a3de0a"><div class="ttname"><a href="namespaceSVF.html#ac4d0b7e1b0332ac5335cc98669a3de0a">SVF::GCRelocateInst</a></div><div class="ttdeci">llvm::GCRelocateInst GCRelocateInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00140">BasicTypes.h:140</a></div></div>
98
+ <div class="ttc" id="namespaceSVF_html_aded9b991c77acc5284ccead0739e84f1"><div class="ttname"><a href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">SVF::DICompositeType</a></div><div class="ttdeci">llvm::DICompositeType DICompositeType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00150">BasicTypes.h:150</a></div></div>
110
99
  <div class="ttc" id="namespaceSVF_html_af157dc77830b6cc804338df7430cbbb3"><div class="ttname"><a href="namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3">SVF::GlobalObject</a></div><div class="ttdeci">llvm::GlobalObject GlobalObject</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00031">BasicTypes.h:31</a></div></div>
111
- <div class="ttc" id="namespaceSVF_html_a32392667c0d47b88b4e1563da27be587"><div class="ttname"><a href="namespaceSVF.html#a32392667c0d47b88b4e1563da27be587">SVF::DbgLabelInst</a></div><div class="ttdeci">llvm::DbgLabelInst DbgLabelInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00106">BasicTypes.h:106</a></div></div>
112
- <div class="ttc" id="namespaceSVF_html_a16b872ede7813d24169143f091ac34a3"><div class="ttname"><a href="namespaceSVF.html#a16b872ede7813d24169143f091ac34a3">SVF::AtomicMemSetInst</a></div><div class="ttdeci">llvm::AtomicMemSetInst AtomicMemSetInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00115">BasicTypes.h:115</a></div></div>
113
- <div class="ttc" id="namespaceSVF_html_a5698b95e3f2bfb6220cca202145c79ce"><div class="ttname"><a href="namespaceSVF.html#a5698b95e3f2bfb6220cca202145c79ce">SVF::DbgVariableIntrinsic</a></div><div class="ttdeci">llvm::DbgVariableIntrinsic DbgVariableIntrinsic</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00102">BasicTypes.h:102</a></div></div>
114
- <div class="ttc" id="namespaceSVF_html_acf966c15a74110cfa1e5fffe869187b0"><div class="ttname"><a href="namespaceSVF.html#acf966c15a74110cfa1e5fffe869187b0">SVF::AtomicMemCpyInst</a></div><div class="ttdeci">llvm::AtomicMemCpyInst AtomicMemCpyInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00117">BasicTypes.h:117</a></div></div>
115
100
  <div class="ttc" id="namespaceSVF_html_ac7dcc6103dee3a0bbc2fd2e02716a154"><div class="ttname"><a href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">SVF::ReturnInst</a></div><div class="ttdeci">llvm::ReturnInst ReturnInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00075">BasicTypes.h:75</a></div></div>
116
- <div class="ttc" id="namespaceSVF_html_a090e0791e8c200104ed3ab6bab157129"><div class="ttname"><a href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">SVF::DISubroutineType</a></div><div class="ttdeci">llvm::DISubroutineType DISubroutineType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00149">BasicTypes.h:149</a></div></div>
117
- <div class="ttc" id="namespaceSVF_html_aa1e6a12c2189520f5f92bd466f51dcde"><div class="ttname"><a href="namespaceSVF.html#aa1e6a12c2189520f5f92bd466f51dcde">SVF::PseudoProbeInst</a></div><div class="ttdeci">llvm::PseudoProbeInst PseudoProbeInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00136">BasicTypes.h:136</a></div></div>
101
+ <div class="ttc" id="namespaceSVF_html_a090e0791e8c200104ed3ab6bab157129"><div class="ttname"><a href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">SVF::DISubroutineType</a></div><div class="ttdeci">llvm::DISubroutineType DISubroutineType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00153">BasicTypes.h:153</a></div></div>
118
102
  <div class="ttc" id="namespaceSVF_html_ab7fac9d4a4839be445c89777e21bc307"><div class="ttname"><a href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307">SVF::SelectInst</a></div><div class="ttdeci">llvm::SelectInst SelectInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00092">BasicTypes.h:92</a></div></div>
119
- <div class="ttc" id="namespaceSVF_html_ac43dd719ccad81d77e6773b4d957e52a"><div class="ttname"><a href="namespaceSVF.html#ac43dd719ccad81d77e6773b4d957e52a">SVF::MemCpyInlineInst</a></div><div class="ttdeci">llvm::MemCpyInlineInst MemCpyInlineInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00124">BasicTypes.h:124</a></div></div>
120
103
  <div class="ttc" id="namespaceSVF_html_a52c8654c221bb53a59f70ea3cb1e5c45"><div class="ttname"><a href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">SVF::StructLayout</a></div><div class="ttdeci">llvm::StructLayout StructLayout</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00052">BasicTypes.h:52</a></div></div>
121
104
  <div class="ttc" id="namespaceSVF_html_a582e3736a2bbb0540364c1693d831b49"><div class="ttname"><a href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">SVF::AtomicCmpXchgInst</a></div><div class="ttdeci">llvm::AtomicCmpXchgInst AtomicCmpXchgInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00069">BasicTypes.h:69</a></div></div>
122
- <div class="ttc" id="namespaceSVF_html_a0f825e73d115173b05ca54fb8ec65003"><div class="ttname"><a href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">SVF::DINodeArray</a></div><div class="ttdeci">llvm::DINodeArray DINodeArray</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00153">BasicTypes.h:153</a></div></div>
105
+ <div class="ttc" id="namespaceSVF_html_a0f825e73d115173b05ca54fb8ec65003"><div class="ttname"><a href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">SVF::DINodeArray</a></div><div class="ttdeci">llvm::DINodeArray DINodeArray</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00157">BasicTypes.h:157</a></div></div>
123
106
  <div class="ttc" id="namespaceSVF_html_a7cbe1c6567039e72958fd70e423d3597"><div class="ttname"><a href="namespaceSVF.html#a7cbe1c6567039e72958fd70e423d3597">SVF::ConstantAggregate</a></div><div class="ttdeci">llvm::ConstantAggregate ConstantAggregate</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00058">BasicTypes.h:58</a></div></div>
124
- <div class="ttc" id="namespaceSVF_html_a852e75c562139237fcc754c7461533e6"><div class="ttname"><a href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">SVF::DIDerivedType</a></div><div class="ttdeci">llvm::DIDerivedType DIDerivedType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00147">BasicTypes.h:147</a></div></div>
107
+ <div class="ttc" id="namespaceSVF_html_a852e75c562139237fcc754c7461533e6"><div class="ttname"><a href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">SVF::DIDerivedType</a></div><div class="ttdeci">llvm::DIDerivedType DIDerivedType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00151">BasicTypes.h:151</a></div></div>
125
108
  <div class="ttc" id="namespaceSVF_html_a7332f8059ea95472dcc231de884a5768"><div class="ttname"><a href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768">SVF::ConstantData</a></div><div class="ttdeci">llvm::ConstantData ConstantData</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00063">BasicTypes.h:63</a></div></div>
126
109
  <div class="ttc" id="namespaceSVF_html_ad9ebd847ed5d901cd30b1cfcdaec3462"><div class="ttname"><a href="namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462">SVF::ConstantDataArray</a></div><div class="ttdeci">llvm::ConstantDataArray ConstantDataArray</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00062">BasicTypes.h:62</a></div></div>
127
110
  <div class="ttc" id="namespaceSVF_html_af4912ad47e19060e53b665f73e0ee6ec"><div class="ttname"><a href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">SVF::UndefValue</a></div><div class="ttdeci">llvm::UndefValue UndefValue</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00099">BasicTypes.h:99</a></div></div>
128
- <div class="ttc" id="namespaceSVF_html_aff2da2ed0d7c413dcb014141f0b750f1"><div class="ttname"><a href="namespaceSVF.html#aff2da2ed0d7c413dcb014141f0b750f1">SVF::BinaryOpIntrinsic</a></div><div class="ttdeci">llvm::BinaryOpIntrinsic BinaryOpIntrinsic</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00111">BasicTypes.h:111</a></div></div>
129
- <div class="ttc" id="namespaceSVF_html_a232f8b3ca0d5f43d2d8729c254685768"><div class="ttname"><a href="namespaceSVF.html#a232f8b3ca0d5f43d2d8729c254685768">SVF::AnyMemTransferInst</a></div><div class="ttdeci">llvm::AnyMemTransferInst AnyMemTransferInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00127">BasicTypes.h:127</a></div></div>
130
- <div class="ttc" id="namespaceSVF_html_aa6ea2efcc92d5a96b71f37d41abb0482"><div class="ttname"><a href="namespaceSVF.html#aa6ea2efcc92d5a96b71f37d41abb0482">SVF::DbgValueInst</a></div><div class="ttdeci">llvm::DbgValueInst DbgValueInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00105">BasicTypes.h:105</a></div></div>
131
111
  <div class="ttc" id="namespaceSVF_html_a3bacb4f95c73e6d794901d01c6b65a83"><div class="ttname"><a href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">SVF::AllocaInst</a></div><div class="ttdeci">llvm::AllocaInst AllocaInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00068">BasicTypes.h:68</a></div></div>
132
112
  <div class="ttc" id="namespaceSVF_html_a956458a8554bf734db1194f320fd4b4c"><div class="ttname"><a href="namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c">SVF::BlockAddress</a></div><div class="ttdeci">llvm::BlockAddress BlockAddress</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00045">BasicTypes.h:45</a></div></div>
133
- <div class="ttc" id="namespaceSVF_html_a758f3bee97ed46a719d64a2d4f2bc62d"><div class="ttname"><a href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">SVF::DINode</a></div><div class="ttdeci">llvm::DINode DINode</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00152">BasicTypes.h:152</a></div></div>
113
+ <div class="ttc" id="namespaceSVF_html_a758f3bee97ed46a719d64a2d4f2bc62d"><div class="ttname"><a href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">SVF::DINode</a></div><div class="ttdeci">llvm::DINode DINode</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00156">BasicTypes.h:156</a></div></div>
134
114
  <div class="ttc" id="namespaceSVF_html_a61f0d928e58d4f7e21616f770ae1080b"><div class="ttname"><a href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b">SVF::FenceInst</a></div><div class="ttdeci">llvm::FenceInst FenceInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00086">BasicTypes.h:86</a></div></div>
135
115
  <div class="ttc" id="namespaceSVF_html_ad92e392a50e7c6c1f635fe2dcebd1adc"><div class="ttname"><a href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">SVF::VAStartInst</a></div><div class="ttdeci">llvm::VAStartInst VAStartInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00096">BasicTypes.h:96</a></div></div>
136
- <div class="ttc" id="namespaceSVF_html_ac2f24d976e62d802aa1769924ff38bf2"><div class="ttname"><a href="namespaceSVF.html#ac2f24d976e62d802aa1769924ff38bf2">SVF::GCStatepointInst</a></div><div class="ttdeci">llvm::GCStatepointInst GCStatepointInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00138">BasicTypes.h:138</a></div></div>
137
116
  <div class="ttc" id="namespaceSVF_html_a94824519e439aeef1568d415b6f7331c"><div class="ttname"><a href="namespaceSVF.html#a94824519e439aeef1568d415b6f7331c">SVF::IRBuilder</a></div><div class="ttdeci">llvm::IRBuilder IRBuilder</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00034">BasicTypes.h:34</a></div></div>
138
117
  <div class="ttc" id="namespaceSVF_html_ac4e93e1fec646ff222940a663843921b"><div class="ttname"><a href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">SVF::GetElementPtrInst</a></div><div class="ttdeci">llvm::GetElementPtrInst GetElementPtrInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00080">BasicTypes.h:80</a></div></div>
139
- <div class="ttc" id="namespaceSVF_html_aac5262378e41a3414a20cc9a41d4adc6"><div class="ttname"><a href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">SVF::SCEV</a></div><div class="ttdeci">llvm::SCEV SCEV</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00169">BasicTypes.h:169</a></div></div>
140
- <div class="ttc" id="namespaceSVF_html_a5c943191dc4e242704943e5f594ae99e"><div class="ttname"><a href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">SVF::const_pred_iterator</a></div><div class="ttdeci">llvm::const_pred_iterator const_pred_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00162">BasicTypes.h:162</a></div></div>
141
- <div class="ttc" id="namespaceSVF_html_a5ae98f122c64b0114df2e5861b341321"><div class="ttname"><a href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">SVF::DebugInfoFinder</a></div><div class="ttdeci">llvm::DebugInfoFinder DebugInfoFinder</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00148">BasicTypes.h:148</a></div></div>
118
+ <div class="ttc" id="namespaceSVF_html_aac5262378e41a3414a20cc9a41d4adc6"><div class="ttname"><a href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">SVF::SCEV</a></div><div class="ttdeci">llvm::SCEV SCEV</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00173">BasicTypes.h:173</a></div></div>
119
+ <div class="ttc" id="namespaceSVF_html_a5c943191dc4e242704943e5f594ae99e"><div class="ttname"><a href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">SVF::const_pred_iterator</a></div><div class="ttdeci">llvm::const_pred_iterator const_pred_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00166">BasicTypes.h:166</a></div></div>
120
+ <div class="ttc" id="namespaceSVF_html_a5ae98f122c64b0114df2e5861b341321"><div class="ttname"><a href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">SVF::DebugInfoFinder</a></div><div class="ttdeci">llvm::DebugInfoFinder DebugInfoFinder</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00152">BasicTypes.h:152</a></div></div>
142
121
  <div class="ttc" id="namespaceSVF_html_a7e230c0cba2e3a7c2e5a5f2ee7d88af9"><div class="ttname"><a href="namespaceSVF.html#a7e230c0cba2e3a7c2e5a5f2ee7d88af9">SVF::Constant</a></div><div class="ttdeci">llvm::Constant Constant</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
143
122
  <div class="ttc" id="namespaceSVF_html_afc50da46a6ea7c2cf61683bbec4d7c8d"><div class="ttname"><a href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">SVF::BitCastInst</a></div><div class="ttdeci">llvm::BitCastInst BitCastInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00071">BasicTypes.h:71</a></div></div>
144
- <div class="ttc" id="namespaceSVF_html_a8d8a3708b1bed772fe4ad50f7ba544bf"><div class="ttname"><a href="namespaceSVF.html#a8d8a3708b1bed772fe4ad50f7ba544bf">SVF::MinMaxIntrinsic</a></div><div class="ttdeci">llvm::MinMaxIntrinsic MinMaxIntrinsic</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00110">BasicTypes.h:110</a></div></div>
145
123
  <div class="ttc" id="namespaceSVF_html_a56cb9d6d1e05f6c31bfe1a4045bc8b5f"><div class="ttname"><a href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">SVF::InvokeInst</a></div><div class="ttdeci">llvm::InvokeInst InvokeInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00081">BasicTypes.h:81</a></div></div>
146
124
  <div class="ttc" id="GEPTypeBridgeIterator_8h_html"><div class="ttname"><a href="GEPTypeBridgeIterator_8h.html">GEPTypeBridgeIterator.h</a></div></div>
147
- <div class="ttc" id="namespaceSVF_html_a88ecc1591c6e8e6671ddb5774b954aa6"><div class="ttname"><a href="namespaceSVF.html#a88ecc1591c6e8e6671ddb5774b954aa6">SVF::AtomicMemMoveInst</a></div><div class="ttdeci">llvm::AtomicMemMoveInst AtomicMemMoveInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00118">BasicTypes.h:118</a></div></div>
148
- <div class="ttc" id="namespaceSVF_html_a50f4510bce9a49b48530b3da9abb542b"><div class="ttname"><a href="namespaceSVF.html#a50f4510bce9a49b48530b3da9abb542b">SVF::AtomicMemIntrinsic</a></div><div class="ttdeci">llvm::AtomicMemIntrinsic AtomicMemIntrinsic</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00114">BasicTypes.h:114</a></div></div>
149
125
  <div class="ttc" id="namespaceSVF_html_a412280b134578905248ce0122c5db7c9"><div class="ttname"><a href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">SVF::SwitchInst</a></div><div class="ttdeci">llvm::SwitchInst SwitchInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00073">BasicTypes.h:73</a></div></div>
150
126
  <div class="ttc" id="namespaceSVF_html_affba423b674a0aba723e33101826e297"><div class="ttname"><a href="namespaceSVF.html#affba423b674a0aba723e33101826e297">SVF::LLVMContext</a></div><div class="ttdeci">llvm::LLVMContext LLVMContext</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00030">BasicTypes.h:30</a></div></div>
151
- <div class="ttc" id="namespaceSVF_html_abe745006fa40399d8a13613a3e0dfc63"><div class="ttname"><a href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">SVF::SCEVConstant</a></div><div class="ttdeci">llvm::SCEVConstant SCEVConstant</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00167">BasicTypes.h:167</a></div></div>
152
- <div class="ttc" id="namespaceSVF_html_a373d9c3194e0b4d92ec12d792854eb87"><div class="ttname"><a href="namespaceSVF.html#a373d9c3194e0b4d92ec12d792854eb87">SVF::ConstrainedFPIntrinsic</a></div><div class="ttdeci">llvm::ConstrainedFPIntrinsic ConstrainedFPIntrinsic</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00108">BasicTypes.h:108</a></div></div>
127
+ <div class="ttc" id="namespaceSVF_html_abe745006fa40399d8a13613a3e0dfc63"><div class="ttname"><a href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">SVF::SCEVConstant</a></div><div class="ttdeci">llvm::SCEVConstant SCEVConstant</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00171">BasicTypes.h:171</a></div></div>
153
128
  <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>
154
- <div class="ttc" id="namespaceSVF_html_ada0513be7e25325325ccc9183aeca278"><div class="ttname"><a href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">SVF::DIBasicType</a></div><div class="ttdeci">llvm::DIBasicType DIBasicType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00150">BasicTypes.h:150</a></div></div>
155
- <div class="ttc" id="namespaceSVF_html_a2f7d8bb0a9f60fe855dd82e7b1a6a090"><div class="ttname"><a href="namespaceSVF.html#a2f7d8bb0a9f60fe855dd82e7b1a6a090">SVF::NoAliasScopeDeclInst</a></div><div class="ttdeci">llvm::NoAliasScopeDeclInst NoAliasScopeDeclInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00137">BasicTypes.h:137</a></div></div>
129
+ <div class="ttc" id="namespaceSVF_html_ada0513be7e25325325ccc9183aeca278"><div class="ttname"><a href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">SVF::DIBasicType</a></div><div class="ttdeci">llvm::DIBasicType DIBasicType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00154">BasicTypes.h:154</a></div></div>
156
130
  <div class="ttc" id="namespaceSVF_html_a64e69f438b8c302c4cae27735319fa49"><div class="ttname"><a href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">SVF::ShuffleVectorInst</a></div><div class="ttdeci">llvm::ShuffleVectorInst ShuffleVectorInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00082">BasicTypes.h:82</a></div></div>
157
- <div class="ttc" id="namespaceSVF_html_aa508c087703240dad69a9827e85ebd0b"><div class="ttname"><a href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">SVF::gep_type_iterator</a></div><div class="ttdeci">llvm::gep_type_iterator gep_type_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00159">BasicTypes.h:159</a></div></div>
158
- <div class="ttc" id="namespaceSVF_html_a77a55960401110383dde69324277f67a"><div class="ttname"><a href="namespaceSVF.html#a77a55960401110383dde69324277f67a">SVF::WithOverflowInst</a></div><div class="ttdeci">llvm::WithOverflowInst WithOverflowInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00112">BasicTypes.h:112</a></div></div>
159
- <div class="ttc" id="namespaceSVF_html_a3b6e84470681a9f731a81e8cf54680cc"><div class="ttname"><a href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc">SVF::bridge_gep_iterator</a></div><div class="ttdeci">llvm::bridge_gep_iterator bridge_gep_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00160">BasicTypes.h:160</a></div></div>
131
+ <div class="ttc" id="namespaceSVF_html_aa508c087703240dad69a9827e85ebd0b"><div class="ttname"><a href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">SVF::gep_type_iterator</a></div><div class="ttdeci">llvm::gep_type_iterator gep_type_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00163">BasicTypes.h:163</a></div></div>
132
+ <div class="ttc" id="namespaceSVF_html_a3b6e84470681a9f731a81e8cf54680cc"><div class="ttname"><a href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc">SVF::bridge_gep_iterator</a></div><div class="ttdeci">llvm::bridge_gep_iterator bridge_gep_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00164">BasicTypes.h:164</a></div></div>
160
133
  <div class="ttc" id="namespaceSVF_html_a8ad3aa124fabddc2fdd07c50403d70a9"><div class="ttname"><a href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9">SVF::ConstantDataSequential</a></div><div class="ttdeci">llvm::ConstantDataSequential ConstantDataSequential</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00060">BasicTypes.h:60</a></div></div>
161
- <div class="ttc" id="namespaceSVF_html_a99bc1228f07429855c81a720be862dc6"><div class="ttname"><a href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">SVF::DISubrange</a></div><div class="ttdeci">llvm::DISubrange DISubrange</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00151">BasicTypes.h:151</a></div></div>
134
+ <div class="ttc" id="namespaceSVF_html_a99bc1228f07429855c81a720be862dc6"><div class="ttname"><a href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">SVF::DISubrange</a></div><div class="ttdeci">llvm::DISubrange DISubrange</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00155">BasicTypes.h:155</a></div></div>
162
135
  <div class="ttc" id="namespaceSVF_html_ace1fd4c32134018e2f6d5da193524986"><div class="ttname"><a href="namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986">SVF::ExtractValueInst</a></div><div class="ttdeci">llvm::ExtractValueInst ExtractValueInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
163
- <div class="ttc" id="namespaceSVF_html_abd54de67b4f9f27583560e341cd68958"><div class="ttname"><a href="namespaceSVF.html#abd54de67b4f9f27583560e341cd68958">SVF::AssumeInst</a></div><div class="ttdeci">llvm::AssumeInst AssumeInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00142">BasicTypes.h:142</a></div></div>
164
136
  <div class="ttc" id="namespaceSVF_html_adb305e32f35af19b870b07711ba5b913"><div class="ttname"><a href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">SVF::VAEndInst</a></div><div class="ttdeci">llvm::VAEndInst VAEndInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
165
- <div class="ttc" id="namespaceSVF_html_a3c102dae4e7eb1cd6604ed9944b43e97"><div class="ttname"><a href="namespaceSVF.html#a3c102dae4e7eb1cd6604ed9944b43e97">SVF::MemMoveInst</a></div><div class="ttdeci">llvm::MemMoveInst MemMoveInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00123">BasicTypes.h:123</a></div></div>
166
137
  <div class="ttc" id="namespaceSVF_html_afa513a3c76371907221ee2b1ef289c71"><div class="ttname"><a href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71">SVF::LandingPadInst</a></div><div class="ttdeci">llvm::LandingPadInst LandingPadInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00090">BasicTypes.h:90</a></div></div>
167
- <div class="ttc" id="namespaceSVF_html_aa567358f0c0c3a6363b41ba6d37dc90c"><div class="ttname"><a href="namespaceSVF.html#aa567358f0c0c3a6363b41ba6d37dc90c">SVF::GCProjectionInst</a></div><div class="ttdeci">llvm::GCProjectionInst GCProjectionInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00139">BasicTypes.h:139</a></div></div>
168
138
  <div class="ttc" id="namespaceSVF_html_a9868a60a9cc7b78965a23b5034100f88"><div class="ttname"><a href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88">SVF::FreezeInst</a></div><div class="ttdeci">llvm::FreezeInst FreezeInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00087">BasicTypes.h:87</a></div></div>
169
139
  <div class="ttc" id="namespaceSVF_html_a2b28f48dde0a9a91d251e654ce1f9477"><div class="ttname"><a href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">SVF::ConstantStruct</a></div><div class="ttdeci">llvm::ConstantStruct ConstantStruct</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00053">BasicTypes.h:53</a></div></div>
170
140
  <div class="ttc" id="namespaceSVF_html_a911dbaab38cb42deb9c195c7f687853d"><div class="ttname"><a href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">SVF::ConstantExpr</a></div><div class="ttdeci">llvm::ConstantExpr ConstantExpr</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00061">BasicTypes.h:61</a></div></div>
171
- <div class="ttc" id="namespaceSVF_html_a98310cccad527f8151328f2c87b29563"><div class="ttname"><a href="namespaceSVF.html#a98310cccad527f8151328f2c87b29563">SVF::DbgInfoIntrinsic</a></div><div class="ttdeci">llvm::DbgInfoIntrinsic DbgInfoIntrinsic</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00101">BasicTypes.h:101</a></div></div>
172
- <div class="ttc" id="namespaceSVF_html_a7b1ab6ca15d368bd378d4123c9f75451"><div class="ttname"><a href="namespaceSVF.html#a7b1ab6ca15d368bd378d4123c9f75451">SVF::MemCpyInst</a></div><div class="ttdeci">llvm::MemCpyInst MemCpyInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00122">BasicTypes.h:122</a></div></div>
173
- <div class="ttc" id="namespaceSVF_html_a3aeeba6da229f0a73fd306c9f0063ae7"><div class="ttname"><a href="namespaceSVF.html#a3aeeba6da229f0a73fd306c9f0063ae7">SVF::MemSetInst</a></div><div class="ttdeci">llvm::MemSetInst MemSetInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00120">BasicTypes.h:120</a></div></div>
174
- <div class="ttc" id="namespaceSVF_html_acf50d678027c80ae12071cddf4bc1683"><div class="ttname"><a href="namespaceSVF.html#acf50d678027c80ae12071cddf4bc1683">SVF::InstrProfIncrementInstStep</a></div><div class="ttdeci">llvm::InstrProfIncrementInstStep InstrProfIncrementInstStep</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00134">BasicTypes.h:134</a></div></div>
175
- <div class="ttc" id="namespaceSVF_html_ad1dff7fa24ef579c1392a3cd4712b1ee"><div class="ttname"><a href="namespaceSVF.html#ad1dff7fa24ef579c1392a3cd4712b1ee">SVF::SaturatingInst</a></div><div class="ttdeci">llvm::SaturatingInst SaturatingInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00113">BasicTypes.h:113</a></div></div>
176
141
  <div class="ttc" id="namespaceSVF_html_a03db82b8a7914367024723dba4d6ca3c"><div class="ttname"><a href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">SVF::DataLayout</a></div><div class="ttdeci">llvm::DataLayout DataLayout</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00055">BasicTypes.h:55</a></div></div>
177
- <div class="ttc" id="namespaceSVF_html_a01c39e0b75e02ca0823291cc0aab751f"><div class="ttname"><a href="namespaceSVF.html#a01c39e0b75e02ca0823291cc0aab751f">SVF::ConstrainedFPCmpIntrinsic</a></div><div class="ttdeci">llvm::ConstrainedFPCmpIntrinsic ConstrainedFPCmpIntrinsic</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00109">BasicTypes.h:109</a></div></div>
178
- <div class="ttc" id="namespaceSVF_html_a255af6ff30782cb9a548feadb0fe7d6b"><div class="ttname"><a href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">SVF::inst_iterator</a></div><div class="ttdeci">llvm::inst_iterator inst_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00158">BasicTypes.h:158</a></div></div>
179
- <div class="ttc" id="namespaceSVF_html_a52a9bff350f21692eae3b519030c314d"><div class="ttname"><a href="namespaceSVF.html#a52a9bff350f21692eae3b519030c314d">SVF::DbgDeclareInst</a></div><div class="ttdeci">llvm::DbgDeclareInst DbgDeclareInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00103">BasicTypes.h:103</a></div></div>
180
- <div class="ttc" id="namespaceSVF_html_adbb4d9eeed7e5a08892cfdf71caba1d8"><div class="ttname"><a href="namespaceSVF.html#adbb4d9eeed7e5a08892cfdf71caba1d8">SVF::AnyMemCpyInst</a></div><div class="ttdeci">llvm::AnyMemCpyInst AnyMemCpyInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00128">BasicTypes.h:128</a></div></div>
181
- <div class="ttc" id="namespaceSVF_html_a5510b21608b9780bafe8da04032c52db"><div class="ttname"><a href="namespaceSVF.html#a5510b21608b9780bafe8da04032c52db">SVF::InstrProfValueProfileInst</a></div><div class="ttdeci">llvm::InstrProfValueProfileInst InstrProfValueProfileInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00135">BasicTypes.h:135</a></div></div>
182
- <div class="ttc" id="namespaceSVF_html_ad127b0ad478640ede3d426e3a58d2632"><div class="ttname"><a href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">SVF::DIType</a></div><div class="ttdeci">llvm::DIType DIType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00145">BasicTypes.h:145</a></div></div>
142
+ <div class="ttc" id="namespaceSVF_html_a255af6ff30782cb9a548feadb0fe7d6b"><div class="ttname"><a href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">SVF::inst_iterator</a></div><div class="ttdeci">llvm::inst_iterator inst_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00162">BasicTypes.h:162</a></div></div>
143
+ <div class="ttc" id="namespaceSVF_html_ad127b0ad478640ede3d426e3a58d2632"><div class="ttname"><a href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">SVF::DIType</a></div><div class="ttdeci">llvm::DIType DIType</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00149">BasicTypes.h:149</a></div></div>
183
144
  <div class="ttc" id="namespaceSVF_html_abcafc32093ff5ee038b5fcf6e4076ed4"><div class="ttname"><a href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4">SVF::VAArgInst</a></div><div class="ttdeci">llvm::VAArgInst VAArgInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00093">BasicTypes.h:93</a></div></div>
184
- <div class="ttc" id="namespaceSVF_html_aebc2e2c17087bc2f00fd707f56c40795"><div class="ttname"><a href="namespaceSVF.html#aebc2e2c17087bc2f00fd707f56c40795">SVF::InstrProfIncrementInst</a></div><div class="ttdeci">llvm::InstrProfIncrementInst InstrProfIncrementInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00133">BasicTypes.h:133</a></div></div>
185
145
  <div class="ttc" id="namespaceSVF_html_a468154e0ab9e7be82afef1aa0a2fb9e0"><div class="ttname"><a href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">SVF::AtomicRMWInst</a></div><div class="ttdeci">llvm::AtomicRMWInst AtomicRMWInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00070">BasicTypes.h:70</a></div></div>
186
146
  <div class="ttc" id="namespaceSVF_html_a5d875a9d726bb9f68a17efa528dec0b4"><div class="ttname"><a href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">SVF::CmpInst</a></div><div class="ttdeci">llvm::CmpInst CmpInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00077">BasicTypes.h:77</a></div></div>
187
147
  <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>