svf-tools 1.0.425 → 1.0.428

package/SVF-doxygen/html/html/TypeBasedHeapCloning_8h_source.html

@@ -70,7 +70,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_a14027d92c4f8e33d7487fe81acce6a85"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#a14027d92c4f8e33d7487fe81acce6a85">SVF::TypeBasedHeapCloning::setOriginalObj</a></div><div class="ttdeci">void setOriginalObj(NodeID c, NodeID o)</div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8cpp_source.html#l00096">TypeBasedHeapCloning.cpp:96</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_a4d6fc7852fc4bfe1d7ba3c0b8602bc8a"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#a4d6fc7852fc4bfe1d7ba3c0b8602bc8a">SVF::TypeBasedHeapCloning::numSGInit</a></div><div class="ttdeci">unsigned numSGInit</div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8h_source.html#l00180">TypeBasedHeapCloning.h:180</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_a629ad3cef8929865b7319fb9e389f7bf"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#a629ad3cef8929865b7319fb9e389f7bf">SVF::TypeBasedHeapCloning::ppag</a></div><div class="ttdeci">SVFIR * ppag</div><div class="ttdoc">SVFIR the PTA uses. Just a shortcut for getPAG(). </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8h_source.html#l00149">TypeBasedHeapCloning.h:149</a></div></div>
-<div class="ttc" id="classSVF_1_1MemObj_html"><div class="ttname"><a href="classSVF_1_1MemObj.html">SVF::MemObj</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00404">SymbolTableInfo.h:404</a></div></div>
+<div class="ttc" id="classSVF_1_1MemObj_html"><div class="ttname"><a href="classSVF_1_1MemObj.html">SVF::MemObj</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00393">SymbolTableInfo.h:393</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_a1d48cd7ccbcd9bdf1470a5d9aca3298d"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#a1d48cd7ccbcd9bdf1470a5d9aca3298d">SVF::TypeBasedHeapCloning::backPropagate</a></div><div class="ttdeci">virtual void backPropagate(NodeID clone)=0</div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_a03ef2decb80ba07f4d98cae0a4497212"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#a03ef2decb80ba07f4d98cae0a4497212">SVF::TypeBasedHeapCloning::derefFnName</a></div><div class="ttdeci">static const std::string derefFnName</div><div class="ttdoc">deref function for TBHC alias tests. </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8h_source.html#l00034">TypeBasedHeapCloning.h:34</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00018">MTAResultValidator.h:18</a></div></div>
@@ -90,7 +90,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1DCHGraph_html"><div class="ttname"><a href="classSVF_1_1DCHGraph.html">SVF::DCHGraph</a></div><div class="ttdoc">Dwarf based CHG. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00208">DCHG.h:208</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_a0890235fa3725c23435ea3245c52c038"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#a0890235fa3725c23435ea3245c52c038">SVF::TypeBasedHeapCloning::setPAG</a></div><div class="ttdeci">void setPAG(SVFIR *pag)</div><div class="ttdoc">SVFIR must be set by extending class once the SVFIR is available. </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8cpp_source.html#l00031">TypeBasedHeapCloning.cpp:31</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00102">SVFBasicTypes.h:102</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00106">SVFBasicTypes.h:106</a></div></div>
 <div class="ttc" id="SVFIR_8h_html"><div class="ttname"><a href="SVFIR_8h.html">SVFIR.h</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_a6363466e64eee4405806568d26206d2e"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#a6363466e64eee4405806568d26206d2e">SVF::TypeBasedHeapCloning::undefType</a></div><div class="ttdeci">static const DIType * undefType</div><div class="ttdoc">The undefined type (•); void. </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8h_source.html#l00027">TypeBasedHeapCloning.h:27</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_a7d3f7d27c9491b099a623ba03b1c4732"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#a7d3f7d27c9491b099a623ba03b1c4732">SVF::TypeBasedHeapCloning::pta</a></div><div class="ttdeci">BVDataPTAImpl * pta</div><div class="ttdoc">PTA extending this class. </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8h_source.html#l00147">TypeBasedHeapCloning.h:147</a></div></div>
@@ -116,12 +116,12 @@ $(function() {
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_a219edef6c013a953ed12ee3c56bde6de"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#a219edef6c013a953ed12ee3c56bde6de">SVF::TypeBasedHeapCloning::getType</a></div><div class="ttdeci">const DIType * getType(NodeID o) const</div><div class="ttdoc">Returns the type (from objToType) of o. Asserts existence. </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8cpp_source.html#l00058">TypeBasedHeapCloning.cpp:58</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_a006243a1416f4950de254d0d62ba40b0"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#a006243a1416f4950de254d0d62ba40b0">SVF::TypeBasedHeapCloning::setAllocationSite</a></div><div class="ttdeci">void setAllocationSite(NodeID o, NodeID site)</div><div class="ttdoc">Sets the allocation site (in objToAllocation) of o. </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8cpp_source.html#l00064">TypeBasedHeapCloning.cpp:64</a></div></div>
 <div class="ttc" id="DCHG_8h_html"><div class="ttname"><a href="DCHG_8h.html">DCHG.h</a></div></div>
-<div class="ttc" id="namespaceSVF_html_ad3d3cec1813411f039211c86236f7adb"><div class="ttname"><a href="namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb">SVF::MDNode</a></div><div class="ttdeci">llvm::MDNode MDNode</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00131">BasicTypes.h:131</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad3d3cec1813411f039211c86236f7adb"><div class="ttname"><a href="namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb">SVF::MDNode</a></div><div class="ttdeci">llvm::MDNode MDNode</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00122">BasicTypes.h:122</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_accbf71007be662ee2436ca3d76b903ed"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#accbf71007be662ee2436ca3d76b903ed">SVF::TypeBasedHeapCloning::cloneToOriginalObj</a></div><div class="ttdeci">Map&lt; NodeID, NodeID &gt; cloneToOriginalObj</div><div class="ttdoc">(Clone) object -&gt; original object (opposite of objToclones). </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8h_source.html#l00160">TypeBasedHeapCloning.h:160</a></div></div>
 <div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00016">ContextDDA.h:16</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_abce2ba326af69312c5971246cc4c10dc"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#abce2ba326af69312c5971246cc4c10dc">SVF::TypeBasedHeapCloning::isClone</a></div><div class="ttdeci">bool isClone(NodeID o) const</div><div class="ttdoc">Returns true if o is a clone. </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8cpp_source.html#l00048">TypeBasedHeapCloning.cpp:48</a></div></div>
 <div class="ttc" id="classSVF_1_1LocationSet_html"><div class="ttname"><a href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00048">LocationSet.h:48</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00088">SVFBasicTypes.h:88</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00092">SVFBasicTypes.h:92</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_af127bed600087b1ace26088a76ca8998"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#af127bed600087b1ace26088a76ca8998">SVF::TypeBasedHeapCloning::getClones</a></div><div class="ttdeci">const NodeBS &amp; getClones(NodeID o)</div><div class="ttdoc">Returns all the clones of o. </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8cpp_source.html#l00091">TypeBasedHeapCloning.cpp:91</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_af5cf059dea30a0b422321e3a792ea447"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#af5cf059dea30a0b422321e3a792ea447">SVF::TypeBasedHeapCloning::numTBSSU</a></div><div class="ttdeci">unsigned numTBSSU</div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8h_source.html#l00174">TypeBasedHeapCloning.h:174</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_ae520e0551e63223a908f92a6b9667356"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#ae520e0551e63223a908f92a6b9667356">SVF::TypeBasedHeapCloning::getFilterSet</a></div><div class="ttdeci">PointsTo &amp; getFilterSet(NodeID loc)</div><div class="ttdoc">Returns the filter set of a location. Not const; could create empty PointsTo. </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8cpp_source.html#l00113">TypeBasedHeapCloning.cpp:113</a></div></div>
@@ -137,9 +137,9 @@ $(function() {
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_a34064efe336ada815b31050f683c7ce1"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#a34064efe336ada815b31050f683c7ce1">SVF::TypeBasedHeapCloning::init</a></div><div class="ttdeci">bool init(NodeID loc, NodeID p, const DIType *tildet, bool reuse, bool gep=false)</div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8cpp_source.html#l00271">TypeBasedHeapCloning.cpp:271</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_aeea7089c6f54b44f0509d41686b649f6"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#aeea7089c6f54b44f0509d41686b649f6">SVF::TypeBasedHeapCloning::getOriginalObj</a></div><div class="ttdeci">NodeID getOriginalObj(NodeID c) const</div><div class="ttdoc">Returns the original object c is cloned from. If c is not a clone, returns itself. </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8cpp_source.html#l00101">TypeBasedHeapCloning.cpp:101</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00076">BasicTypes.h:76</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00075">BasicTypes.h:75</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html">SVF::TypeBasedHeapCloning</a></div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8h_source.html#l00021">TypeBasedHeapCloning.h:21</a></div></div>
-<div class="ttc" id="namespaceSVF_html_ad127b0ad478640ede3d426e3a58d2632"><div class="ttname"><a href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">SVF::DIType</a></div><div class="ttdeci">llvm::DIType DIType</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00207">BasicTypes.h:207</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad127b0ad478640ede3d426e3a58d2632"><div class="ttname"><a href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">SVF::DIType</a></div><div class="ttdeci">llvm::DIType DIType</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00172">BasicTypes.h:172</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_a4c658be1ade99ad1e848cd80332e38ce"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#a4c658be1ade99ad1e848cd80332e38ce">SVF::TypeBasedHeapCloning::numInit</a></div><div class="ttdeci">unsigned numInit</div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8h_source.html#l00172">TypeBasedHeapCloning.h:172</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_ad07fb204258fccda89053514338e3804"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#ad07fb204258fccda89053514338e3804">SVF::TypeBasedHeapCloning::addGepToObj</a></div><div class="ttdeci">void addGepToObj(NodeID gep, NodeID base, unsigned offset)</div><div class="ttdoc">Associates gep with base (through objToGeps and memObjToGeps). </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8cpp_source.html#l00118">TypeBasedHeapCloning.cpp:118</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_afca6afa06a1072e7a452ed42bcd666d3"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#afca6afa06a1072e7a452ed42bcd666d3">SVF::TypeBasedHeapCloning::numSGTBWU</a></div><div class="ttdeci">unsigned numSGTBWU</div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8h_source.html#l00181">TypeBasedHeapCloning.h:181</a></div></div>

package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html

@@ -75,7 +75,6 @@ $(function() {
 <code>#include &quot;<a class="el" href="GEPTypeBridgeIterator_8h_source.html">SVF-FE/GEPTypeBridgeIterator.h</a>&quot;</code><br />
 <code>#include &quot;<a class="el" href="GraphPrinter_8h_source.html">Graphs/GraphPrinter.h</a>&quot;</code><br />
 <code>#include &quot;<a class="el" href="Casting_8h_source.html">Util/Casting.h</a>&quot;</code><br />
-<code>#include &lt;llvm/ADT/SmallVector.h&gt;</code><br />
 <code>#include &lt;llvm/ADT/SparseBitVector.h&gt;</code><br />
 <code>#include &lt;llvm/IR/Instructions.h&gt;</code><br />
 <code>#include &lt;llvm/IR/InstVisitor.h&gt;</code><br />
@@ -183,14 +182,6 @@ Typedefs</h2></td></tr>
 <tr class="memitem:a03db82b8a7914367024723dba4d6ca3c"><td class="memItemLeft" align="right" valign="top">typedef llvm::DataLayout&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">SVF::DataLayout</a></td></tr>
 <tr class="memdesc:a03db82b8a7914367024723dba4d6ca3c"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM data layout.  <a href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">More...</a><br /></td></tr>
 <tr class="separator:a03db82b8a7914367024723dba4d6ca3c"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a52c8654c221bb53a59f70ea3cb1e5c45"><td class="memItemLeft" align="right" valign="top">typedef llvm::StructLayout&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">SVF::StructLayout</a></td></tr>
-<tr class="separator:a52c8654c221bb53a59f70ea3cb1e5c45"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad09d8882474ef59b50d1c6a6d3ba0b59"><td class="memItemLeft" align="right" valign="top">typedef llvm::SmallVector&lt; BasicBlock *, 8 &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ad09d8882474ef59b50d1c6a6d3ba0b59">SVF::SmallBBVector</a></td></tr>
-<tr class="separator:ad09d8882474ef59b50d1c6a6d3ba0b59"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a2b28f48dde0a9a91d251e654ce1f9477"><td class="memItemLeft" align="right" valign="top">typedef llvm::ConstantStruct&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">SVF::ConstantStruct</a></td></tr>
-<tr class="separator:a2b28f48dde0a9a91d251e654ce1f9477"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a339bbddac9d9dffd5ef602200d34c403"><td class="memItemLeft" align="right" valign="top">typedef llvm::MemoryLocation&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">SVF::MemoryLocation</a></td></tr>
-<tr class="separator:a339bbddac9d9dffd5ef602200d34c403"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a58cdfbc4160cae08745b67844ac29801"><td class="memItemLeft" align="right" valign="top">typedef llvm::Argument&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801">SVF::Argument</a></td></tr>
 <tr class="memdesc:a58cdfbc4160cae08745b67844ac29801"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM Aliases and constants.  <a href="namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801">More...</a><br /></td></tr>
 <tr class="separator:a58cdfbc4160cae08745b67844ac29801"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -198,16 +189,8 @@ Typedefs</h2></td></tr>
 <tr class="separator:a7e230c0cba2e3a7c2e5a5f2ee7d88af9"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7332f8059ea95472dcc231de884a5768"><td class="memItemLeft" align="right" valign="top">typedef llvm::ConstantData&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a7332f8059ea95472dcc231de884a5768">SVF::ConstantData</a></td></tr>
 <tr class="separator:a7332f8059ea95472dcc231de884a5768"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a8ad3aa124fabddc2fdd07c50403d70a9"><td class="memItemLeft" align="right" valign="top">typedef llvm::ConstantDataSequential&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9">SVF::ConstantDataSequential</a></td></tr>
-<tr class="separator:a8ad3aa124fabddc2fdd07c50403d70a9"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:adefcb50414ea999d70cea5ccdbcb98d7"><td class="memItemLeft" align="right" valign="top">typedef llvm::ConstantInt&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">SVF::ConstantInt</a></td></tr>
 <tr class="separator:adefcb50414ea999d70cea5ccdbcb98d7"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad49e4222ba46d9490b87a80df8b46800"><td class="memItemLeft" align="right" valign="top">typedef llvm::ConstantFP&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ad49e4222ba46d9490b87a80df8b46800">SVF::ConstantFP</a></td></tr>
-<tr class="separator:ad49e4222ba46d9490b87a80df8b46800"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aae40550b2952fd0e4483f3ee94e89820"><td class="memItemLeft" align="right" valign="top">typedef llvm::ConstantTokenNone&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aae40550b2952fd0e4483f3ee94e89820">SVF::ConstantTokenNone</a></td></tr>
-<tr class="separator:aae40550b2952fd0e4483f3ee94e89820"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a911dbaab38cb42deb9c195c7f687853d"><td class="memItemLeft" align="right" valign="top">typedef llvm::ConstantExpr&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">SVF::ConstantExpr</a></td></tr>
-<tr class="separator:a911dbaab38cb42deb9c195c7f687853d"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a90f6c91ba7a3c31c84b5c25277d83fca"><td class="memItemLeft" align="right" valign="top">typedef llvm::ConstantPointerNull&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a90f6c91ba7a3c31c84b5c25277d83fca">SVF::ConstantPointerNull</a></td></tr>
 <tr class="separator:a90f6c91ba7a3c31c84b5c25277d83fca"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5ae718cba37d8e34d2946530dc098c8e"><td class="memItemLeft" align="right" valign="top">typedef llvm::ConstantArray&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">SVF::ConstantArray</a></td></tr>
@@ -228,70 +211,18 @@ Typedefs</h2></td></tr>
 <tr class="separator:a3bacb4f95c73e6d794901d01c6b65a83"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:adc8b60ca7d60cf6c81feae20e4a04c63"><td class="memItemLeft" align="right" valign="top">typedef llvm::CallInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">SVF::CallInst</a></td></tr>
 <tr class="separator:adc8b60ca7d60cf6c81feae20e4a04c63"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a56cb9d6d1e05f6c31bfe1a4045bc8b5f"><td class="memItemLeft" align="right" valign="top">typedef llvm::InvokeInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">SVF::InvokeInst</a></td></tr>
-<tr class="separator:a56cb9d6d1e05f6c31bfe1a4045bc8b5f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac6b6710585fc6667858ccfd4311b6ab5"><td class="memItemLeft" align="right" valign="top">typedef llvm::CallBrInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5">SVF::CallBrInst</a></td></tr>
-<tr class="separator:ac6b6710585fc6667858ccfd4311b6ab5"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab696aab940eb187dc81217efe8649af5"><td class="memItemLeft" align="right" valign="top">typedef llvm::StoreInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ab696aab940eb187dc81217efe8649af5">SVF::StoreInst</a></td></tr>
 <tr class="separator:ab696aab940eb187dc81217efe8649af5"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5a6e8ab900d5cd17ef72661006a7fbe0"><td class="memItemLeft" align="right" valign="top">typedef llvm::LoadInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0">SVF::LoadInst</a></td></tr>
 <tr class="separator:a5a6e8ab900d5cd17ef72661006a7fbe0"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac8d4990439af7a2ecca7e15383119674"><td class="memItemLeft" align="right" valign="top">typedef llvm::PHINode&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">SVF::PHINode</a></td></tr>
-<tr class="separator:ac8d4990439af7a2ecca7e15383119674"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac4e93e1fec646ff222940a663843921b"><td class="memItemLeft" align="right" valign="top">typedef llvm::GetElementPtrInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">SVF::GetElementPtrInst</a></td></tr>
-<tr class="separator:ac4e93e1fec646ff222940a663843921b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a962e9a9044a46fc4bd2367384f6e0827"><td class="memItemLeft" align="right" valign="top">typedef llvm::CastInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">SVF::CastInst</a></td></tr>
-<tr class="separator:a962e9a9044a46fc4bd2367384f6e0827"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afc50da46a6ea7c2cf61683bbec4d7c8d"><td class="memItemLeft" align="right" valign="top">typedef llvm::BitCastInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">SVF::BitCastInst</a></td></tr>
-<tr class="separator:afc50da46a6ea7c2cf61683bbec4d7c8d"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac7dcc6103dee3a0bbc2fd2e02716a154"><td class="memItemLeft" align="right" valign="top">typedef llvm::ReturnInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">SVF::ReturnInst</a></td></tr>
 <tr class="separator:ac7dcc6103dee3a0bbc2fd2e02716a154"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab7fac9d4a4839be445c89777e21bc307"><td class="memItemLeft" align="right" valign="top">typedef llvm::SelectInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307">SVF::SelectInst</a></td></tr>
-<tr class="separator:ab7fac9d4a4839be445c89777e21bc307"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a07578c424e9d3c07a54e65404a0a6abb"><td class="memItemLeft" align="right" valign="top">typedef llvm::IntToPtrInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">SVF::IntToPtrInst</a></td></tr>
-<tr class="separator:a07578c424e9d3c07a54e65404a0a6abb"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5d875a9d726bb9f68a17efa528dec0b4"><td class="memItemLeft" align="right" valign="top">typedef llvm::CmpInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">SVF::CmpInst</a></td></tr>
-<tr class="separator:a5d875a9d726bb9f68a17efa528dec0b4"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac9a05dd7ab16e998625037aa242cd30f"><td class="memItemLeft" align="right" valign="top">typedef llvm::BranchInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">SVF::BranchInst</a></td></tr>
 <tr class="separator:ac9a05dd7ab16e998625037aa242cd30f"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a412280b134578905248ce0122c5db7c9"><td class="memItemLeft" align="right" valign="top">typedef llvm::SwitchInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">SVF::SwitchInst</a></td></tr>
 <tr class="separator:a412280b134578905248ce0122c5db7c9"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a485b10fc29e76fdb6f31a56ebbde8f24"><td class="memItemLeft" align="right" valign="top">typedef llvm::InsertValueInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24">SVF::InsertValueInst</a></td></tr>
-<tr class="separator:a485b10fc29e76fdb6f31a56ebbde8f24"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aad5d26ab07a5d1314bdb8f54e0fcdb22"><td class="memItemLeft" align="right" valign="top">typedef llvm::BinaryOperator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">SVF::BinaryOperator</a></td></tr>
-<tr class="separator:aad5d26ab07a5d1314bdb8f54e0fcdb22"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a292a6e8c5b4f2023b5575879c57eca62"><td class="memItemLeft" align="right" valign="top">typedef llvm::UnaryOperator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">SVF::UnaryOperator</a></td></tr>
-<tr class="separator:a292a6e8c5b4f2023b5575879c57eca62"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3d5581c375ee3fe856327dc648c379f0"><td class="memItemLeft" align="right" valign="top">typedef llvm::PtrToIntInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a3d5581c375ee3fe856327dc648c379f0">SVF::PtrToIntInst</a></td></tr>
-<tr class="separator:a3d5581c375ee3fe856327dc648c379f0"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:abcafc32093ff5ee038b5fcf6e4076ed4"><td class="memItemLeft" align="right" valign="top">typedef llvm::VAArgInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4">SVF::VAArgInst</a></td></tr>
-<tr class="separator:abcafc32093ff5ee038b5fcf6e4076ed4"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a6b857824fb3c39ff6de953651260a326"><td class="memItemLeft" align="right" valign="top">typedef llvm::InsertElementInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326">SVF::InsertElementInst</a></td></tr>
-<tr class="separator:a6b857824fb3c39ff6de953651260a326"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a64e69f438b8c302c4cae27735319fa49"><td class="memItemLeft" align="right" valign="top">typedef llvm::ShuffleVectorInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">SVF::ShuffleVectorInst</a></td></tr>
-<tr class="separator:a64e69f438b8c302c4cae27735319fa49"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afa513a3c76371907221ee2b1ef289c71"><td class="memItemLeft" align="right" valign="top">typedef llvm::LandingPadInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71">SVF::LandingPadInst</a></td></tr>
-<tr class="separator:afa513a3c76371907221ee2b1ef289c71"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a8c685f6bff3a67bf7fe3557dbfa84caa"><td class="memItemLeft" align="right" valign="top">typedef llvm::ResumeInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">SVF::ResumeInst</a></td></tr>
-<tr class="separator:a8c685f6bff3a67bf7fe3557dbfa84caa"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a8ac6a8ff90f47a93166fbdf15be2d721"><td class="memItemLeft" align="right" valign="top">typedef llvm::UnreachableInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721">SVF::UnreachableInst</a></td></tr>
-<tr class="separator:a8ac6a8ff90f47a93166fbdf15be2d721"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a61f0d928e58d4f7e21616f770ae1080b"><td class="memItemLeft" align="right" valign="top">typedef llvm::FenceInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b">SVF::FenceInst</a></td></tr>
-<tr class="separator:a61f0d928e58d4f7e21616f770ae1080b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a582e3736a2bbb0540364c1693d831b49"><td class="memItemLeft" align="right" valign="top">typedef llvm::AtomicCmpXchgInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">SVF::AtomicCmpXchgInst</a></td></tr>
-<tr class="separator:a582e3736a2bbb0540364c1693d831b49"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a468154e0ab9e7be82afef1aa0a2fb9e0"><td class="memItemLeft" align="right" valign="top">typedef llvm::AtomicRMWInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">SVF::AtomicRMWInst</a></td></tr>
-<tr class="separator:a468154e0ab9e7be82afef1aa0a2fb9e0"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:af4912ad47e19060e53b665f73e0ee6ec"><td class="memItemLeft" align="right" valign="top">typedef llvm::UndefValue&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">SVF::UndefValue</a></td></tr>
 <tr class="separator:af4912ad47e19060e53b665f73e0ee6ec"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a0f3339f5241441c7e6023df9e0cfa295"><td class="memItemLeft" align="right" valign="top">typedef llvm::VACopyInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">SVF::VACopyInst</a></td></tr>
-<tr class="separator:a0f3339f5241441c7e6023df9e0cfa295"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:adb305e32f35af19b870b07711ba5b913"><td class="memItemLeft" align="right" valign="top">typedef llvm::VAEndInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">SVF::VAEndInst</a></td></tr>
-<tr class="separator:adb305e32f35af19b870b07711ba5b913"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad92e392a50e7c6c1f635fe2dcebd1adc"><td class="memItemLeft" align="right" valign="top">typedef llvm::VAStartInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">SVF::VAStartInst</a></td></tr>
-<tr class="separator:ad92e392a50e7c6c1f635fe2dcebd1adc"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9868a60a9cc7b78965a23b5034100f88"><td class="memItemLeft" align="right" valign="top">typedef llvm::FreezeInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88">SVF::FreezeInst</a></td></tr>
-<tr class="separator:a9868a60a9cc7b78965a23b5034100f88"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a9f1aca0384166e42d14e2608009ebc01"><td class="memItemLeft" align="right" valign="top">typedef llvm::ScalarEvolutionWrapperPass&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">SVF::ScalarEvolutionWrapperPass</a></td></tr>
 <tr class="memdesc:a9f1aca0384166e42d14e2608009ebc01"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM scalar evolution.  <a href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">More...</a><br /></td></tr>
 <tr class="separator:a9f1aca0384166e42d14e2608009ebc01"><td class="memSeparator" colspan="2">&#160;</td></tr>