svf-tools 1.0.802 → 1.0.804

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (228) hide show
  1. package/SVF-doxygen/html/BreakConstantExpr_8cpp.html +109 -14
  2. package/SVF-doxygen/html/BreakConstantExpr_8cpp_source.html +188 -141
  3. package/SVF-doxygen/html/BreakConstantExpr_8h_source.html +1 -1
  4. package/SVF-doxygen/html/IntervalValue_8h.html +0 -4
  5. package/SVF-doxygen/html/IntervalValue_8h_source.html +354 -302
  6. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/MSSAMuChi_8h_source.html +1 -1
  8. package/SVF-doxygen/html/MemRegion_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/PointsTo_8cpp_source.html +2 -2
  10. package/SVF-doxygen/html/PointsTo_8h_source.html +2 -2
  11. package/SVF-doxygen/html/SVFType_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/SVFType_8h_source.html +1 -1
  13. package/SVF-doxygen/html/SVFValue_8h_source.html +1 -1
  14. package/SVF-doxygen/html/SparseBitVector_8h_source.html +2 -2
  15. package/SVF-doxygen/html/classSVF_1_1BreakConstantGEPs.html +102 -101
  16. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +1 -1
  17. package/SVF-doxygen/html/fastcluster__dm_8cpp_8inc_source.html +1 -1
  18. package/SVF-doxygen/html/globals_func_h.html +6 -0
  19. package/SVF-doxygen/html/globals_h.html +6 -0
  20. package/SVF-doxygen/html/namespaceSVF.html +330 -294
  21. package/SVF-doxygen/html/search/all_10.js +324 -324
  22. package/SVF-doxygen/html/search/all_11.js +222 -222
  23. package/SVF-doxygen/html/search/all_12.js +542 -542
  24. package/SVF-doxygen/html/search/all_13.js +191 -191
  25. package/SVF-doxygen/html/search/all_14.js +67 -67
  26. package/SVF-doxygen/html/search/all_15.js +170 -170
  27. package/SVF-doxygen/html/search/all_16.js +63 -63
  28. package/SVF-doxygen/html/search/all_17.js +1 -1
  29. package/SVF-doxygen/html/search/all_18.js +1 -1
  30. package/SVF-doxygen/html/search/all_19.js +11 -11
  31. package/SVF-doxygen/html/search/all_1a.js +172 -172
  32. package/SVF-doxygen/html/search/all_8.js +135 -133
  33. package/SVF-doxygen/html/search/all_9.js +610 -610
  34. package/SVF-doxygen/html/search/all_a.js +46 -46
  35. package/SVF-doxygen/html/search/all_b.js +26 -26
  36. package/SVF-doxygen/html/search/all_c.js +116 -116
  37. package/SVF-doxygen/html/search/all_d.js +196 -196
  38. package/SVF-doxygen/html/search/all_e.js +207 -207
  39. package/SVF-doxygen/html/search/all_f.js +116 -116
  40. package/SVF-doxygen/html/search/classes_0.js +26 -26
  41. package/SVF-doxygen/html/search/classes_1.js +9 -9
  42. package/SVF-doxygen/html/search/classes_10.js +73 -73
  43. package/SVF-doxygen/html/search/classes_11.js +15 -15
  44. package/SVF-doxygen/html/search/classes_12.js +2 -2
  45. package/SVF-doxygen/html/search/classes_13.js +10 -10
  46. package/SVF-doxygen/html/search/classes_14.js +14 -14
  47. package/SVF-doxygen/html/search/classes_15.js +1 -1
  48. package/SVF-doxygen/html/search/classes_2.js +80 -80
  49. package/SVF-doxygen/html/search/classes_3.js +37 -37
  50. package/SVF-doxygen/html/search/classes_4.js +9 -9
  51. package/SVF-doxygen/html/search/classes_5.js +28 -28
  52. package/SVF-doxygen/html/search/classes_6.js +104 -104
  53. package/SVF-doxygen/html/search/classes_7.js +33 -33
  54. package/SVF-doxygen/html/search/classes_8.js +56 -56
  55. package/SVF-doxygen/html/search/classes_9.js +1 -1
  56. package/SVF-doxygen/html/search/classes_a.js +12 -12
  57. package/SVF-doxygen/html/search/classes_b.js +29 -29
  58. package/SVF-doxygen/html/search/classes_c.js +6 -6
  59. package/SVF-doxygen/html/search/classes_d.js +18 -18
  60. package/SVF-doxygen/html/search/classes_e.js +36 -36
  61. package/SVF-doxygen/html/search/classes_f.js +25 -25
  62. package/SVF-doxygen/html/search/defines_0.js +3 -3
  63. package/SVF-doxygen/html/search/defines_1.js +2 -2
  64. package/SVF-doxygen/html/search/defines_2.js +30 -30
  65. package/SVF-doxygen/html/search/defines_3.js +21 -21
  66. package/SVF-doxygen/html/search/defines_4.js +2 -2
  67. package/SVF-doxygen/html/search/defines_5.js +4 -4
  68. package/SVF-doxygen/html/search/defines_6.js +2 -2
  69. package/SVF-doxygen/html/search/defines_7.js +5 -5
  70. package/SVF-doxygen/html/search/defines_8.js +11 -11
  71. package/SVF-doxygen/html/search/defines_9.js +9 -9
  72. package/SVF-doxygen/html/search/defines_a.js +2 -2
  73. package/SVF-doxygen/html/search/defines_b.js +1 -1
  74. package/SVF-doxygen/html/search/defines_c.js +3 -3
  75. package/SVF-doxygen/html/search/defines_d.js +2 -2
  76. package/SVF-doxygen/html/search/defines_e.js +7 -7
  77. package/SVF-doxygen/html/search/defines_f.js +3 -3
  78. package/SVF-doxygen/html/search/enums_0.js +3 -3
  79. package/SVF-doxygen/html/search/enums_1.js +2 -2
  80. package/SVF-doxygen/html/search/enums_10.js +1 -1
  81. package/SVF-doxygen/html/search/enums_11.js +1 -1
  82. package/SVF-doxygen/html/search/enums_2.js +8 -8
  83. package/SVF-doxygen/html/search/enums_3.js +1 -1
  84. package/SVF-doxygen/html/search/enums_4.js +3 -3
  85. package/SVF-doxygen/html/search/enums_5.js +1 -1
  86. package/SVF-doxygen/html/search/enums_6.js +2 -2
  87. package/SVF-doxygen/html/search/enums_7.js +2 -2
  88. package/SVF-doxygen/html/search/enums_8.js +4 -4
  89. package/SVF-doxygen/html/search/enums_9.js +1 -1
  90. package/SVF-doxygen/html/search/enums_a.js +1 -1
  91. package/SVF-doxygen/html/search/enums_b.js +7 -7
  92. package/SVF-doxygen/html/search/enums_c.js +1 -1
  93. package/SVF-doxygen/html/search/enums_d.js +4 -4
  94. package/SVF-doxygen/html/search/enums_e.js +2 -2
  95. package/SVF-doxygen/html/search/enums_f.js +4 -4
  96. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  97. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  98. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  99. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  100. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  101. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  102. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  103. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  104. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  105. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  106. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  107. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  108. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  109. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  110. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  111. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  112. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  113. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  114. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  115. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  116. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  117. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  118. package/SVF-doxygen/html/search/files_0.js +13 -13
  119. package/SVF-doxygen/html/search/files_1.js +7 -7
  120. package/SVF-doxygen/html/search/files_10.js +8 -8
  121. package/SVF-doxygen/html/search/files_11.js +8 -8
  122. package/SVF-doxygen/html/search/files_12.js +2 -2
  123. package/SVF-doxygen/html/search/files_2.js +55 -55
  124. package/SVF-doxygen/html/search/files_3.js +14 -14
  125. package/SVF-doxygen/html/search/files_4.js +5 -5
  126. package/SVF-doxygen/html/search/files_5.js +13 -13
  127. package/SVF-doxygen/html/search/files_6.js +9 -9
  128. package/SVF-doxygen/html/search/files_7.js +14 -14
  129. package/SVF-doxygen/html/search/files_8.js +13 -13
  130. package/SVF-doxygen/html/search/files_9.js +18 -18
  131. package/SVF-doxygen/html/search/files_a.js +3 -3
  132. package/SVF-doxygen/html/search/files_b.js +2 -2
  133. package/SVF-doxygen/html/search/files_c.js +20 -20
  134. package/SVF-doxygen/html/search/files_d.js +4 -4
  135. package/SVF-doxygen/html/search/files_e.js +62 -62
  136. package/SVF-doxygen/html/search/files_f.js +8 -8
  137. package/SVF-doxygen/html/search/functions_0.js +12 -12
  138. package/SVF-doxygen/html/search/functions_1.js +359 -359
  139. package/SVF-doxygen/html/search/functions_10.js +140 -140
  140. package/SVF-doxygen/html/search/functions_11.js +138 -138
  141. package/SVF-doxygen/html/search/functions_12.js +277 -277
  142. package/SVF-doxygen/html/search/functions_13.js +59 -59
  143. package/SVF-doxygen/html/search/functions_14.js +39 -39
  144. package/SVF-doxygen/html/search/functions_15.js +71 -71
  145. package/SVF-doxygen/html/search/functions_16.js +32 -32
  146. package/SVF-doxygen/html/search/functions_17.js +3 -3
  147. package/SVF-doxygen/html/search/functions_18.js +172 -172
  148. package/SVF-doxygen/html/search/functions_2.js +86 -86
  149. package/SVF-doxygen/html/search/functions_3.js +257 -257
  150. package/SVF-doxygen/html/search/functions_4.js +75 -75
  151. package/SVF-doxygen/html/search/functions_5.js +53 -53
  152. package/SVF-doxygen/html/search/functions_6.js +59 -59
  153. package/SVF-doxygen/html/search/functions_7.js +851 -851
  154. package/SVF-doxygen/html/search/functions_8.js +148 -146
  155. package/SVF-doxygen/html/search/functions_9.js +428 -428
  156. package/SVF-doxygen/html/search/functions_a.js +30 -30
  157. package/SVF-doxygen/html/search/functions_b.js +2 -2
  158. package/SVF-doxygen/html/search/functions_c.js +26 -26
  159. package/SVF-doxygen/html/search/functions_d.js +77 -77
  160. package/SVF-doxygen/html/search/functions_e.js +35 -35
  161. package/SVF-doxygen/html/search/functions_f.js +56 -56
  162. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  163. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  164. package/SVF-doxygen/html/search/related_0.js +2 -2
  165. package/SVF-doxygen/html/search/related_1.js +2 -2
  166. package/SVF-doxygen/html/search/related_2.js +2 -2
  167. package/SVF-doxygen/html/search/related_3.js +2 -2
  168. package/SVF-doxygen/html/search/related_4.js +2 -2
  169. package/SVF-doxygen/html/search/related_5.js +1 -1
  170. package/SVF-doxygen/html/search/related_6.js +2 -2
  171. package/SVF-doxygen/html/search/related_7.js +4 -4
  172. package/SVF-doxygen/html/search/related_8.js +2 -2
  173. package/SVF-doxygen/html/search/related_9.js +4 -4
  174. package/SVF-doxygen/html/search/related_a.js +19 -19
  175. package/SVF-doxygen/html/search/related_b.js +4 -4
  176. package/SVF-doxygen/html/search/related_c.js +1 -1
  177. package/SVF-doxygen/html/search/related_d.js +11 -11
  178. package/SVF-doxygen/html/search/related_e.js +2 -2
  179. package/SVF-doxygen/html/search/related_f.js +2 -2
  180. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  181. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  182. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  183. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  184. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  185. package/SVF-doxygen/html/search/typedefs_13.js +35 -35
  186. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  187. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  188. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  189. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  190. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  191. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  192. package/SVF-doxygen/html/search/typedefs_7.js +42 -42
  193. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  194. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  195. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  196. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  197. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  198. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  199. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  200. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  201. package/SVF-doxygen/html/search/variables_0.js +151 -151
  202. package/SVF-doxygen/html/search/variables_1.js +75 -75
  203. package/SVF-doxygen/html/search/variables_10.js +97 -97
  204. package/SVF-doxygen/html/search/variables_11.js +44 -44
  205. package/SVF-doxygen/html/search/variables_12.js +92 -92
  206. package/SVF-doxygen/html/search/variables_13.js +75 -75
  207. package/SVF-doxygen/html/search/variables_14.js +14 -14
  208. package/SVF-doxygen/html/search/variables_15.js +48 -48
  209. package/SVF-doxygen/html/search/variables_16.js +9 -9
  210. package/SVF-doxygen/html/search/variables_17.js +1 -1
  211. package/SVF-doxygen/html/search/variables_18.js +2 -2
  212. package/SVF-doxygen/html/search/variables_2.js +37 -37
  213. package/SVF-doxygen/html/search/variables_3.js +142 -142
  214. package/SVF-doxygen/html/search/variables_4.js +55 -55
  215. package/SVF-doxygen/html/search/variables_5.js +36 -36
  216. package/SVF-doxygen/html/search/variables_6.js +66 -66
  217. package/SVF-doxygen/html/search/variables_7.js +33 -33
  218. package/SVF-doxygen/html/search/variables_8.js +7 -7
  219. package/SVF-doxygen/html/search/variables_9.js +77 -77
  220. package/SVF-doxygen/html/search/variables_a.js +4 -4
  221. package/SVF-doxygen/html/search/variables_b.js +10 -10
  222. package/SVF-doxygen/html/search/variables_c.js +45 -45
  223. package/SVF-doxygen/html/search/variables_d.js +56 -56
  224. package/SVF-doxygen/html/search/variables_e.js +123 -123
  225. package/SVF-doxygen/html/search/variables_f.js +30 -30
  226. package/package.json +1 -1
  227. package/svf/include/AbstractExecution/IntervalValue.h +74 -26
  228. package/svf-llvm/lib/BreakConstantExpr.cpp +53 -9
package/SVF-doxygen/html/BreakConstantExpr_8cpp.html CHANGED
@@ -100,6 +100,10 @@ Functions</h2></td></tr>
100
100
  <tr class="separator:a908d11ca6b0a342e6ddcdcced200cab3"><td class="memSeparator" colspan="2">&#160;</td></tr>
101
101
  <tr class="memitem:a81381bb19688464256bd09ef22e965e4"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4">hasConstantGEP</a> (<a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *V)</td></tr>
102
102
  <tr class="separator:a81381bb19688464256bd09ef22e965e4"><td class="memSeparator" colspan="2">&#160;</td></tr>
103
+ <tr class="memitem:a7ba88bf4cda44accf0eba327da8ab716"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="BreakConstantExpr_8cpp.html#a7ba88bf4cda44accf0eba327da8ab716">hasConstantBinaryOrUnaryOp</a> (<a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *V)</td></tr>
104
+ <tr class="separator:a7ba88bf4cda44accf0eba327da8ab716"><td class="memSeparator" colspan="2">&#160;</td></tr>
105
+ <tr class="memitem:a7b06934734ebef30b8f24221e1380f93"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="BreakConstantExpr_8cpp.html#a7b06934734ebef30b8f24221e1380f93">hasConstantExpr</a> (<a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *V)</td></tr>
106
+ <tr class="separator:a7b06934734ebef30b8f24221e1380f93"><td class="memSeparator" colspan="2">&#160;</td></tr>
103
107
  <tr class="memitem:a25cf7d9aff084a1cd1aa51c85a4a17e1"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">convertExpression</a> (<a class="el" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a> *CE, <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *InsertPt)</td></tr>
104
108
  <tr class="separator:a25cf7d9aff084a1cd1aa51c85a4a17e1"><td class="memSeparator" colspan="2">&#160;</td></tr>
105
109
  </table>
@@ -155,18 +159,107 @@ Functions</h2></td></tr>
155
159
  </table>
156
160
  </div><div class="memdoc">
157
161
 
158
- <p class="definition">Definition at line <a class="el" href="BreakConstantExpr_8cpp_source.html#l00118">118</a> of file <a class="el" href="BreakConstantExpr_8cpp_source.html">BreakConstantExpr.cpp</a>.</p>
159
- <div class="fragment"><div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160;{</div>
160
- <div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; <span class="comment">//</span></div>
161
- <div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; <span class="comment">// Convert this constant expression into a regular instruction.</span></div>
162
- <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; <span class="comment">//</span></div>
163
- <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; <span class="keywordflow">if</span> (CE-&gt;getOpcode() == Instruction::GetElementPtr)</div>
164
- <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; ++GEPChanges;</div>
165
- <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; ++TotalChanges;</div>
166
- <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* Result = CE-&gt;getAsInstruction();</div>
167
- <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; Result-&gt;insertBefore(InsertPt);</div>
168
- <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; <span class="keywordflow">return</span> Result;</div>
169
- <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160;}</div>
162
+ <p class="definition">Definition at line <a class="el" href="BreakConstantExpr_8cpp_source.html#l00162">162</a> of file <a class="el" href="BreakConstantExpr_8cpp_source.html">BreakConstantExpr.cpp</a>.</p>
163
+ <div class="fragment"><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160;{</div>
164
+ <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; <span class="comment">//</span></div>
165
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="comment">// Convert this constant expression into a regular instruction.</span></div>
166
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; <span class="comment">//</span></div>
167
+ <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keywordflow">if</span> (CE-&gt;getOpcode() == Instruction::GetElementPtr)</div>
168
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; ++GEPChanges;</div>
169
+ <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; ++TotalChanges;</div>
170
+ <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* Result = CE-&gt;getAsInstruction();</div>
171
+ <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; Result-&gt;insertBefore(InsertPt);</div>
172
+ <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keywordflow">return</span> Result;</div>
173
+ <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160;}</div>
174
+ </div><!-- fragment -->
175
+ </div>
176
+ </div>
177
+ <a id="a7ba88bf4cda44accf0eba327da8ab716"></a>
178
+ <h2 class="memtitle"><span class="permalink"><a href="#a7ba88bf4cda44accf0eba327da8ab716">&#9670;&nbsp;</a></span>hasConstantBinaryOrUnaryOp()</h2>
179
+
180
+ <div class="memitem">
181
+ <div class="memproto">
182
+ <table class="mlabels">
183
+ <tr>
184
+ <td class="mlabels-left">
185
+ <table class="memname">
186
+ <tr>
187
+ <td class="memname">static <a class="el" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a>* hasConstantBinaryOrUnaryOp </td>
188
+ <td>(</td>
189
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *&#160;</td>
190
+ <td class="paramname"><em>V</em></td><td>)</td>
191
+ <td></td>
192
+ </tr>
193
+ </table>
194
+ </td>
195
+ <td class="mlabels-right">
196
+ <span class="mlabels"><span class="mlabel">static</span></span> </td>
197
+ </tr>
198
+ </table>
199
+ </div><div class="memdoc">
200
+
201
+ <p class="definition">Definition at line <a class="el" href="BreakConstantExpr_8cpp_source.html#l00112">112</a> of file <a class="el" href="BreakConstantExpr_8cpp_source.html">BreakConstantExpr.cpp</a>.</p>
202
+ <div class="fragment"><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160;{</div>
203
+ <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a> * CE = SVFUtil::dyn_cast&lt;ConstantExpr&gt;(V))</div>
204
+ <div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; {</div>
205
+ <div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; <span class="keywordflow">if</span> (Instruction::isBinaryOp(CE-&gt;getOpcode()) || Instruction::isUnaryOp(CE-&gt;getOpcode()))</div>
206
+ <div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; {</div>
207
+ <div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; <span class="keywordflow">return</span> CE;</div>
208
+ <div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; }</div>
209
+ <div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; <span class="keywordflow">else</span></div>
210
+ <div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; {</div>
211
+ <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> = 0; <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> &lt; CE-&gt;getNumOperands(); ++<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>)</div>
212
+ <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; {</div>
213
+ <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="BreakConstantExpr_8cpp.html#a7ba88bf4cda44accf0eba327da8ab716">hasConstantBinaryOrUnaryOp</a> (CE-&gt;getOperand(<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>)))</div>
214
+ <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; <span class="keywordflow">return</span> CE;</div>
215
+ <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; }</div>
216
+ <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; }</div>
217
+ <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; }</div>
218
+ <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; </div>
219
+ <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
220
+ <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160;}</div>
221
+ </div><!-- fragment -->
222
+ </div>
223
+ </div>
224
+ <a id="a7b06934734ebef30b8f24221e1380f93"></a>
225
+ <h2 class="memtitle"><span class="permalink"><a href="#a7b06934734ebef30b8f24221e1380f93">&#9670;&nbsp;</a></span>hasConstantExpr()</h2>
226
+
227
+ <div class="memitem">
228
+ <div class="memproto">
229
+ <table class="mlabels">
230
+ <tr>
231
+ <td class="mlabels-left">
232
+ <table class="memname">
233
+ <tr>
234
+ <td class="memname">static <a class="el" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a>* hasConstantExpr </td>
235
+ <td>(</td>
236
+ <td class="paramtype"><a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *&#160;</td>
237
+ <td class="paramname"><em>V</em></td><td>)</td>
238
+ <td></td>
239
+ </tr>
240
+ </table>
241
+ </td>
242
+ <td class="mlabels-right">
243
+ <span class="mlabels"><span class="mlabel">static</span></span> </td>
244
+ </tr>
245
+ </table>
246
+ </div><div class="memdoc">
247
+
248
+ <p class="definition">Definition at line <a class="el" href="BreakConstantExpr_8cpp_source.html#l00136">136</a> of file <a class="el" href="BreakConstantExpr_8cpp_source.html">BreakConstantExpr.cpp</a>.</p>
249
+ <div class="fragment"><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160;{</div>
250
+ <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a> * gep = <a class="code" href="BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4">hasConstantGEP</a>(V))</div>
251
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; {</div>
252
+ <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="keywordflow">return</span> gep;</div>
253
+ <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; }</div>
254
+ <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">ConstantExpr</a> * buop = <a class="code" href="BreakConstantExpr_8cpp.html#a7ba88bf4cda44accf0eba327da8ab716">hasConstantBinaryOrUnaryOp</a>(V))</div>
255
+ <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; {</div>
256
+ <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; <span class="keywordflow">return</span> buop;</div>
257
+ <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; }</div>
258
+ <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <span class="keywordflow">else</span></div>
259
+ <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; {</div>
260
+ <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
261
+ <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; }</div>
262
+ <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160;}</div>
170
263
  </div><!-- fragment -->
171
264
  </div>
172
265
  </div>
@@ -204,7 +297,7 @@ Functions</h2></td></tr>
204
297
  <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; }</div>
205
298
  <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; <span class="keywordflow">else</span></div>
206
299
  <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; {</div>
207
- <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> = 0; <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> &lt; CE-&gt;getNumOperands(); ++<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>)</div>
300
+ <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> = 0; <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> &lt; CE-&gt;getNumOperands(); ++<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>)</div>
208
301
  <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; {</div>
209
302
  <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4">hasConstantGEP</a> (CE-&gt;getOperand(<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>)))</div>
210
303
  <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; <span class="keywordflow">return</span> CE;</div>
@@ -212,7 +305,7 @@ Functions</h2></td></tr>
212
305
  <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; }</div>
213
306
  <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; }</div>
214
307
  <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; </div>
215
- <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; <span class="keywordflow">return</span> 0;</div>
308
+ <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
216
309
  <div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160;}</div>
217
310
  </div><!-- fragment -->
218
311
  </div>
@@ -278,6 +371,8 @@ Functions</h2></td></tr>
278
371
  <div class="ttc" id="anamespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00085">BasicTypes.h:85</a></div></div>
279
372
  <div class="ttc" id="aBreakConstantExpr_8cpp_html_a81381bb19688464256bd09ef22e965e4"><div class="ttname"><a href="BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4">hasConstantGEP</a></div><div class="ttdeci">static ConstantExpr * hasConstantGEP(Value *V)</div><div class="ttdef"><b>Definition:</b> <a href="BreakConstantExpr_8cpp_source.html#l00087">BreakConstantExpr.cpp:87</a></div></div>
280
373
  <div class="ttc" id="anamespaceSVF_html_a911dbaab38cb42deb9c195c7f687853d"><div class="ttname"><a href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">SVF::ConstantExpr</a></div><div class="ttdeci">llvm::ConstantExpr ConstantExpr</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00118">BasicTypes.h:118</a></div></div>
374
+ <div class="ttc" id="aBreakConstantExpr_8cpp_html_a7ba88bf4cda44accf0eba327da8ab716"><div class="ttname"><a href="BreakConstantExpr_8cpp.html#a7ba88bf4cda44accf0eba327da8ab716">hasConstantBinaryOrUnaryOp</a></div><div class="ttdeci">static ConstantExpr * hasConstantBinaryOrUnaryOp(Value *V)</div><div class="ttdef"><b>Definition:</b> <a href="BreakConstantExpr_8cpp_source.html#l00112">BreakConstantExpr.cpp:112</a></div></div>
375
+ <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
281
376
  <!-- start footer part -->
282
377
  <hr class="footer"/><address class="footer"><small>
283
378
  Generated by &#160;<a href="http://www.doxygen.org/index.html">