svf-tools 1.0.770 → 1.0.772

package/SVF-doxygen/html/html/Andersen_8cpp_source.html

@@ -975,7 +975,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1AndersenBase_html_aae14de6fbca9280d8d0290326aa493f0"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0">SVF::AndersenBase::timeOfProcessCopyGep</a></div><div class="ttdeci">static double timeOfProcessCopyGep</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00143">Andersen.h:143</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_ab1868f04de44f6fe1e9ac14f3d4ee56b"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b">SVF::ConstraintNode::const_iterator</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00045">ConsGNode.h:45</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01075">SVFValue.h:1075</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01157">LLVMUtil.cpp:1157</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01194">LLVMUtil.cpp:1194</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AndersenBase_html_ac02d1fedb0beb39e5a4c22ee4bb3501a"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#ac02d1fedb0beb39e5a4c22ee4bb3501a">SVF::AndersenBase::solveConstraints</a></div><div class="ttdeci">virtual void solveConstraints()</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00100">Andersen.cpp:100</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a4550f2fb815882edfb666ac818792064"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(const std::string &amp;msg)</div><div class="ttdoc">Print each pass/phase message by converting a string into blue string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00099">SVFUtil.cpp:99</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointsTo_html_a13746982a11d0cab57e5919d53bfbec8"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a13746982a11d0cab57e5919d53bfbec8">SVF::PointsTo::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdoc">Returns true if set is empty.</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00098">PointsTo.cpp:98</a></div></div>

package/SVF-doxygen/html/html/BasicTypes_8h.html

@@ -292,6 +292,10 @@ Typedefs</h2></td></tr>
 <tr class="separator:a292a6e8c5b4f2023b5575879c57eca62"><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:a255efa5be786996cbdd0c1f3d98b8400"><td class="memItemLeft" align="right" valign="top">typedef std::pair&lt; const BasicBlock *, const ConstantInt * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400">SVF::SuccBBAndCondValPair</a></td></tr>
+<tr class="separator:a255efa5be786996cbdd0c1f3d98b8400"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8de26e1810ea0c3b1e8ad62f1c8a864d"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; SuccBBAndCondValPair &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d">SVF::SuccBBAndCondValPairVec</a></td></tr>
+<tr class="separator:a8de26e1810ea0c3b1e8ad62f1c8a864d"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ad127b0ad478640ede3d426e3a58d2632"><td class="memItemLeft" align="right" valign="top">typedef llvm::DIType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">SVF::DIType</a></td></tr>
 <tr class="separator:ad127b0ad478640ede3d426e3a58d2632"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aded9b991c77acc5284ccead0739e84f1"><td class="memItemLeft" align="right" valign="top">typedef llvm::DICompositeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">SVF::DICompositeType</a></td></tr>

package/SVF-doxygen/html/html/BasicTypes_8h_source.html

@@ -244,102 +244,107 @@ $(function() {
 <div class="line"><a name="l00178"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">  178</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="l00179"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">  179</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="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">// LLVM Intrinsic Instructions</span></div>
-<div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 13</span></div>
-<div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;<span class="keyword">typedef</span> llvm::IntrinsicInst IntrinsicInst;</div>
-<div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;<span class="keyword">typedef</span> llvm::DbgInfoIntrinsic DbgInfoIntrinsic;</div>
-<div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;<span class="keyword">typedef</span> llvm::DbgVariableIntrinsic DbgVariableIntrinsic;</div>
-<div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;<span class="keyword">typedef</span> llvm::DbgDeclareInst DbgDeclareInst;</div>
-<div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;<span class="keyword">typedef</span> llvm::DbgAddrIntrinsic DbgAddrIntrinsic;</div>
-<div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;<span class="keyword">typedef</span> llvm::DbgValueInst DbgValueInst;</div>
-<div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;<span class="keyword">typedef</span> llvm::DbgLabelInst DbgLabelInst;</div>
-<div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;<span class="keyword">typedef</span> llvm::VPIntrinsic VPIntrinsic;</div>
-<div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;<span class="keyword">typedef</span> llvm::ConstrainedFPIntrinsic ConstrainedFPIntrinsic;</div>
-<div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;<span class="keyword">typedef</span> llvm::ConstrainedFPCmpIntrinsic ConstrainedFPCmpIntrinsic;</div>
-<div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;<span class="keyword">typedef</span> llvm::MinMaxIntrinsic MinMaxIntrinsic;</div>
-<div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;<span class="keyword">typedef</span> llvm::BinaryOpIntrinsic BinaryOpIntrinsic;</div>
-<div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;<span class="keyword">typedef</span> llvm::WithOverflowInst WithOverflowInst;</div>
-<div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;<span class="keyword">typedef</span> llvm::SaturatingInst SaturatingInst;</div>
-<div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemIntrinsic AtomicMemIntrinsic;</div>
-<div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemSetInst AtomicMemSetInst;</div>
-<div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemTransferInst AtomicMemTransferInst;</div>
-<div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemCpyInst AtomicMemCpyInst;</div>
-<div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemMoveInst AtomicMemMoveInst;</div>
-<div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;<span class="keyword">typedef</span> llvm::MemIntrinsic MemIntrinsic;</div>
-<div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;<span class="keyword">typedef</span> llvm::MemSetInst MemSetInst;</div>
-<div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;<span class="keyword">typedef</span> llvm::MemTransferInst MemTransferInst;</div>
-<div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;<span class="keyword">typedef</span> llvm::MemCpyInst MemCpyInst;</div>
-<div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;<span class="keyword">typedef</span> llvm::MemMoveInst MemMoveInst;</div>
-<div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;<span class="keyword">typedef</span> llvm::MemCpyInlineInst MemCpyInlineInst;</div>
-<div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemIntrinsic AnyMemIntrinsic;</div>
-<div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemSetInst AnyMemSetInst;</div>
-<div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemTransferInst AnyMemTransferInst;</div>
-<div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemCpyInst AnyMemCpyInst;</div>
-<div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemMoveInst AnyMemMoveInst;</div>
-<div class="line"><a name="l00213"></a><span class="lineno">  213</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="l00214"></a><span class="lineno">  214</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="l00215"></a><span class="lineno">  215</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="l00216"></a><span class="lineno">  216</span>&#160;<span class="keyword">typedef</span> llvm::InstrProfIncrementInst InstrProfIncrementInst;</div>
-<div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;<span class="keyword">typedef</span> llvm::InstrProfIncrementInstStep InstrProfIncrementInstStep;</div>
-<div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;<span class="keyword">typedef</span> llvm::InstrProfValueProfileInst InstrProfValueProfileInst;</div>
-<div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;<span class="keyword">typedef</span> llvm::PseudoProbeInst PseudoProbeInst;</div>
-<div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;<span class="keyword">typedef</span> llvm::NoAliasScopeDeclInst NoAliasScopeDeclInst;</div>
-<div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;<span class="keyword">typedef</span> llvm::GCStatepointInst GCStatepointInst;</div>
-<div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;<span class="keyword">typedef</span> llvm::GCProjectionInst GCProjectionInst;</div>
-<div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;<span class="keyword">typedef</span> llvm::GCRelocateInst GCRelocateInst;</div>
-<div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;<span class="keyword">typedef</span> llvm::GCResultInst GCResultInst;</div>
-<div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;<span class="keyword">typedef</span> llvm::AssumeInst AssumeInst;</div>
-<div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;<span class="preprocessor">#endif</span></div>
-<div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160; </div>
-<div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;<span class="comment">// LLVM Debug Information</span></div>
-<div class="line"><a name="l00229"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">  229</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="l00230"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">  230</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="l00231"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">  231</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="l00232"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">  232</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="l00233"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">  233</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="l00234"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">  234</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="l00235"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">  235</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="l00236"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">  236</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="l00237"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">  237</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="l00238"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">  238</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="l00239"></a><span class="lineno">  239</span>&#160;<span class="keyword">namespace </span>dwarf = llvm::dwarf;</div>
-<div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160; </div>
-<div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;<span class="comment">// Iterators.</span></div>
-<div class="line"><a name="l00242"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">  242</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="l00243"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">  243</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="l00244"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">  244</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="l00245"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc">  245</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="l00246"></a><span class="lineno">  246</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="l00247"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">  247</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="l00248"></a><span class="lineno">  248</span>&#160; </div>
-<div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;<span class="comment">// LLVM Scalar Evolution.</span></div>
-<div class="line"><a name="l00250"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">  250</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="l00251"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">  251</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="l00252"></a><span class="lineno"><a class="line" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">  252</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="l00253"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">  253</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="l00254"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">  254</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="l00255"></a><span class="lineno">  255</span>&#160; </div>
-<div class="line"><a name="l00257"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">  257</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">llvm::raw_fd_ostream</a> <a class="code" href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">raw_fd_ostream</a>;</div>
-<div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160; </div>
-<div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;<span class="comment">// LLVM Types.</span></div>
-<div class="line"><a name="l00260"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">  260</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="l00261"></a><span class="lineno">  261</span>&#160;<span class="preprocessor">#if (LLVM_VERSION_MAJOR &gt;= 9)</span></div>
-<div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;<span class="keyword">typedef</span> llvm::FunctionCallee FunctionCallee;</div>
-<div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;<span class="preprocessor">#endif</span></div>
-<div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160; </div>
-<div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 11</span></div>
-<div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;<span class="keyword">typedef</span> llvm::const_succ_iterator <a class="code" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">succ_const_iterator</a>;</div>
-<div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;<span class="preprocessor">#else</span></div>
-<div class="line"><a name="l00269"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">  269</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">llvm::succ_const_iterator</a> <a class="code" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">succ_const_iterator</a>;</div>
-<div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;<span class="preprocessor">#endif</span></div>
-<div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;} <span class="comment">// End namespace SVF</span></div>
-<div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160; </div>
-<div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;<span class="preprocessor">#endif  // SVF_FE_BASIC_TYPES_H</span></div>
+<div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;<span class="comment">// Related to Switch Case</span></div>
+<div class="line"><a name="l00182"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400">  182</a></span>&#160;<span class="keyword">typedef</span> std::pair&lt;const BasicBlock*, const ConstantInt*&gt; <a class="code" href="namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400">SuccBBAndCondValPair</a>;</div>
+<div class="line"><a name="l00183"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d">  183</a></span>&#160;<span class="keyword">typedef</span> std::vector&lt;SuccBBAndCondValPair&gt; <a class="code" href="namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d">SuccBBAndCondValPairVec</a>;</div>
+<div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160; </div>
+<div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;<span class="comment">// LLVM Intrinsic Instructions</span></div>
+<div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 13</span></div>
+<div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;<span class="keyword">typedef</span> llvm::IntrinsicInst IntrinsicInst;</div>
+<div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;<span class="keyword">typedef</span> llvm::DbgInfoIntrinsic DbgInfoIntrinsic;</div>
+<div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;<span class="keyword">typedef</span> llvm::DbgVariableIntrinsic DbgVariableIntrinsic;</div>
+<div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;<span class="keyword">typedef</span> llvm::DbgDeclareInst DbgDeclareInst;</div>
+<div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;<span class="keyword">typedef</span> llvm::DbgAddrIntrinsic DbgAddrIntrinsic;</div>
+<div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;<span class="keyword">typedef</span> llvm::DbgValueInst DbgValueInst;</div>
+<div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;<span class="keyword">typedef</span> llvm::DbgLabelInst DbgLabelInst;</div>
+<div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;<span class="keyword">typedef</span> llvm::VPIntrinsic VPIntrinsic;</div>
+<div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;<span class="keyword">typedef</span> llvm::ConstrainedFPIntrinsic ConstrainedFPIntrinsic;</div>
+<div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;<span class="keyword">typedef</span> llvm::ConstrainedFPCmpIntrinsic ConstrainedFPCmpIntrinsic;</div>
+<div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;<span class="keyword">typedef</span> llvm::MinMaxIntrinsic MinMaxIntrinsic;</div>
+<div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;<span class="keyword">typedef</span> llvm::BinaryOpIntrinsic BinaryOpIntrinsic;</div>
+<div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;<span class="keyword">typedef</span> llvm::WithOverflowInst WithOverflowInst;</div>
+<div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;<span class="keyword">typedef</span> llvm::SaturatingInst SaturatingInst;</div>
+<div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemIntrinsic AtomicMemIntrinsic;</div>
+<div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemSetInst AtomicMemSetInst;</div>
+<div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemTransferInst AtomicMemTransferInst;</div>
+<div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemCpyInst AtomicMemCpyInst;</div>
+<div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;<span class="keyword">typedef</span> llvm::AtomicMemMoveInst AtomicMemMoveInst;</div>
+<div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;<span class="keyword">typedef</span> llvm::MemIntrinsic MemIntrinsic;</div>
+<div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;<span class="keyword">typedef</span> llvm::MemSetInst MemSetInst;</div>
+<div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;<span class="keyword">typedef</span> llvm::MemTransferInst MemTransferInst;</div>
+<div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;<span class="keyword">typedef</span> llvm::MemCpyInst MemCpyInst;</div>
+<div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;<span class="keyword">typedef</span> llvm::MemMoveInst MemMoveInst;</div>
+<div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;<span class="keyword">typedef</span> llvm::MemCpyInlineInst MemCpyInlineInst;</div>
+<div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemIntrinsic AnyMemIntrinsic;</div>
+<div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemSetInst AnyMemSetInst;</div>
+<div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemTransferInst AnyMemTransferInst;</div>
+<div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemCpyInst AnyMemCpyInst;</div>
+<div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;<span class="keyword">typedef</span> llvm::AnyMemMoveInst AnyMemMoveInst;</div>
+<div class="line"><a name="l00217"></a><span class="lineno">  217</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="l00218"></a><span class="lineno">  218</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="l00219"></a><span class="lineno">  219</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="l00220"></a><span class="lineno">  220</span>&#160;<span class="keyword">typedef</span> llvm::InstrProfIncrementInst InstrProfIncrementInst;</div>
+<div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;<span class="keyword">typedef</span> llvm::InstrProfIncrementInstStep InstrProfIncrementInstStep;</div>
+<div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;<span class="keyword">typedef</span> llvm::InstrProfValueProfileInst InstrProfValueProfileInst;</div>
+<div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;<span class="keyword">typedef</span> llvm::PseudoProbeInst PseudoProbeInst;</div>
+<div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;<span class="keyword">typedef</span> llvm::NoAliasScopeDeclInst NoAliasScopeDeclInst;</div>
+<div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;<span class="keyword">typedef</span> llvm::GCStatepointInst GCStatepointInst;</div>
+<div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;<span class="keyword">typedef</span> llvm::GCProjectionInst GCProjectionInst;</div>
+<div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;<span class="keyword">typedef</span> llvm::GCRelocateInst GCRelocateInst;</div>
+<div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;<span class="keyword">typedef</span> llvm::GCResultInst GCResultInst;</div>
+<div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;<span class="keyword">typedef</span> llvm::AssumeInst AssumeInst;</div>
+<div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;<span class="preprocessor">#endif</span></div>
+<div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160; </div>
+<div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;<span class="comment">// LLVM Debug Information</span></div>
+<div class="line"><a name="l00233"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">  233</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="l00234"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">  234</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="l00235"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">  235</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="l00236"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">  236</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="l00237"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129">  237</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="l00238"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ada0513be7e25325325ccc9183aeca278">  238</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="l00239"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">  239</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="l00240"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">  240</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="l00241"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003">  241</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="l00242"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">  242</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="l00243"></a><span class="lineno">  243</span>&#160;<span class="keyword">namespace </span>dwarf = llvm::dwarf;</div>
+<div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160; </div>
+<div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;<span class="comment">// Iterators.</span></div>
+<div class="line"><a name="l00246"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">  246</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="l00247"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">  247</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="l00248"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">  248</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="l00249"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3b6e84470681a9f731a81e8cf54680cc">  249</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="l00250"></a><span class="lineno">  250</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="l00251"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">  251</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="l00252"></a><span class="lineno">  252</span>&#160; </div>
+<div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;<span class="comment">// LLVM Scalar Evolution.</span></div>
+<div class="line"><a name="l00254"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">  254</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="l00255"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8">  255</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="l00256"></a><span class="lineno"><a class="line" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">  256</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="l00257"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">  257</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="l00258"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">  258</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="l00259"></a><span class="lineno">  259</span>&#160; </div>
+<div class="line"><a name="l00261"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">  261</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">llvm::raw_fd_ostream</a> <a class="code" href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">raw_fd_ostream</a>;</div>
+<div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160; </div>
+<div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;<span class="comment">// LLVM Types.</span></div>
+<div class="line"><a name="l00264"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418">  264</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="l00265"></a><span class="lineno">  265</span>&#160;<span class="preprocessor">#if (LLVM_VERSION_MAJOR &gt;= 9)</span></div>
+<div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;<span class="keyword">typedef</span> llvm::FunctionCallee FunctionCallee;</div>
+<div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;<span class="preprocessor">#endif</span></div>
+<div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160; </div>
+<div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;<span class="preprocessor">#if LLVM_VERSION_MAJOR &gt;= 11</span></div>
+<div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;<span class="keyword">typedef</span> llvm::const_succ_iterator <a class="code" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">succ_const_iterator</a>;</div>
+<div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;<span class="preprocessor">#else</span></div>
+<div class="line"><a name="l00273"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">  273</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">llvm::succ_const_iterator</a> <a class="code" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">succ_const_iterator</a>;</div>
+<div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;<span class="preprocessor">#endif</span></div>
+<div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;} <span class="comment">// End namespace SVF</span></div>
+<div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160; </div>
+<div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;<span class="preprocessor">#endif  // SVF_FE_BASIC_TYPES_H</span></div>
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="anamespaceSVF_html_a827d09974dc7bf0849f96823cc2fee89"><div class="ttname"><a href="namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89">SVF::DomTreeNode</a></div><div class="ttdeci">llvm::DomTreeNode DomTreeNode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00132">BasicTypes.h:132</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00164">BasicTypes.h:164</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00237">BasicTypes.h:237</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00234">BasicTypes.h:234</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00241">BasicTypes.h:241</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00238">BasicTypes.h:238</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8de26e1810ea0c3b1e8ad62f1c8a864d"><div class="ttname"><a href="namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d">SVF::SuccBBAndCondValPairVec</a></div><div class="ttdeci">std::vector&lt; SuccBBAndCondValPair &gt; SuccBBAndCondValPairVec</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00183">BasicTypes.h:183</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_aecbb42b8e9d17fa0189c50dda9fd5fdd"><div class="ttname"><a href="namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd">SVF::DominatorTree</a></div><div class="ttdeci">llvm::DominatorTree DominatorTree</div><div class="ttdoc">LLVM Dominators.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00131">BasicTypes.h:131</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00072">BasicTypes.h:72</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ab696aab940eb187dc81217efe8649af5"><div class="ttname"><a href="namespaceSVF.html#ab696aab940eb187dc81217efe8649af5">SVF::StoreInst</a></div><div class="ttdeci">llvm::StoreInst StoreInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00146">BasicTypes.h:146</a></div></div>
@@ -349,27 +354,27 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00178">BasicTypes.h:178</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00069">BasicTypes.h:69</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a77e088bfe47c0b0ddcbbe0693dec6fe5"><div class="ttname"><a href="namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5">SVF::LoopInfo</a></div><div class="ttdeci">llvm::LoopInfo LoopInfo</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00139">BasicTypes.h:139</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00236">BasicTypes.h:236</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00240">BasicTypes.h:240</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00177">BasicTypes.h:177</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00260">BasicTypes.h:260</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00264">BasicTypes.h:264</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a23bf614858f168b6ad76e0233cec9965"><div class="ttname"><a href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">SVF::BasicBlock</a></div><div class="ttdeci">llvm::BasicBlock BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00084">BasicTypes.h:84</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00176">BasicTypes.h:176</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a3d9e7f32dc17fe8d40f8d6a011403b91"><div class="ttname"><a href="namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91">SVF::IntegerType</a></div><div class="ttdeci">llvm::IntegerType IntegerType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00233">BasicTypes.h:233</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00237">BasicTypes.h:237</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_aa962cc1d782cc46553251e96b64a754b"><div class="ttname"><a href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">SVF::PointerType</a></div><div class="ttdeci">llvm::PointerType PointerType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00106">BasicTypes.h:106</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a2f60343a6839b9cc893bbf77e8a19915"><div class="ttname"><a href="namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915">SVF::DominanceFrontierBase</a></div><div class="ttdeci">llvm::DominanceFrontierBase&lt; llvm::BasicBlock, false &gt; DominanceFrontierBase</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00135">BasicTypes.h:135</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00245">BasicTypes.h:245</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00249">BasicTypes.h:249</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00153">BasicTypes.h:153</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00103">BasicTypes.h:103</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdoc">LLVM Basic classes.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00080">BasicTypes.h:80</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00252">BasicTypes.h:252</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00256">BasicTypes.h:256</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00116">BasicTypes.h:116</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00254">BasicTypes.h:254</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00258">BasicTypes.h:258</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00115">BasicTypes.h:115</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00166">BasicTypes.h:166</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00247">BasicTypes.h:247</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00251">BasicTypes.h:251</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a5faee14fa1dd41447bc73ac365fe33c1"><div class="ttname"><a href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF::Function</a></div><div class="ttdeci">llvm::Function Function</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00083">BasicTypes.h:83</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00068">BasicTypes.h:68</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a1f4624771922dc8c2447ad7433588c73"><div class="ttname"><a href="namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73">SVF::CallBase</a></div><div class="ttdeci">llvm::CallBase CallBase</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00144">BasicTypes.h:144</a></div></div>
@@ -388,7 +393,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_a146d286041987860388da3d8bc85cee3"><div class="ttname"><a href="namespaceSVF.html#a146d286041987860388da3d8bc85cee3">SVF::ArrayType</a></div><div class="ttdeci">llvm::ArrayType ArrayType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00093">BasicTypes.h:93</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00070">BasicTypes.h:70</a></div></div>
 <div class="ttc" id="aGEPTypeBridgeIterator_8h_html"><div class="ttname"><a href="GEPTypeBridgeIterator_8h.html">GEPTypeBridgeIterator.h</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00232">BasicTypes.h:232</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00236">BasicTypes.h:236</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00165">BasicTypes.h:165</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00163">BasicTypes.h:163</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00149">BasicTypes.h:149</a></div></div>
@@ -396,19 +401,19 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_a2bf58575ac7d068e0f1a4cf953b9e6cb"><div class="ttname"><a href="namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb">SVF::StructType</a></div><div class="ttdeci">llvm::StructType StructType</div><div class="ttdoc">LLVM types.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00092">BasicTypes.h:92</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00076">BasicTypes.h:76</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00104">BasicTypes.h:104</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00230">BasicTypes.h:230</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00234">BasicTypes.h:234</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00173">BasicTypes.h:173</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00251">BasicTypes.h:251</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00231">BasicTypes.h:231</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00255">BasicTypes.h:255</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00235">BasicTypes.h:235</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00148">BasicTypes.h:148</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00172">BasicTypes.h:172</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00157">BasicTypes.h:157</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00250">BasicTypes.h:250</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00254">BasicTypes.h:254</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00110">BasicTypes.h:110</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00244">BasicTypes.h:244</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00243">BasicTypes.h:243</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00235">BasicTypes.h:235</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00238">BasicTypes.h:238</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00248">BasicTypes.h:248</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00247">BasicTypes.h:247</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00239">BasicTypes.h:239</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00242">BasicTypes.h:242</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00156">BasicTypes.h:156</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00158">BasicTypes.h:158</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00082">BasicTypes.h:82</a></div></div>
@@ -417,15 +422,15 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_ab34383ee87cd45eb485fa29db482ffef"><div class="ttname"><a href="namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef">SVF::PostDominatorTree</a></div><div class="ttdeci">llvm::PostDominatorTree PostDominatorTree</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00134">BasicTypes.h:134</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00160">BasicTypes.h:160</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00117">BasicTypes.h:117</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a1c7c7ac12791c0ae386283c0a4f127ba"><div class="ttname"><a href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">SVF::raw_fd_ostream</a></div><div class="ttdeci">llvm::raw_fd_ostream raw_fd_ostream</div><div class="ttdoc">LLVM outputs.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00257">BasicTypes.h:257</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a1c7c7ac12791c0ae386283c0a4f127ba"><div class="ttname"><a href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">SVF::raw_fd_ostream</a></div><div class="ttdeci">llvm::raw_fd_ostream raw_fd_ostream</div><div class="ttdoc">LLVM outputs.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00261">BasicTypes.h:261</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00170">BasicTypes.h:170</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00122">BasicTypes.h:122</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_adefcb50414ea999d70cea5ccdbcb98d7"><div class="ttname"><a href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">SVF::ConstantInt</a></div><div class="ttdeci">llvm::ConstantInt ConstantInt</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00123">BasicTypes.h:123</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00229">BasicTypes.h:229</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00233">BasicTypes.h:233</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00151">BasicTypes.h:151</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_adc8b60ca7d60cf6c81feae20e4a04c63"><div class="ttname"><a href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">SVF::CallInst</a></div><div class="ttdeci">llvm::CallInst CallInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00145">BasicTypes.h:145</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00171">BasicTypes.h:171</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a3436a988bf80c021cd8022fb445b66d5"><div class="ttname"><a href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">SVF::succ_const_iterator</a></div><div class="ttdeci">llvm::succ_const_iterator succ_const_iterator</div><div class="ttdoc">LLVM Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00269">BasicTypes.h:269</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a3436a988bf80c021cd8022fb445b66d5"><div class="ttname"><a href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">SVF::succ_const_iterator</a></div><div class="ttdeci">llvm::succ_const_iterator succ_const_iterator</div><div class="ttdoc">LLVM Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00273">BasicTypes.h:273</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00119">BasicTypes.h:119</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00168">BasicTypes.h:168</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a0f3339f5241441c7e6023df9e0cfa295"><div class="ttname"><a href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">SVF::VACopyInst</a></div><div class="ttdeci">llvm::VACopyInst VACopyInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00174">BasicTypes.h:174</a></div></div>
@@ -441,14 +446,15 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_a3011dbac9102f044ad5f36a4ad3d4a71"><div class="ttname"><a href="namespaceSVF.html#a3011dbac9102f044ad5f36a4ad3d4a71">SVF::NamedMDNode</a></div><div class="ttdeci">llvm::NamedMDNode NamedMDNode</div><div class="ttdoc">LLVM metadata and debug information.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00109">BasicTypes.h:109</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00099">BasicTypes.h:99</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad49e4222ba46d9490b87a80df8b46800"><div class="ttname"><a href="namespaceSVF.html#ad49e4222ba46d9490b87a80df8b46800">SVF::ConstantFP</a></div><div class="ttdeci">llvm::ConstantFP ConstantFP</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00124">BasicTypes.h:124</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00253">BasicTypes.h:253</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00257">BasicTypes.h:257</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00175">BasicTypes.h:175</a></div></div>
-<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00242">BasicTypes.h:242</a></div></div>
+<div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00246">BasicTypes.h:246</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00114">BasicTypes.h:114</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a58cdfbc4160cae08745b67844ac29801"><div class="ttname"><a href="namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801">SVF::Argument</a></div><div class="ttdeci">llvm::Argument Argument</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00143">BasicTypes.h:143</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00162">BasicTypes.h:162</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_aacffd97ab4cb45aeae2e67ec479889aa"><div class="ttname"><a href="namespaceSVF.html#aacffd97ab4cb45aeae2e67ec479889aa">SVF::GlobalIFunc</a></div><div class="ttdeci">llvm::GlobalIFunc GlobalIFunc</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00127">BasicTypes.h:127</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00169">BasicTypes.h:169</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a255efa5be786996cbdd0c1f3d98b8400"><div class="ttname"><a href="namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400">SVF::SuccBBAndCondValPair</a></div><div class="ttdeci">std::pair&lt; const BasicBlock *, const ConstantInt * &gt; SuccBBAndCondValPair</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00182">BasicTypes.h:182</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a90f6c91ba7a3c31c84b5c25277d83fca"><div class="ttname"><a href="namespaceSVF.html#a90f6c91ba7a3c31c84b5c25277d83fca">SVF::ConstantPointerNull</a></div><div class="ttdeci">llvm::ConstantPointerNull ConstantPointerNull</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00125">BasicTypes.h:125</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>