svf-tools 1.0.425 → 1.0.428

package/SVF-doxygen/html/html/namespaceSVF.html

@@ -808,14 +808,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">DataLayout</a></td></tr>
 <tr class="memdesc:a03db82b8a7914367024723dba4d6ca3c"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM data layout.  <a href="#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">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; <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *, 8 &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ad09d8882474ef59b50d1c6a6d3ba0b59">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">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">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">Argument</a></td></tr>
 <tr class="memdesc:a58cdfbc4160cae08745b67844ac29801"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM Aliases and constants.  <a href="#a58cdfbc4160cae08745b67844ac29801">More...</a><br /></td></tr>
 <tr class="separator:a58cdfbc4160cae08745b67844ac29801"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -823,16 +815,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">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">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">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">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">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">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">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">ConstantArray</a></td></tr>
@@ -853,70 +837,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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">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">ScalarEvolutionWrapperPass</a></td></tr>
 <tr class="memdesc:a9f1aca0384166e42d14e2608009ebc01"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM scalar evolution.  <a href="#a9f1aca0384166e42d14e2608009ebc01">More...</a><br /></td></tr>
 <tr class="separator:a9f1aca0384166e42d14e2608009ebc01"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -1031,9 +963,8 @@ Typedefs</h2></td></tr>
 <tr class="memitem:aedf0d6718ca176e0b9e17ab4b30729c6"><td class="memTemplParams" colspan="2">template&lt;typename Key , typename Value , typename Compare  = std::less&lt;Key&gt;, typename Allocator  = std::allocator&lt;std::pair&lt;const Key, Value&gt;&gt;&gt; </td></tr>
 <tr class="memitem:aedf0d6718ca176e0b9e17ab4b30729c6"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a> = std::map&lt; Key, <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>, Compare, Allocator &gt;</td></tr>
 <tr class="separator:aedf0d6718ca176e0b9e17ab4b30729c6"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aa408bbe668ca1208beceae0f842079b4"><td class="memTemplParams" colspan="2">template&lt;typename T , unsigned N&gt; </td></tr>
-<tr class="memitem:aa408bbe668ca1208beceae0f842079b4"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aa408bbe668ca1208beceae0f842079b4">SmallVector</a> = llvm::SmallVector&lt; T, N &gt;</td></tr>
-<tr class="separator:aa408bbe668ca1208beceae0f842079b4"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a02be4933b76c2baa7fdbe8b290e12bb3"><td class="memItemLeft" align="right" valign="top">typedef llvm::SmallVector&lt; llvm::BasicBlock *, 8 &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a02be4933b76c2baa7fdbe8b290e12bb3">SmallBBVector</a></td></tr>
+<tr class="separator:a02be4933b76c2baa7fdbe8b290e12bb3"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:af15e78ec0ab5bf5328d0f8e90c74fe4b"><td class="memItemLeft" align="right" valign="top">typedef std::pair&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">NodePair</a></td></tr>
 <tr class="separator:af15e78ec0ab5bf5328d0f8e90c74fe4b"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a3c2bd95727ec0d9c55c631b6617026c8"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet</a>&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8">OrderedNodeSet</a></td></tr>
@@ -1054,14 +985,10 @@ Typedefs</h2></td></tr>
 <tr class="separator:ab80cc7e84367e8c5a6a5a617880890f5"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a35068c3650567d5051416db4aeb48e74"><td class="memItemLeft" align="right" valign="top">typedef std::deque&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a35068c3650567d5051416db4aeb48e74">NodeDeque</a></td></tr>
 <tr class="separator:a35068c3650567d5051416db4aeb48e74"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9893c2871f3e879e8e50c2ed157bc615"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aa408bbe668ca1208beceae0f842079b4">SmallVector</a>&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>, 16 &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a9893c2871f3e879e8e50c2ed157bc615">SmallVector16</a></td></tr>
-<tr class="separator:a9893c2871f3e879e8e50c2ed157bc615"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5b2b380d8e5b1c790157dc4799d3f403"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aa408bbe668ca1208beceae0f842079b4">SmallVector</a>&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>, 8 &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a5b2b380d8e5b1c790157dc4799d3f403">SmallVector8</a></td></tr>
-<tr class="separator:a5b2b380d8e5b1c790157dc4799d3f403"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a0d2e17d5b07a50ed95e8f407cd6dd0be"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">NodeSet</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be">EdgeSet</a></td></tr>
 <tr class="separator:a0d2e17d5b07a50ed95e8f407cd6dd0be"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a542c6d5483bfc74fa58b45ad06b65960"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a9893c2871f3e879e8e50c2ed157bc615">SmallVector16</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">CallStrCxt</a></td></tr>
-<tr class="separator:a542c6d5483bfc74fa58b45ad06b65960"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab700523619b089b952498f39a7f5b6b1"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a></td></tr>
+<tr class="separator:ab700523619b089b952498f39a7f5b6b1"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ad5ce5ddecac033fe5309cb929d8dea3a"><td class="memItemLeft" align="right" valign="top">typedef llvm::StringMap&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ad5ce5ddecac033fe5309cb929d8dea3a">StringMap</a></td></tr>
 <tr class="separator:ad5ce5ddecac033fe5309cb929d8dea3a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a9ec7a8dc63411ee3724a25a59191be0c"><td class="memItemLeft" align="right" valign="top">typedef unsigned&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">Version</a></td></tr>
@@ -1183,7 +1110,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00091">91</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00095">95</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1201,7 +1128,7 @@ Functions</h2></td></tr>
 
 <p>LLVM Instructions. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00135">135</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00126">126</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1219,7 +1146,7 @@ Functions</h2></td></tr>
 
 <p>LLVM Aliases and constants. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00115">115</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00110">110</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1235,39 +1162,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00102">102</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a582e3736a2bbb0540364c1693d831b49"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a582e3736a2bbb0540364c1693d831b49">&#9670;&nbsp;</a></span>AtomicCmpXchgInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::AtomicCmpXchgInst <a class="el" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">SVF::AtomicCmpXchgInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00162">162</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a468154e0ab9e7be82afef1aa0a2fb9e0"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a468154e0ab9e7be82afef1aa0a2fb9e0">&#9670;&nbsp;</a></span>AtomicRMWInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::AtomicRMWInst <a class="el" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">SVF::AtomicRMWInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00163">163</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00101">101</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1283,39 +1178,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00075">75</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="aad5d26ab07a5d1314bdb8f54e0fcdb22"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aad5d26ab07a5d1314bdb8f54e0fcdb22">&#9670;&nbsp;</a></span>BinaryOperator</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::BinaryOperator <a class="el" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">SVF::BinaryOperator</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00152">152</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="afc50da46a6ea7c2cf61683bbec4d7c8d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afc50da46a6ea7c2cf61683bbec4d7c8d">&#9670;&nbsp;</a></span>BitCastInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::BitCastInst <a class="el" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">SVF::BitCastInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00144">144</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00074">74</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1331,7 +1194,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00149">149</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00131">131</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1347,7 +1210,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00200">200</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00165">165</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1363,23 +1226,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00078">78</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="ac6b6710585fc6667858ccfd4311b6ab5"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac6b6710585fc6667858ccfd4311b6ab5">&#9670;&nbsp;</a></span>CallBrInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::CallBrInst <a class="el" href="namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5">SVF::CallBrInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00138">138</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00077">77</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1395,7 +1242,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00136">136</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00127">127</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1411,40 +1258,24 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00085">85</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00089">89</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
-<a id="a542c6d5483bfc74fa58b45ad06b65960"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a542c6d5483bfc74fa58b45ad06b65960">&#9670;&nbsp;</a></span>CallStrCxt</h2>
+<a id="ab700523619b089b952498f39a7f5b6b1"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab700523619b089b952498f39a7f5b6b1">&#9670;&nbsp;</a></span>CallStrCxt</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="namespaceSVF.html#a9893c2871f3e879e8e50c2ed157bc615">SmallVector16</a> <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">SVF::CallStrCxt</a></td>
+          <td class="memname">typedef std::vector&lt;<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&gt; <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">SVF::CallStrCxt</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00127">127</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
-</div>
-</div>
-<a id="a962e9a9044a46fc4bd2367384f6e0827"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a962e9a9044a46fc4bd2367384f6e0827">&#9670;&nbsp;</a></span>CastInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::CastInst <a class="el" href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">SVF::CastInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00143">143</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
 </div>
 </div>
 <a id="a6144ebf5a46ac5e8899044864caf92ba"></a>
@@ -1477,22 +1308,6 @@ Functions</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="CSC_8h_source.html#l00044">44</a> of file <a class="el" href="CSC_8h_source.html">CSC.h</a>.</p>
 
-</div>
-</div>
-<a id="a5d875a9d726bb9f68a17efa528dec0b4"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a5d875a9d726bb9f68a17efa528dec0b4">&#9670;&nbsp;</a></span>CmpInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::CmpInst <a class="el" href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">SVF::CmpInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00148">148</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
 </div>
 </div>
 <a id="a032e8478a7b6a8bb0b7755c98a7bce91"></a>
@@ -1507,7 +1322,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00197">197</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00162">162</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1523,7 +1338,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00198">198</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00163">163</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1539,7 +1354,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00116">116</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00111">111</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1555,7 +1370,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00124">124</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00115">115</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1571,7 +1386,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00117">117</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00112">112</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1587,55 +1402,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00126">126</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a8ad3aa124fabddc2fdd07c50403d70a9"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a8ad3aa124fabddc2fdd07c50403d70a9">&#9670;&nbsp;</a></span>ConstantDataSequential</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::ConstantDataSequential <a class="el" href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9">SVF::ConstantDataSequential</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00118">118</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a911dbaab38cb42deb9c195c7f687853d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a911dbaab38cb42deb9c195c7f687853d">&#9670;&nbsp;</a></span>ConstantExpr</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::ConstantExpr <a class="el" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">SVF::ConstantExpr</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00122">122</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="ad49e4222ba46d9490b87a80df8b46800"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad49e4222ba46d9490b87a80df8b46800">&#9670;&nbsp;</a></span>ConstantFP</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::ConstantFP <a class="el" href="namespaceSVF.html#ad49e4222ba46d9490b87a80df8b46800">SVF::ConstantFP</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00120">120</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00117">117</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1651,7 +1418,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00119">119</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00113">113</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1667,39 +1434,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00123">123</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a2b28f48dde0a9a91d251e654ce1f9477"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a2b28f48dde0a9a91d251e654ce1f9477">&#9670;&nbsp;</a></span>ConstantStruct</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::ConstantStruct <a class="el" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">SVF::ConstantStruct</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00111">111</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="aae40550b2952fd0e4483f3ee94e89820"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aae40550b2952fd0e4483f3ee94e89820">&#9670;&nbsp;</a></span>ConstantTokenNone</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::ConstantTokenNone <a class="el" href="namespaceSVF.html#aae40550b2952fd0e4483f3ee94e89820">SVF::ConstantTokenNone</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00121">121</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00114">114</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1783,7 +1518,7 @@ Functions</h2></td></tr>
 
 <p>LLVM data layout. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00108">108</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00107">107</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1801,7 +1536,7 @@ Functions</h2></td></tr>
 
 <p>LLVM debug information. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00206">206</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00171">171</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1817,7 +1552,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00208">208</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00173">173</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1833,7 +1568,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00209">209</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00174">174</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1849,7 +1584,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00210">210</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00175">175</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1865,7 +1600,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00214">214</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00179">179</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1881,7 +1616,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00215">215</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00180">180</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1897,7 +1632,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00212">212</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00177">177</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1913,7 +1648,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00213">213</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00178">178</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1929,7 +1664,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00211">211</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00176">176</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1945,7 +1680,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00207">207</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00172">172</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1961,7 +1696,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00216">216</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00181">181</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1979,7 +1714,7 @@ Functions</h2></td></tr>
 
 <p>LLVM Dominators. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00182">182</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00147">147</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1995,7 +1730,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00186">186</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00151">151</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2011,7 +1746,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00183">183</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00148">148</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2027,7 +1762,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00185">185</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00150">150</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2043,7 +1778,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00083">83</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00087">87</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2075,23 +1810,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00120">120</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a61f0d928e58d4f7e21616f770ae1080b"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a61f0d928e58d4f7e21616f770ae1080b">&#9670;&nbsp;</a></span>FenceInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::FenceInst <a class="el" href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b">SVF::FenceInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00161">161</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00122">122</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2125,22 +1844,6 @@ Functions</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00047">47</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
 
-</div>
-</div>
-<a id="a9868a60a9cc7b78965a23b5034100f88"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9868a60a9cc7b78965a23b5034100f88">&#9670;&nbsp;</a></span>FreezeInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::FreezeInst <a class="el" href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88">SVF::FreezeInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00168">168</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
 </div>
 </div>
 <a id="a5faee14fa1dd41447bc73ac365fe33c1"></a>
@@ -2155,7 +1858,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00074">74</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00073">73</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2171,7 +1874,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00104">104</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00103">103</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2503,7 +2206,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00199">199</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00164">164</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2521,22 +2224,6 @@ Functions</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00055">55</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
 
-</div>
-</div>
-<a id="ac4e93e1fec646ff222940a663843921b"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac4e93e1fec646ff222940a663843921b">&#9670;&nbsp;</a></span>GetElementPtrInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::GetElementPtrInst <a class="el" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">SVF::GetElementPtrInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00142">142</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
 </div>
 </div>
 <a id="a0fd33072b099f61eaa642e94ed0c03fc"></a>
@@ -2551,7 +2238,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00125">125</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00116">116</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2567,7 +2254,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00079">79</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00078">78</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2583,7 +2270,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00080">80</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00079">79</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2599,7 +2286,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00081">81</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00080">80</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2615,89 +2302,57 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00201">201</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00166">166</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
-<a id="a6b857824fb3c39ff6de953651260a326"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a6b857824fb3c39ff6de953651260a326">&#9670;&nbsp;</a></span>InsertElementInst</h2>
+<a id="a255af6ff30782cb9a548feadb0fe7d6b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a255af6ff30782cb9a548feadb0fe7d6b">&#9670;&nbsp;</a></span>inst_iterator</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef llvm::InsertElementInst <a class="el" href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326">SVF::InsertElementInst</a></td>
+          <td class="memname">typedef llvm::inst_iterator <a class="el" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">SVF::inst_iterator</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
 
+<p>LLVM Iterators. </p>
+
 <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00156">156</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
-<a id="a485b10fc29e76fdb6f31a56ebbde8f24"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a485b10fc29e76fdb6f31a56ebbde8f24">&#9670;&nbsp;</a></span>InsertValueInst</h2>
+<a id="a7875172ff434b2210eea7cecfbbd959e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a7875172ff434b2210eea7cecfbbd959e">&#9670;&nbsp;</a></span>Instruction</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef llvm::InsertValueInst <a class="el" href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24">SVF::InsertValueInst</a></td>
+          <td class="memname">typedef llvm::Instruction <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00151">151</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00076">76</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
-<a id="a255af6ff30782cb9a548feadb0fe7d6b"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a255af6ff30782cb9a548feadb0fe7d6b">&#9670;&nbsp;</a></span>inst_iterator</h2>
+<a id="a3d9e7f32dc17fe8d40f8d6a011403b91"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3d9e7f32dc17fe8d40f8d6a011403b91">&#9670;&nbsp;</a></span>IntegerType</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef llvm::inst_iterator <a class="el" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">SVF::inst_iterator</a></td>
+          <td class="memname">typedef llvm::IntegerType <a class="el" href="namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91">SVF::IntegerType</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
 
-<p>LLVM Iterators. </p>
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00191">191</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a7875172ff434b2210eea7cecfbbd959e"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a7875172ff434b2210eea7cecfbbd959e">&#9670;&nbsp;</a></span>Instruction</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::Instruction <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00077">77</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a3d9e7f32dc17fe8d40f8d6a011403b91"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a3d9e7f32dc17fe8d40f8d6a011403b91">&#9670;&nbsp;</a></span>IntegerType</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::IntegerType <a class="el" href="namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91">SVF::IntegerType</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00203">203</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00168">168</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2731,38 +2386,6 @@ Functions</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00057">57</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
 
-</div>
-</div>
-<a id="a07578c424e9d3c07a54e65404a0a6abb"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a07578c424e9d3c07a54e65404a0a6abb">&#9670;&nbsp;</a></span>IntToPtrInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::IntToPtrInst <a class="el" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">SVF::IntToPtrInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00147">147</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a56cb9d6d1e05f6c31bfe1a4045bc8b5f"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">&#9670;&nbsp;</a></span>InvokeInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::InvokeInst <a class="el" href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">SVF::InvokeInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00137">137</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
 </div>
 </div>
 <a id="a94824519e439aeef1568d415b6f7331c"></a>
@@ -2777,23 +2400,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00202">202</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="afa513a3c76371907221ee2b1ef289c71"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afa513a3c76371907221ee2b1ef289c71">&#9670;&nbsp;</a></span>LandingPadInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::LandingPadInst <a class="el" href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71">SVF::LandingPadInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00158">158</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00167">167</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2811,7 +2418,7 @@ Functions</h2></td></tr>
 
 <p>LLVM Basic classes. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00068">68</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00067">67</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2827,7 +2434,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00140">140</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00129">129</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2875,7 +2482,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00085">85</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00084">84</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2891,7 +2498,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00086">86</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00085">85</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2907,7 +2514,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00188">188</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00153">153</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2925,7 +2532,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00102">102</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00106">106</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2941,7 +2548,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00131">131</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00122">122</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2957,23 +2564,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00130">130</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a339bbddac9d9dffd5ef602200d34c403"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a339bbddac9d9dffd5ef602200d34c403">&#9670;&nbsp;</a></span>MemoryLocation</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::MemoryLocation <a class="el" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">SVF::MemoryLocation</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00112">112</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00121">121</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2989,7 +2580,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00082">82</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00081">81</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3005,7 +2596,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00092">92</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00091">91</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3071,7 +2662,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
 
 <p>LLVM metadata. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00129">129</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00120">120</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3087,7 +2678,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00088">88</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00092">92</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3103,7 +2694,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00123">123</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00125">125</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3135,7 +2726,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00122">122</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00124">124</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3151,7 +2742,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00114">114</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00116">116</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3167,7 +2758,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00118">118</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00120">120</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3183,7 +2774,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00117">117</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00119">119</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3199,7 +2790,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00116">116</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00118">118</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3215,7 +2806,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00121">121</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00123">123</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3231,7 +2822,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00119">119</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00121">121</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3265,7 +2856,7 @@ template&lt;typename Key , typename Value , typename Compare  = std::less&lt;Key
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00109">109</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00113">113</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3281,7 +2872,7 @@ template&lt;typename Key , typename Value , typename Compare  = std::less&lt;Key
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00115">115</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00117">117</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3299,7 +2890,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00105">105</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00109">109</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3315,7 +2906,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00075">75</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00079">79</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3365,22 +2956,6 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
 
 <p class="definition">Definition at line <a class="el" href="IRGraph_8h_source.html#l00042">42</a> of file <a class="el" href="IRGraph_8h_source.html">IRGraph.h</a>.</p>
 
-</div>
-</div>
-<a id="ac8d4990439af7a2ecca7e15383119674"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac8d4990439af7a2ecca7e15383119674">&#9670;&nbsp;</a></span>PHINode</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::PHINode <a class="el" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">SVF::PHINode</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00141">141</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
 </div>
 </div>
 <a id="a71d4e214e049f02bf26537cba6328673"></a>
@@ -3411,7 +2986,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00103">103</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00102">102</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3427,7 +3002,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00093">93</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00097">97</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3443,7 +3018,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00184">184</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00149">149</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3459,23 +3034,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00187">187</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a3d5581c375ee3fe856327dc648c379f0"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a3d5581c375ee3fe856327dc648c379f0">&#9670;&nbsp;</a></span>PtrToIntInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::PtrToIntInst <a class="el" href="namespaceSVF.html#a3d5581c375ee3fe856327dc648c379f0">SVF::PtrToIntInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00154">154</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00152">152</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3491,7 +3050,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00096">96</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00095">95</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3509,23 +3068,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
 
 <p>LLVM outputs. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00095">95</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a8c685f6bff3a67bf7fe3557dbfa84caa"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a8c685f6bff3a67bf7fe3557dbfa84caa">&#9670;&nbsp;</a></span>ResumeInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::ResumeInst <a class="el" href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">SVF::ResumeInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00159">159</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00094">94</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3541,7 +3084,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00145">145</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00130">130</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3557,7 +3100,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00078">78</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00082">82</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3573,7 +3116,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00080">80</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00084">84</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3589,7 +3132,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00176">176</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00141">141</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3607,7 +3150,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
 
 <p>LLVM scalar evolution. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00175">175</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00140">140</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3623,7 +3166,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00179">179</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00144">144</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3639,7 +3182,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00177">177</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00142">142</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3655,23 +3198,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00178">178</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="ab7fac9d4a4839be445c89777e21bc307"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ab7fac9d4a4839be445c89777e21bc307">&#9670;&nbsp;</a></span>SelectInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::SelectInst <a class="el" href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307">SVF::SelectInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00146">146</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00143">143</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3689,89 +3216,23 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00097">97</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a64e69f438b8c302c4cae27735319fa49"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a64e69f438b8c302c4cae27735319fa49">&#9670;&nbsp;</a></span>ShuffleVectorInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::ShuffleVectorInst <a class="el" href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">SVF::ShuffleVectorInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00157">157</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="ad09d8882474ef59b50d1c6a6d3ba0b59"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad09d8882474ef59b50d1c6a6d3ba0b59">&#9670;&nbsp;</a></span>SmallBBVector</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::SmallVector&lt;<a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>*, 8&gt; <a class="el" href="namespaceSVF.html#ad09d8882474ef59b50d1c6a6d3ba0b59">SVF::SmallBBVector</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00110">110</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="aa408bbe668ca1208beceae0f842079b4"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aa408bbe668ca1208beceae0f842079b4">&#9670;&nbsp;</a></span>SmallVector</h2>
-
-<div class="memitem">
-<div class="memproto">
-<div class="memtemplate">
-template&lt;typename T , unsigned N&gt; </div>
-      <table class="memname">
-        <tr>
-          <td class="memname">using <a class="el" href="namespaceSVF.html#aa408bbe668ca1208beceae0f842079b4">SVF::SmallVector</a> = typedef llvm::SmallVector&lt;T, N&gt;</td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00112">112</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a9893c2871f3e879e8e50c2ed157bc615"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9893c2871f3e879e8e50c2ed157bc615">&#9670;&nbsp;</a></span>SmallVector16</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef <a class="el" href="namespaceSVF.html#aa408bbe668ca1208beceae0f842079b4">SmallVector</a>&lt;<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>,16&gt; <a class="el" href="namespaceSVF.html#a9893c2871f3e879e8e50c2ed157bc615">SVF::SmallVector16</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00124">124</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00101">101</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
-<a id="a5b2b380d8e5b1c790157dc4799d3f403"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a5b2b380d8e5b1c790157dc4799d3f403">&#9670;&nbsp;</a></span>SmallVector8</h2>
+<a id="a02be4933b76c2baa7fdbe8b290e12bb3"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a02be4933b76c2baa7fdbe8b290e12bb3">&#9670;&nbsp;</a></span>SmallBBVector</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="namespaceSVF.html#aa408bbe668ca1208beceae0f842079b4">SmallVector</a>&lt;<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>,8&gt; <a class="el" href="namespaceSVF.html#a5b2b380d8e5b1c790157dc4799d3f403">SVF::SmallVector8</a></td>
+          <td class="memname">typedef llvm::SmallVector&lt;llvm::BasicBlock*, 8&gt; <a class="el" href="namespaceSVF.html#a02be4933b76c2baa7fdbe8b290e12bb3">SVF::SmallBBVector</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00125">125</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00115">115</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3787,7 +3248,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00089">89</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00093">93</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3819,7 +3280,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00139">139</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00128">128</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3867,23 +3328,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00097">97</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a52c8654c221bb53a59f70ea3cb1e5c45"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a52c8654c221bb53a59f70ea3cb1e5c45">&#9670;&nbsp;</a></span>StructLayout</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::StructLayout <a class="el" href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">SVF::StructLayout</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00109">109</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00096">96</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3901,7 +3346,7 @@ template&lt;typename T , unsigned N&gt; </div>
 
 <p>LLVM types. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00101">101</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00100">100</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3917,7 +3362,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00195">195</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00160">160</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3965,7 +3410,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00150">150</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00132">132</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3981,7 +3426,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00084">84</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00088">88</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3997,7 +3442,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00086">86</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00090">90</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4013,7 +3458,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00098">98</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00097">97</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4029,7 +3474,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00073">73</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00072">72</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4045,7 +3490,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00077">77</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00081">81</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4061,23 +3506,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00079">79</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a292a6e8c5b4f2023b5575879c57eca62"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a292a6e8c5b4f2023b5575879c57eca62">&#9670;&nbsp;</a></span>UnaryOperator</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::UnaryOperator <a class="el" href="namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62">SVF::UnaryOperator</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00153">153</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00083">83</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4093,7 +3522,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00164">164</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00133">133</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4109,23 +3538,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00090">90</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a8ac6a8ff90f47a93166fbdf15be2d721"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a8ac6a8ff90f47a93166fbdf15be2d721">&#9670;&nbsp;</a></span>UnreachableInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::UnreachableInst <a class="el" href="namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721">SVF::UnreachableInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00160">160</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00089">89</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4141,7 +3554,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00084">84</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00083">83</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4157,55 +3570,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00083">83</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="abcafc32093ff5ee038b5fcf6e4076ed4"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#abcafc32093ff5ee038b5fcf6e4076ed4">&#9670;&nbsp;</a></span>VAArgInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::VAArgInst <a class="el" href="namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4">SVF::VAArgInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00155">155</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="a0f3339f5241441c7e6023df9e0cfa295"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a0f3339f5241441c7e6023df9e0cfa295">&#9670;&nbsp;</a></span>VACopyInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::VACopyInst <a class="el" href="namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295">SVF::VACopyInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00165">165</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="adb305e32f35af19b870b07711ba5b913"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#adb305e32f35af19b870b07711ba5b913">&#9670;&nbsp;</a></span>VAEndInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::VAEndInst <a class="el" href="namespaceSVF.html#adb305e32f35af19b870b07711ba5b913">SVF::VAEndInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00166">166</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00082">82</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4221,23 +3586,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00076">76</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
-</div>
-</div>
-<a id="ad92e392a50e7c6c1f635fe2dcebd1adc"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad92e392a50e7c6c1f635fe2dcebd1adc">&#9670;&nbsp;</a></span>VAStartInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::VAStartInst <a class="el" href="namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc">SVF::VAStartInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00167">167</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00075">75</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4253,7 +3602,7 @@ template&lt;typename T , unsigned N&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00105">105</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00104">104</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4602,8 +3951,8 @@ template&lt;typename F , typename S &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00326">326</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;{</div><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;    o &lt;&lt; <span class="stringliteral">&quot;&lt;&quot;</span> &lt;&lt; var.first &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; var.second &lt;&lt; <span class="stringliteral">&quot;&gt;&quot;</span>;</div><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;    <span class="keywordflow">return</span> o;</div><div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;}</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00291">291</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;{</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;    o &lt;&lt; <span class="stringliteral">&quot;&lt;&quot;</span> &lt;&lt; var.first &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; var.second &lt;&lt; <span class="stringliteral">&quot;&gt;&quot;</span>;</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;    <span class="keywordflow">return</span> o;</div><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;}</div></div><!-- fragment -->
 </div>
 </div>
 <a id="aa01b96d5bc6c3930b0bfca789acf75c4"></a>