svf-tools 1.0.801 → 1.0.803

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 (222) 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/classSVF_1_1BreakConstantGEPs.html +102 -101
  5. package/SVF-doxygen/html/dda_8cpp.html +23 -143
  6. package/SVF-doxygen/html/dda_8cpp_source.html +23 -58
  7. package/SVF-doxygen/html/globals_e.html +0 -9
  8. package/SVF-doxygen/html/globals_func_h.html +6 -0
  9. package/SVF-doxygen/html/globals_h.html +6 -0
  10. package/SVF-doxygen/html/globals_r.html +2 -8
  11. package/SVF-doxygen/html/globals_vars.html +0 -15
  12. package/SVF-doxygen/html/search/all_10.js +324 -324
  13. package/SVF-doxygen/html/search/all_11.js +222 -224
  14. package/SVF-doxygen/html/search/all_12.js +542 -542
  15. package/SVF-doxygen/html/search/all_13.js +191 -191
  16. package/SVF-doxygen/html/search/all_14.js +67 -67
  17. package/SVF-doxygen/html/search/all_15.js +170 -170
  18. package/SVF-doxygen/html/search/all_16.js +63 -63
  19. package/SVF-doxygen/html/search/all_17.js +1 -1
  20. package/SVF-doxygen/html/search/all_18.js +1 -1
  21. package/SVF-doxygen/html/search/all_19.js +11 -11
  22. package/SVF-doxygen/html/search/all_1a.js +172 -172
  23. package/SVF-doxygen/html/search/all_5.js +80 -83
  24. package/SVF-doxygen/html/search/all_6.js +225 -225
  25. package/SVF-doxygen/html/search/all_7.js +1040 -1040
  26. package/SVF-doxygen/html/search/all_8.js +196 -194
  27. package/SVF-doxygen/html/search/all_9.js +610 -610
  28. package/SVF-doxygen/html/search/all_a.js +46 -46
  29. package/SVF-doxygen/html/search/all_b.js +26 -26
  30. package/SVF-doxygen/html/search/all_c.js +116 -116
  31. package/SVF-doxygen/html/search/all_d.js +196 -196
  32. package/SVF-doxygen/html/search/all_e.js +207 -207
  33. package/SVF-doxygen/html/search/all_f.js +116 -116
  34. package/SVF-doxygen/html/search/classes_0.js +26 -26
  35. package/SVF-doxygen/html/search/classes_1.js +9 -9
  36. package/SVF-doxygen/html/search/classes_10.js +73 -73
  37. package/SVF-doxygen/html/search/classes_11.js +15 -15
  38. package/SVF-doxygen/html/search/classes_12.js +2 -2
  39. package/SVF-doxygen/html/search/classes_13.js +10 -10
  40. package/SVF-doxygen/html/search/classes_14.js +14 -14
  41. package/SVF-doxygen/html/search/classes_15.js +1 -1
  42. package/SVF-doxygen/html/search/classes_2.js +80 -80
  43. package/SVF-doxygen/html/search/classes_3.js +37 -37
  44. package/SVF-doxygen/html/search/classes_4.js +9 -9
  45. package/SVF-doxygen/html/search/classes_5.js +28 -28
  46. package/SVF-doxygen/html/search/classes_6.js +104 -104
  47. package/SVF-doxygen/html/search/classes_7.js +33 -33
  48. package/SVF-doxygen/html/search/classes_8.js +56 -56
  49. package/SVF-doxygen/html/search/classes_9.js +1 -1
  50. package/SVF-doxygen/html/search/classes_a.js +12 -12
  51. package/SVF-doxygen/html/search/classes_b.js +29 -29
  52. package/SVF-doxygen/html/search/classes_c.js +6 -6
  53. package/SVF-doxygen/html/search/classes_d.js +18 -18
  54. package/SVF-doxygen/html/search/classes_e.js +36 -36
  55. package/SVF-doxygen/html/search/classes_f.js +25 -25
  56. package/SVF-doxygen/html/search/defines_0.js +3 -3
  57. package/SVF-doxygen/html/search/defines_1.js +2 -2
  58. package/SVF-doxygen/html/search/defines_2.js +30 -30
  59. package/SVF-doxygen/html/search/defines_3.js +21 -21
  60. package/SVF-doxygen/html/search/defines_4.js +2 -2
  61. package/SVF-doxygen/html/search/defines_5.js +4 -4
  62. package/SVF-doxygen/html/search/defines_6.js +2 -2
  63. package/SVF-doxygen/html/search/defines_7.js +5 -5
  64. package/SVF-doxygen/html/search/defines_8.js +11 -11
  65. package/SVF-doxygen/html/search/defines_9.js +9 -9
  66. package/SVF-doxygen/html/search/defines_a.js +2 -2
  67. package/SVF-doxygen/html/search/defines_b.js +1 -1
  68. package/SVF-doxygen/html/search/defines_c.js +3 -3
  69. package/SVF-doxygen/html/search/defines_d.js +2 -2
  70. package/SVF-doxygen/html/search/defines_e.js +7 -7
  71. package/SVF-doxygen/html/search/defines_f.js +3 -3
  72. package/SVF-doxygen/html/search/enums_0.js +3 -3
  73. package/SVF-doxygen/html/search/enums_1.js +2 -2
  74. package/SVF-doxygen/html/search/enums_10.js +1 -1
  75. package/SVF-doxygen/html/search/enums_11.js +1 -1
  76. package/SVF-doxygen/html/search/enums_2.js +8 -8
  77. package/SVF-doxygen/html/search/enums_3.js +1 -1
  78. package/SVF-doxygen/html/search/enums_4.js +3 -3
  79. package/SVF-doxygen/html/search/enums_5.js +1 -1
  80. package/SVF-doxygen/html/search/enums_6.js +2 -2
  81. package/SVF-doxygen/html/search/enums_7.js +2 -2
  82. package/SVF-doxygen/html/search/enums_8.js +4 -4
  83. package/SVF-doxygen/html/search/enums_9.js +1 -1
  84. package/SVF-doxygen/html/search/enums_a.js +1 -1
  85. package/SVF-doxygen/html/search/enums_b.js +7 -7
  86. package/SVF-doxygen/html/search/enums_c.js +1 -1
  87. package/SVF-doxygen/html/search/enums_d.js +4 -4
  88. package/SVF-doxygen/html/search/enums_e.js +2 -2
  89. package/SVF-doxygen/html/search/enums_f.js +4 -4
  90. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  91. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  92. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  93. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  94. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  95. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  96. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  97. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  98. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  99. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  100. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  101. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  102. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  103. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  104. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  105. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  106. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  107. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  108. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  109. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  110. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  111. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  112. package/SVF-doxygen/html/search/files_0.js +13 -13
  113. package/SVF-doxygen/html/search/files_1.js +7 -7
  114. package/SVF-doxygen/html/search/files_10.js +8 -8
  115. package/SVF-doxygen/html/search/files_11.js +8 -8
  116. package/SVF-doxygen/html/search/files_12.js +2 -2
  117. package/SVF-doxygen/html/search/files_2.js +55 -55
  118. package/SVF-doxygen/html/search/files_3.js +14 -14
  119. package/SVF-doxygen/html/search/files_4.js +5 -5
  120. package/SVF-doxygen/html/search/files_5.js +13 -13
  121. package/SVF-doxygen/html/search/files_6.js +9 -9
  122. package/SVF-doxygen/html/search/files_7.js +14 -14
  123. package/SVF-doxygen/html/search/files_8.js +13 -13
  124. package/SVF-doxygen/html/search/files_9.js +18 -18
  125. package/SVF-doxygen/html/search/files_a.js +3 -3
  126. package/SVF-doxygen/html/search/files_b.js +2 -2
  127. package/SVF-doxygen/html/search/files_c.js +20 -20
  128. package/SVF-doxygen/html/search/files_d.js +4 -4
  129. package/SVF-doxygen/html/search/files_e.js +62 -62
  130. package/SVF-doxygen/html/search/files_f.js +8 -8
  131. package/SVF-doxygen/html/search/functions_0.js +12 -12
  132. package/SVF-doxygen/html/search/functions_1.js +359 -359
  133. package/SVF-doxygen/html/search/functions_10.js +140 -140
  134. package/SVF-doxygen/html/search/functions_11.js +138 -138
  135. package/SVF-doxygen/html/search/functions_12.js +277 -277
  136. package/SVF-doxygen/html/search/functions_13.js +59 -59
  137. package/SVF-doxygen/html/search/functions_14.js +39 -39
  138. package/SVF-doxygen/html/search/functions_15.js +71 -71
  139. package/SVF-doxygen/html/search/functions_16.js +32 -32
  140. package/SVF-doxygen/html/search/functions_17.js +3 -3
  141. package/SVF-doxygen/html/search/functions_18.js +172 -172
  142. package/SVF-doxygen/html/search/functions_2.js +86 -86
  143. package/SVF-doxygen/html/search/functions_3.js +257 -257
  144. package/SVF-doxygen/html/search/functions_4.js +75 -75
  145. package/SVF-doxygen/html/search/functions_5.js +53 -53
  146. package/SVF-doxygen/html/search/functions_6.js +59 -59
  147. package/SVF-doxygen/html/search/functions_7.js +851 -851
  148. package/SVF-doxygen/html/search/functions_8.js +148 -146
  149. package/SVF-doxygen/html/search/functions_9.js +428 -428
  150. package/SVF-doxygen/html/search/functions_a.js +30 -30
  151. package/SVF-doxygen/html/search/functions_b.js +2 -2
  152. package/SVF-doxygen/html/search/functions_c.js +26 -26
  153. package/SVF-doxygen/html/search/functions_d.js +77 -77
  154. package/SVF-doxygen/html/search/functions_e.js +35 -35
  155. package/SVF-doxygen/html/search/functions_f.js +56 -56
  156. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  157. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  158. package/SVF-doxygen/html/search/related_0.js +2 -2
  159. package/SVF-doxygen/html/search/related_1.js +2 -2
  160. package/SVF-doxygen/html/search/related_2.js +2 -2
  161. package/SVF-doxygen/html/search/related_3.js +2 -2
  162. package/SVF-doxygen/html/search/related_4.js +2 -2
  163. package/SVF-doxygen/html/search/related_5.js +1 -1
  164. package/SVF-doxygen/html/search/related_6.js +2 -2
  165. package/SVF-doxygen/html/search/related_7.js +4 -4
  166. package/SVF-doxygen/html/search/related_8.js +2 -2
  167. package/SVF-doxygen/html/search/related_9.js +4 -4
  168. package/SVF-doxygen/html/search/related_a.js +19 -19
  169. package/SVF-doxygen/html/search/related_b.js +4 -4
  170. package/SVF-doxygen/html/search/related_c.js +1 -1
  171. package/SVF-doxygen/html/search/related_d.js +11 -11
  172. package/SVF-doxygen/html/search/related_e.js +2 -2
  173. package/SVF-doxygen/html/search/related_f.js +2 -2
  174. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  175. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  176. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  177. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  178. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  179. package/SVF-doxygen/html/search/typedefs_13.js +35 -35
  180. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  181. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  182. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  183. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  184. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  185. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  186. package/SVF-doxygen/html/search/typedefs_7.js +42 -42
  187. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  188. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  189. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  190. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  191. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  192. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  193. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  194. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  195. package/SVF-doxygen/html/search/variables_0.js +151 -151
  196. package/SVF-doxygen/html/search/variables_1.js +75 -75
  197. package/SVF-doxygen/html/search/variables_10.js +97 -97
  198. package/SVF-doxygen/html/search/variables_11.js +44 -46
  199. package/SVF-doxygen/html/search/variables_12.js +92 -92
  200. package/SVF-doxygen/html/search/variables_13.js +75 -75
  201. package/SVF-doxygen/html/search/variables_14.js +14 -14
  202. package/SVF-doxygen/html/search/variables_15.js +48 -48
  203. package/SVF-doxygen/html/search/variables_16.js +9 -9
  204. package/SVF-doxygen/html/search/variables_17.js +1 -1
  205. package/SVF-doxygen/html/search/variables_18.js +2 -2
  206. package/SVF-doxygen/html/search/variables_2.js +37 -37
  207. package/SVF-doxygen/html/search/variables_3.js +142 -142
  208. package/SVF-doxygen/html/search/variables_4.js +55 -55
  209. package/SVF-doxygen/html/search/variables_5.js +36 -39
  210. package/SVF-doxygen/html/search/variables_6.js +66 -66
  211. package/SVF-doxygen/html/search/variables_7.js +33 -33
  212. package/SVF-doxygen/html/search/variables_8.js +7 -7
  213. package/SVF-doxygen/html/search/variables_9.js +77 -77
  214. package/SVF-doxygen/html/search/variables_a.js +4 -4
  215. package/SVF-doxygen/html/search/variables_b.js +10 -10
  216. package/SVF-doxygen/html/search/variables_c.js +45 -45
  217. package/SVF-doxygen/html/search/variables_d.js +56 -56
  218. package/SVF-doxygen/html/search/variables_e.js +123 -123
  219. package/SVF-doxygen/html/search/variables_f.js +30 -30
  220. package/package.json +1 -1
  221. package/svf-llvm/lib/BreakConstantExpr.cpp +53 -9
  222. package/svf-llvm/tools/DDA/dda.cpp +0 -30
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">