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