svf-tools 1.0.786 → 1.0.788
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.
- package/SVF-doxygen/html/CDGBuilder_8cpp_source.html +128 -122
- package/SVF-doxygen/html/CDGBuilder_8h_source.html +5 -5
- package/SVF-doxygen/html/CFBasicBlockGBuilder_8cpp.html +92 -0
- package/SVF-doxygen/html/CFBasicBlockGBuilder_8cpp_source.html +291 -0
- package/SVF-doxygen/html/CFBasicBlockGBuilder_8h.html +98 -0
- package/SVF-doxygen/html/CFBasicBlockGBuilder_8h_source.html +154 -0
- package/SVF-doxygen/html/CFBasicBlockG_8cpp_source.html +49 -184
- package/SVF-doxygen/html/CFBasicBlockG_8h.html +0 -2
- package/SVF-doxygen/html/CFBasicBlockG_8h_source.html +509 -506
- package/SVF-doxygen/html/CHG_8cpp.html +2 -2
- package/SVF-doxygen/html/CHG_8cpp_source.html +3 -3
- package/SVF-doxygen/html/MemSSA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFUtil_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFValue_8cpp_source.html +144 -141
- package/SVF-doxygen/html/SVFValue_8h_source.html +9 -9
- package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/VFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/WTO_8h_source.html +424 -372
- package/SVF-doxygen/html/classSVF_1_1CDGBuilder.html +119 -113
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder-members.html +4 -1
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder.html +302 -124
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO-members.html +48 -47
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO.html +306 -236
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTOCycle.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTONode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder-members.html +15 -14
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html +90 -44
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html +26 -26
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph-members.html +32 -36
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph.html +121 -254
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode-members.html +46 -47
- package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode.html +185 -225
- package/SVF-doxygen/html/classSVF_1_1CHGraph.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1MemSSA.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SVFBasicBlock.html +63 -63
- package/SVF-doxygen/html/classSVF_1_1SVFFunction.html +28 -28
- package/SVF-doxygen/html/classSVF_1_1SVFG.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFInstruction.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFLoopAndDomInfo.html +25 -22
- package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1VFG.html +1 -1
- package/SVF-doxygen/html/dir_445b24f35a8ddd2effd3d23ee1278e0a.html +2 -0
- package/SVF-doxygen/html/dir_fee120689dee99ef16f8bfcaa7a76083.html +2 -0
- package/SVF-doxygen/html/files.html +35 -33
- package/SVF-doxygen/html/functions.html +3 -4
- package/SVF-doxygen/html/functions_a.html +19 -10
- package/SVF-doxygen/html/functions_b.html +6 -6
- package/SVF-doxygen/html/functions_c.html +29 -29
- package/SVF-doxygen/html/functions_func.html +15 -6
- package/SVF-doxygen/html/functions_func_b.html +1 -1
- package/SVF-doxygen/html/functions_func_c.html +21 -21
- package/SVF-doxygen/html/functions_func_g.html +13 -14
- package/SVF-doxygen/html/functions_func_h.html +5 -8
- package/SVF-doxygen/html/functions_func_i.html +10 -7
- package/SVF-doxygen/html/functions_func_s.html +22 -25
- package/SVF-doxygen/html/functions_func_t.html +1 -1
- package/SVF-doxygen/html/functions_g.html +10 -11
- package/SVF-doxygen/html/functions_h.html +3 -6
- package/SVF-doxygen/html/functions_i.html +10 -7
- package/SVF-doxygen/html/functions_l.html +3 -3
- package/SVF-doxygen/html/functions_n.html +4 -4
- package/SVF-doxygen/html/functions_o.html +19 -19
- package/SVF-doxygen/html/functions_p.html +21 -17
- package/SVF-doxygen/html/functions_r.html +1 -1
- package/SVF-doxygen/html/functions_s.html +14 -17
- package/SVF-doxygen/html/functions_t.html +4 -4
- package/SVF-doxygen/html/functions_v.html +3 -3
- package/SVF-doxygen/html/functions_vars.html +3 -4
- package/SVF-doxygen/html/functions_w.html +7 -7
- package/SVF-doxygen/html/namespaceSVF.html +1 -1
- package/SVF-doxygen/html/namespaceSVF_1_1SVFUtil.html +2 -2
- package/SVF-doxygen/html/search/all_0.js +123 -124
- package/SVF-doxygen/html/search/all_1.js +479 -476
- package/SVF-doxygen/html/search/all_10.js +324 -324
- package/SVF-doxygen/html/search/all_11.js +224 -224
- package/SVF-doxygen/html/search/all_12.js +541 -542
- package/SVF-doxygen/html/search/all_13.js +190 -190
- package/SVF-doxygen/html/search/all_14.js +67 -67
- package/SVF-doxygen/html/search/all_15.js +170 -170
- package/SVF-doxygen/html/search/all_16.js +63 -63
- package/SVF-doxygen/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/search/all_19.js +11 -11
- package/SVF-doxygen/html/search/all_1a.js +172 -172
- package/SVF-doxygen/html/search/all_2.js +167 -167
- package/SVF-doxygen/html/search/all_3.js +642 -640
- package/SVF-doxygen/html/search/all_4.js +233 -233
- package/SVF-doxygen/html/search/all_5.js +121 -121
- package/SVF-doxygen/html/search/all_6.js +225 -225
- package/SVF-doxygen/html/search/all_7.js +1038 -1038
- package/SVF-doxygen/html/search/all_8.js +194 -195
- package/SVF-doxygen/html/search/all_9.js +608 -607
- package/SVF-doxygen/html/search/all_a.js +46 -46
- package/SVF-doxygen/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/search/all_c.js +116 -116
- package/SVF-doxygen/html/search/all_d.js +196 -196
- package/SVF-doxygen/html/search/all_e.js +207 -207
- package/SVF-doxygen/html/search/all_f.js +116 -116
- package/SVF-doxygen/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/search/classes_10.js +73 -73
- package/SVF-doxygen/html/search/classes_11.js +15 -15
- package/SVF-doxygen/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/search/classes_14.js +14 -14
- package/SVF-doxygen/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/search/classes_2.js +80 -80
- package/SVF-doxygen/html/search/classes_3.js +37 -37
- package/SVF-doxygen/html/search/classes_4.js +9 -9
- package/SVF-doxygen/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/search/classes_6.js +104 -104
- package/SVF-doxygen/html/search/classes_7.js +33 -33
- package/SVF-doxygen/html/search/classes_8.js +56 -56
- package/SVF-doxygen/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/search/classes_d.js +18 -18
- package/SVF-doxygen/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/search/defines_1.js +2 -2
- package/SVF-doxygen/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/search/defines_3.js +21 -21
- package/SVF-doxygen/html/search/defines_4.js +2 -2
- package/SVF-doxygen/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/search/defines_8.js +11 -11
- package/SVF-doxygen/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/search/defines_c.js +3 -3
- package/SVF-doxygen/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/search/defines_e.js +7 -7
- package/SVF-doxygen/html/search/defines_f.js +3 -3
- package/SVF-doxygen/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/search/enums_4.js +3 -3
- package/SVF-doxygen/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/search/enums_a.js +1 -1
- package/SVF-doxygen/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
- package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
- package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
- package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
- package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
- package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
- package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/search/files_0.js +13 -13
- package/SVF-doxygen/html/search/files_1.js +7 -7
- package/SVF-doxygen/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/search/files_2.js +55 -53
- package/SVF-doxygen/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/search/files_4.js +5 -5
- package/SVF-doxygen/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/search/files_6.js +9 -9
- package/SVF-doxygen/html/search/files_7.js +14 -14
- package/SVF-doxygen/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/search/files_b.js +2 -2
- package/SVF-doxygen/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/search/functions_0.js +12 -12
- package/SVF-doxygen/html/search/functions_1.js +359 -356
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +138 -138
- package/SVF-doxygen/html/search/functions_12.js +276 -277
- package/SVF-doxygen/html/search/functions_13.js +58 -58
- package/SVF-doxygen/html/search/functions_14.js +39 -39
- package/SVF-doxygen/html/search/functions_15.js +71 -71
- package/SVF-doxygen/html/search/functions_16.js +32 -32
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +172 -172
- package/SVF-doxygen/html/search/functions_2.js +86 -86
- package/SVF-doxygen/html/search/functions_3.js +257 -257
- package/SVF-doxygen/html/search/functions_4.js +75 -75
- package/SVF-doxygen/html/search/functions_5.js +53 -53
- package/SVF-doxygen/html/search/functions_6.js +59 -59
- package/SVF-doxygen/html/search/functions_7.js +849 -849
- package/SVF-doxygen/html/search/functions_8.js +146 -147
- package/SVF-doxygen/html/search/functions_9.js +426 -425
- package/SVF-doxygen/html/search/functions_a.js +30 -30
- package/SVF-doxygen/html/search/functions_b.js +2 -2
- package/SVF-doxygen/html/search/functions_c.js +26 -26
- package/SVF-doxygen/html/search/functions_d.js +77 -77
- package/SVF-doxygen/html/search/functions_e.js +35 -35
- package/SVF-doxygen/html/search/functions_f.js +56 -56
- package/SVF-doxygen/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/search/related_0.js +2 -2
- package/SVF-doxygen/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/search/related_7.js +4 -4
- package/SVF-doxygen/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/search/related_c.js +1 -1
- package/SVF-doxygen/html/search/related_d.js +11 -11
- package/SVF-doxygen/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/search/typedefs_0.js +18 -18
- package/SVF-doxygen/html/search/typedefs_1.js +26 -26
- package/SVF-doxygen/html/search/typedefs_10.js +61 -61
- package/SVF-doxygen/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/search/typedefs_13.js +35 -35
- package/SVF-doxygen/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/search/typedefs_2.js +129 -129
- package/SVF-doxygen/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/search/typedefs_4.js +17 -17
- package/SVF-doxygen/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/search/typedefs_6.js +55 -55
- package/SVF-doxygen/html/search/typedefs_7.js +42 -42
- package/SVF-doxygen/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/search/typedefs_d.js +15 -15
- package/SVF-doxygen/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/search/variables_0.js +151 -152
- package/SVF-doxygen/html/search/variables_1.js +75 -75
- package/SVF-doxygen/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/search/variables_11.js +46 -46
- package/SVF-doxygen/html/search/variables_12.js +92 -92
- package/SVF-doxygen/html/search/variables_13.js +75 -75
- package/SVF-doxygen/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/search/variables_15.js +48 -48
- package/SVF-doxygen/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/search/variables_2.js +37 -37
- package/SVF-doxygen/html/search/variables_3.js +142 -142
- package/SVF-doxygen/html/search/variables_4.js +55 -55
- package/SVF-doxygen/html/search/variables_5.js +39 -39
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +33 -33
- package/SVF-doxygen/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/search/variables_9.js +77 -77
- package/SVF-doxygen/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/search/variables_d.js +56 -56
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +30 -30
- package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +93 -40
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
- package/package.json +1 -1
- package/svf/include/AbstractExecution/WTO.h +56 -10
- package/svf/include/Graphs/CFBasicBlockG.h +62 -50
- package/svf/include/Util/CFBasicBlockGBuilder.h +59 -0
- package/svf/lib/Graphs/CFBasicBlockG.cpp +0 -111
- package/svf/lib/SVFIR/SVFValue.cpp +2 -0
- package/svf/lib/Util/CDGBuilder.cpp +5 -0
- package/svf/lib/Util/CFBasicBlockGBuilder.cpp +183 -0
|
@@ -103,8 +103,8 @@ Public Types</h2></td></tr>
|
|
|
103
103
|
Public Member Functions</h2></td></tr>
|
|
104
104
|
<tr class="memitem:ab4049975aad5b59c31bb5501ff7465c8"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ab4049975aad5b59c31bb5501ff7465c8">CFBasicBlockGWTO</a> ()</td></tr>
|
|
105
105
|
<tr class="separator:ab4049975aad5b59c31bb5501ff7465c8"><td class="memSeparator" colspan="2"> </td></tr>
|
|
106
|
-
<tr class="memitem:
|
|
107
|
-
<tr class="separator:
|
|
106
|
+
<tr class="memitem:af60b932f1b5ffce5a249feb22d7da133"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#af60b932f1b5ffce5a249feb22d7da133">CFBasicBlockGWTO</a> (<a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> *graph, const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *entry)</td></tr>
|
|
107
|
+
<tr class="separator:af60b932f1b5ffce5a249feb22d7da133"><td class="memSeparator" colspan="2"> </td></tr>
|
|
108
108
|
<tr class="memitem:ae18fdfe0b879c329930e9c9404aaf7a4"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae18fdfe0b879c329930e9c9404aaf7a4">CFBasicBlockGWTO</a> (const <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a> &other)=default</td></tr>
|
|
109
109
|
<tr class="separator:ae18fdfe0b879c329930e9c9404aaf7a4"><td class="memSeparator" colspan="2"> </td></tr>
|
|
110
110
|
<tr class="memitem:a96ee9b2b82f959b27020b5207bcc86db"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a96ee9b2b82f959b27020b5207bcc86db">CFBasicBlockGWTO</a> (<a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a> &&other)=default</td></tr>
|
|
@@ -211,6 +211,8 @@ Protected Attributes</h2></td></tr>
|
|
|
211
211
|
<tr class="separator:a6f04a2b3e141e0b4df24ec6cfdf79532"><td class="memSeparator" colspan="2"> </td></tr>
|
|
212
212
|
<tr class="memitem:a97fb5b5dff4b1b08ee6fb09876630303"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae4fd19b6216a43afdac4edae42f22a26">CFBasicBlockNodes</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303">_stack</a></td></tr>
|
|
213
213
|
<tr class="separator:a97fb5b5dff4b1b08ee6fb09876630303"><td class="memSeparator" colspan="2"> </td></tr>
|
|
214
|
+
<tr class="memitem:ad00addfd46be014c35a6ffbc9333d7f3"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ad00addfd46be014c35a6ffbc9333d7f3">_graph</a></td></tr>
|
|
215
|
+
<tr class="separator:ad00addfd46be014c35a6ffbc9333d7f3"><td class="memSeparator" colspan="2"> </td></tr>
|
|
214
216
|
</table><table class="memberdecls">
|
|
215
217
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="friends"></a>
|
|
216
218
|
Friends</h2></td></tr>
|
|
@@ -510,13 +512,13 @@ Friends</h2></td></tr>
|
|
|
510
512
|
</table>
|
|
511
513
|
</div><div class="memdoc">
|
|
512
514
|
|
|
513
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
514
|
-
<div class="fragment"><div class="line"><a name="
|
|
515
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00498">498</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
516
|
+
<div class="fragment"><div class="line"><a name="l00498"></a><span class="lineno"> 498</span> : <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532">_num</a>(0) {}</div>
|
|
515
517
|
</div><!-- fragment -->
|
|
516
518
|
</div>
|
|
517
519
|
</div>
|
|
518
|
-
<a id="
|
|
519
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
520
|
+
<a id="af60b932f1b5ffce5a249feb22d7da133"></a>
|
|
521
|
+
<h2 class="memtitle"><span class="permalink"><a href="#af60b932f1b5ffce5a249feb22d7da133">◆ </a></span>CFBasicBlockGWTO() <span class="overload">[2/4]</span></h2>
|
|
520
522
|
|
|
521
523
|
<div class="memitem">
|
|
522
524
|
<div class="memproto">
|
|
@@ -527,9 +529,19 @@ Friends</h2></td></tr>
|
|
|
527
529
|
<tr>
|
|
528
530
|
<td class="memname">SVF::CFBasicBlockGWTO::CFBasicBlockGWTO </td>
|
|
529
531
|
<td>(</td>
|
|
532
|
+
<td class="paramtype"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> * </td>
|
|
533
|
+
<td class="paramname"><em>graph</em>, </td>
|
|
534
|
+
</tr>
|
|
535
|
+
<tr>
|
|
536
|
+
<td class="paramkey"></td>
|
|
537
|
+
<td></td>
|
|
530
538
|
<td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> * </td>
|
|
531
|
-
<td class="paramname"><em>entry</em
|
|
539
|
+
<td class="paramname"><em>entry</em> </td>
|
|
540
|
+
</tr>
|
|
541
|
+
<tr>
|
|
532
542
|
<td></td>
|
|
543
|
+
<td>)</td>
|
|
544
|
+
<td></td><td></td>
|
|
533
545
|
</tr>
|
|
534
546
|
</table>
|
|
535
547
|
</td>
|
|
@@ -539,11 +551,11 @@ Friends</h2></td></tr>
|
|
|
539
551
|
</table>
|
|
540
552
|
</div><div class="memdoc">
|
|
541
553
|
|
|
542
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
543
|
-
<div class="fragment"><div class="line"><a name="
|
|
544
|
-
<div class="line"><a name="
|
|
545
|
-
<div class="line"><a name="
|
|
546
|
-
<div class="line"><a name="
|
|
554
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00500">500</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
555
|
+
<div class="fragment"><div class="line"><a name="l00500"></a><span class="lineno"> 500</span>  : <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532">_num</a>(0), <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad00addfd46be014c35a6ffbc9333d7f3">_graph</a>(graph)</div>
|
|
556
|
+
<div class="line"><a name="l00501"></a><span class="lineno"> 501</span>  {</div>
|
|
557
|
+
<div class="line"><a name="l00502"></a><span class="lineno"> 502</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f">build</a>(entry);</div>
|
|
558
|
+
<div class="line"><a name="l00503"></a><span class="lineno"> 503</span>  }</div>
|
|
547
559
|
</div><!-- fragment -->
|
|
548
560
|
</div>
|
|
549
561
|
</div>
|
|
@@ -622,13 +634,13 @@ Friends</h2></td></tr>
|
|
|
622
634
|
</table>
|
|
623
635
|
</div><div class="memdoc">
|
|
624
636
|
|
|
625
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
626
|
-
<div class="fragment"><div class="line"><a name="
|
|
627
|
-
<div class="line"><a name="
|
|
628
|
-
<div class="line"><a name="
|
|
629
|
-
<div class="line"><a name="
|
|
630
|
-
<div class="line"><a name="
|
|
631
|
-
<div class="line"><a name="
|
|
637
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00513">513</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
638
|
+
<div class="fragment"><div class="line"><a name="l00514"></a><span class="lineno"> 514</span>  {</div>
|
|
639
|
+
<div class="line"><a name="l00515"></a><span class="lineno"> 515</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &<a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a9dd4ed2f3347d529163a60e0386ea11d">component</a>: <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ac70fb325200079c4ffee90e1666a3694">_allComponents</a>)</div>
|
|
640
|
+
<div class="line"><a name="l00516"></a><span class="lineno"> 516</span>  {</div>
|
|
641
|
+
<div class="line"><a name="l00517"></a><span class="lineno"> 517</span>  <span class="keyword">delete</span> <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a9dd4ed2f3347d529163a60e0386ea11d">component</a>;</div>
|
|
642
|
+
<div class="line"><a name="l00518"></a><span class="lineno"> 518</span>  }</div>
|
|
643
|
+
<div class="line"><a name="l00519"></a><span class="lineno"> 519</span>  }</div>
|
|
632
644
|
</div><!-- fragment -->
|
|
633
645
|
</div>
|
|
634
646
|
</div>
|
|
@@ -659,13 +671,13 @@ Friends</h2></td></tr>
|
|
|
659
671
|
|
|
660
672
|
<p>Accept the given visitor. </p>
|
|
661
673
|
|
|
662
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
663
|
-
<div class="fragment"><div class="line"><a name="
|
|
664
|
-
<div class="line"><a name="
|
|
665
|
-
<div class="line"><a name="
|
|
666
|
-
<div class="line"><a name="
|
|
667
|
-
<div class="line"><a name="
|
|
668
|
-
<div class="line"><a name="
|
|
674
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00570">570</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
675
|
+
<div class="fragment"><div class="line"><a name="l00571"></a><span class="lineno"> 571</span>  {</div>
|
|
676
|
+
<div class="line"><a name="l00572"></a><span class="lineno"> 572</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &c: <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#add361ba0493a8fc9e9b08a4076a8e171">_components</a>)</div>
|
|
677
|
+
<div class="line"><a name="l00573"></a><span class="lineno"> 573</span>  {</div>
|
|
678
|
+
<div class="line"><a name="l00574"></a><span class="lineno"> 574</span>  c->accept(v);</div>
|
|
679
|
+
<div class="line"><a name="l00575"></a><span class="lineno"> 575</span>  }</div>
|
|
680
|
+
<div class="line"><a name="l00576"></a><span class="lineno"> 576</span>  }</div>
|
|
669
681
|
</div><!-- fragment -->
|
|
670
682
|
</div>
|
|
671
683
|
</div>
|
|
@@ -692,10 +704,10 @@ Friends</h2></td></tr>
|
|
|
692
704
|
</table>
|
|
693
705
|
</div><div class="memdoc">
|
|
694
706
|
|
|
695
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
696
|
-
<div class="fragment"><div class="line"><a name="
|
|
697
|
-
<div class="line"><a name="
|
|
698
|
-
<div class="line"><a name="
|
|
707
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00521">521</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
708
|
+
<div class="fragment"><div class="line"><a name="l00522"></a><span class="lineno"> 522</span>  {</div>
|
|
709
|
+
<div class="line"><a name="l00523"></a><span class="lineno"> 523</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#add361ba0493a8fc9e9b08a4076a8e171">_components</a>.cbegin();</div>
|
|
710
|
+
<div class="line"><a name="l00524"></a><span class="lineno"> 524</span>  }</div>
|
|
699
711
|
</div><!-- fragment -->
|
|
700
712
|
</div>
|
|
701
713
|
</div>
|
|
@@ -723,14 +735,14 @@ Friends</h2></td></tr>
|
|
|
723
735
|
</table>
|
|
724
736
|
</div><div class="memdoc">
|
|
725
737
|
|
|
726
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
727
|
-
<div class="fragment"><div class="line"><a name="
|
|
728
|
-
<div class="line"><a name="
|
|
729
|
-
<div class="line"><a name="
|
|
730
|
-
<div class="line"><a name="
|
|
731
|
-
<div class="line"><a name="
|
|
732
|
-
<div class="line"><a name="
|
|
733
|
-
<div class="line"><a name="
|
|
738
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00604">604</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
739
|
+
<div class="fragment"><div class="line"><a name="l00605"></a><span class="lineno"> 605</span>  {</div>
|
|
740
|
+
<div class="line"><a name="l00606"></a><span class="lineno"> 606</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb">visit</a>(entry, <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#add361ba0493a8fc9e9b08a4076a8e171">_components</a>);</div>
|
|
741
|
+
<div class="line"><a name="l00607"></a><span class="lineno"> 607</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a84e542a2dc10c8d7e306b0134c66c02e">_nodeToCDN</a>.clear();</div>
|
|
742
|
+
<div class="line"><a name="l00608"></a><span class="lineno"> 608</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303">_stack</a>.clear();</div>
|
|
743
|
+
<div class="line"><a name="l00609"></a><span class="lineno"> 609</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a50fa3b82172788c5e963d723b27900ba">buildNodeToWTOCycleDepth</a>();</div>
|
|
744
|
+
<div class="line"><a name="l00610"></a><span class="lineno"> 610</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a371c7416c88df3c0b70addf9b88b305a">build_tails</a>();</div>
|
|
745
|
+
<div class="line"><a name="l00611"></a><span class="lineno"> 611</span>  }</div>
|
|
734
746
|
</div><!-- fragment -->
|
|
735
747
|
</div>
|
|
736
748
|
</div>
|
|
@@ -759,19 +771,19 @@ Friends</h2></td></tr>
|
|
|
759
771
|
|
|
760
772
|
<p>Build the tails for each cycle. </p>
|
|
761
773
|
|
|
762
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
763
|
-
<div class="fragment"><div class="line"><a name="
|
|
764
|
-
<div class="line"><a name="
|
|
765
|
-
<div class="line"><a name="
|
|
766
|
-
<div class="line"><a name="
|
|
767
|
-
<div class="line"><a name="
|
|
768
|
-
<div class="line"><a name="
|
|
769
|
-
<div class="line"><a name="
|
|
770
|
-
<div class="line"><a name="
|
|
771
|
-
<div class="line"><a name="
|
|
772
|
-
<div class="line"><a name="
|
|
773
|
-
<div class="line"><a name="
|
|
774
|
-
<div class="line"><a name="
|
|
774
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00875">875</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
775
|
+
<div class="fragment"><div class="line"><a name="l00876"></a><span class="lineno"> 876</span>  {</div>
|
|
776
|
+
<div class="line"><a name="l00877"></a><span class="lineno"> 877</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &head: <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc">_headToCycle</a>)</div>
|
|
777
|
+
<div class="line"><a name="l00878"></a><span class="lineno"> 878</span>  {</div>
|
|
778
|
+
<div class="line"><a name="l00879"></a><span class="lineno"> 879</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ada27aa4f9b577c7f7cef09e9936327f2">NodeRefSet</a> tails;</div>
|
|
779
|
+
<div class="line"><a name="l00880"></a><span class="lineno"> 880</span>  TailBuilder builder(<a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad00addfd46be014c35a6ffbc9333d7f3">_graph</a>, <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187">_nodeToDepth</a>, tails, head.first, <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a47b0a759cac2b4264b8c01dbe9f1c63f">getWTOCycleDepth</a>(head.first));</div>
|
|
780
|
+
<div class="line"><a name="l00881"></a><span class="lineno"> 881</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = head.second->begin(), eit = head.second->end(); it != eit; ++it)</div>
|
|
781
|
+
<div class="line"><a name="l00882"></a><span class="lineno"> 882</span>  {</div>
|
|
782
|
+
<div class="line"><a name="l00883"></a><span class="lineno"> 883</span>  (*it)->accept(&builder);</div>
|
|
783
|
+
<div class="line"><a name="l00884"></a><span class="lineno"> 884</span>  }</div>
|
|
784
|
+
<div class="line"><a name="l00885"></a><span class="lineno"> 885</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#abb5b72dbfa6f00bf952f1b71deb48598">_headToTails</a>.emplace(head.first, tails);</div>
|
|
785
|
+
<div class="line"><a name="l00886"></a><span class="lineno"> 886</span>  }</div>
|
|
786
|
+
<div class="line"><a name="l00887"></a><span class="lineno"> 887</span>  }</div>
|
|
775
787
|
</div><!-- fragment -->
|
|
776
788
|
</div>
|
|
777
789
|
</div>
|
|
@@ -800,14 +812,14 @@ Friends</h2></td></tr>
|
|
|
800
812
|
|
|
801
813
|
<p>Build the node to WTO cycle depth table. </p>
|
|
802
814
|
|
|
803
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
804
|
-
<div class="fragment"><div class="line"><a name="
|
|
805
|
-
<div class="line"><a name="
|
|
806
|
-
<div class="line"><a name="
|
|
807
|
-
<div class="line"><a name="
|
|
808
|
-
<div class="line"><a name="
|
|
809
|
-
<div class="line"><a name="
|
|
810
|
-
<div class="line"><a name="
|
|
815
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00865">865</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
816
|
+
<div class="fragment"><div class="line"><a name="l00866"></a><span class="lineno"> 866</span>  {</div>
|
|
817
|
+
<div class="line"><a name="l00867"></a><span class="lineno"> 867</span>  WTOCycleDepthBuilder builder(<a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187">_nodeToDepth</a>);</div>
|
|
818
|
+
<div class="line"><a name="l00868"></a><span class="lineno"> 868</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a62021e77023442dc809f6441cd3692c5">begin</a>(), et = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad915ed46be9ae3dbd7ee8227c0dee40d">end</a>(); it != et; ++it)</div>
|
|
819
|
+
<div class="line"><a name="l00869"></a><span class="lineno"> 869</span>  {</div>
|
|
820
|
+
<div class="line"><a name="l00870"></a><span class="lineno"> 870</span>  (*it)->accept(&builder);</div>
|
|
821
|
+
<div class="line"><a name="l00871"></a><span class="lineno"> 871</span>  }</div>
|
|
822
|
+
<div class="line"><a name="l00872"></a><span class="lineno"> 872</span>  }</div>
|
|
811
823
|
</div><!-- fragment -->
|
|
812
824
|
</div>
|
|
813
825
|
</div>
|
|
@@ -837,21 +849,32 @@ Friends</h2></td></tr>
|
|
|
837
849
|
|
|
838
850
|
<p>Create the cycle component for the given node. </p>
|
|
839
851
|
|
|
840
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
841
|
-
<div class="fragment"><div class="line"><a name="
|
|
842
|
-
<div class="line"><a name="
|
|
843
|
-
<div class="line"><a name="
|
|
844
|
-
<div class="line"><a name="
|
|
845
|
-
<div class="line"><a name="
|
|
846
|
-
<div class="line"><a name="
|
|
847
|
-
<div class="line"><a name="
|
|
848
|
-
<div class="line"><a name="
|
|
849
|
-
<div class="line"><a name="
|
|
850
|
-
<div class="line"><a name="
|
|
851
|
-
<div class="line"><a name="
|
|
852
|
-
<div class="line"><a name="
|
|
853
|
-
<div class="line"><a name="
|
|
854
|
-
<div class="line"><a name="
|
|
852
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00765">765</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
853
|
+
<div class="fragment"><div class="line"><a name="l00766"></a><span class="lineno"> 766</span>  {</div>
|
|
854
|
+
<div class="line"><a name="l00767"></a><span class="lineno"> 767</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a1e6c7cb2b79de62cbad8d29980d5cf38">WTOCompRefList</a> partition;</div>
|
|
855
|
+
<div class="line"><a name="l00768"></a><span class="lineno"> 768</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> CallICFGNode* callNode = SVFUtil::dyn_cast<CallICFGNode>(node->getICFGNodes().front()))</div>
|
|
856
|
+
<div class="line"><a name="l00769"></a><span class="lineno"> 769</span>  {</div>
|
|
857
|
+
<div class="line"><a name="l00770"></a><span class="lineno"> 770</span>  <span class="keyword">const</span> CFBasicBlockNode *succ = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad00addfd46be014c35a6ffbc9333d7f3">_graph</a>-><a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">getCFBasicBlockNode</a>(callNode->getRetICFGNode()->getId());</div>
|
|
858
|
+
<div class="line"><a name="l00771"></a><span class="lineno"> 771</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a0f3ba7dd8271cf960bba22a4dc38d02c">getCDN</a>(succ) == 0)</div>
|
|
859
|
+
<div class="line"><a name="l00772"></a><span class="lineno"> 772</span>  {</div>
|
|
860
|
+
<div class="line"><a name="l00773"></a><span class="lineno"> 773</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb">visit</a>(succ, partition);</div>
|
|
861
|
+
<div class="line"><a name="l00774"></a><span class="lineno"> 774</span>  }</div>
|
|
862
|
+
<div class="line"><a name="l00775"></a><span class="lineno"> 775</span>  }</div>
|
|
863
|
+
<div class="line"><a name="l00776"></a><span class="lineno"> 776</span>  <span class="keywordflow">else</span></div>
|
|
864
|
+
<div class="line"><a name="l00777"></a><span class="lineno"> 777</span>  {</div>
|
|
865
|
+
<div class="line"><a name="l00778"></a><span class="lineno"> 778</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = node->getOutEdges().begin(), et = node->getOutEdges().end(); it != et; ++it)</div>
|
|
866
|
+
<div class="line"><a name="l00779"></a><span class="lineno"> 779</span>  {</div>
|
|
867
|
+
<div class="line"><a name="l00780"></a><span class="lineno"> 780</span>  <span class="keyword">const</span> CFBasicBlockNode *succ = (*it)->getDstNode();</div>
|
|
868
|
+
<div class="line"><a name="l00781"></a><span class="lineno"> 781</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a0f3ba7dd8271cf960bba22a4dc38d02c">getCDN</a>(succ) == 0)</div>
|
|
869
|
+
<div class="line"><a name="l00782"></a><span class="lineno"> 782</span>  {</div>
|
|
870
|
+
<div class="line"><a name="l00783"></a><span class="lineno"> 783</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb">visit</a>(succ, partition);</div>
|
|
871
|
+
<div class="line"><a name="l00784"></a><span class="lineno"> 784</span>  }</div>
|
|
872
|
+
<div class="line"><a name="l00785"></a><span class="lineno"> 785</span>  }</div>
|
|
873
|
+
<div class="line"><a name="l00786"></a><span class="lineno"> 786</span>  }</div>
|
|
874
|
+
<div class="line"><a name="l00787"></a><span class="lineno"> 787</span>  <span class="keyword">const</span> CFBasicBlockGWTOCycle *ptr = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a01822119935bdbe665743b13b4f2380e">newCycle</a>(node, partition);</div>
|
|
875
|
+
<div class="line"><a name="l00788"></a><span class="lineno"> 788</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc">_headToCycle</a>.emplace(node, ptr);</div>
|
|
876
|
+
<div class="line"><a name="l00789"></a><span class="lineno"> 789</span>  <span class="keywordflow">return</span> ptr;</div>
|
|
877
|
+
<div class="line"><a name="l00790"></a><span class="lineno"> 790</span>  }</div>
|
|
855
878
|
</div><!-- fragment -->
|
|
856
879
|
</div>
|
|
857
880
|
</div>
|
|
@@ -878,10 +901,10 @@ Friends</h2></td></tr>
|
|
|
878
901
|
</table>
|
|
879
902
|
</div><div class="memdoc">
|
|
880
903
|
|
|
881
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
882
|
-
<div class="fragment"><div class="line"><a name="
|
|
883
|
-
<div class="line"><a name="
|
|
884
|
-
<div class="line"><a name="
|
|
904
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00526">526</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
905
|
+
<div class="fragment"><div class="line"><a name="l00527"></a><span class="lineno"> 527</span>  {</div>
|
|
906
|
+
<div class="line"><a name="l00528"></a><span class="lineno"> 528</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#add361ba0493a8fc9e9b08a4076a8e171">_components</a>.cend();</div>
|
|
907
|
+
<div class="line"><a name="l00529"></a><span class="lineno"> 529</span>  }</div>
|
|
885
908
|
</div><!-- fragment -->
|
|
886
909
|
</div>
|
|
887
910
|
</div>
|
|
@@ -911,18 +934,18 @@ Friends</h2></td></tr>
|
|
|
911
934
|
|
|
912
935
|
<p>Get the cycle depth number of the given node. </p>
|
|
913
936
|
|
|
914
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
915
|
-
<div class="fragment"><div class="line"><a name="
|
|
916
|
-
<div class="line"><a name="
|
|
917
|
-
<div class="line"><a name="
|
|
918
|
-
<div class="line"><a name="
|
|
919
|
-
<div class="line"><a name="
|
|
920
|
-
<div class="line"><a name="
|
|
921
|
-
<div class="line"><a name="
|
|
922
|
-
<div class="line"><a name="
|
|
923
|
-
<div class="line"><a name="
|
|
924
|
-
<div class="line"><a name="
|
|
925
|
-
<div class="line"><a name="
|
|
937
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00712">712</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
938
|
+
<div class="fragment"><div class="line"><a name="l00713"></a><span class="lineno"> 713</span>  {</div>
|
|
939
|
+
<div class="line"><a name="l00714"></a><span class="lineno"> 714</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a84e542a2dc10c8d7e306b0134c66c02e">_nodeToCDN</a>.find(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
|
|
940
|
+
<div class="line"><a name="l00715"></a><span class="lineno"> 715</span>  <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a84e542a2dc10c8d7e306b0134c66c02e">_nodeToCDN</a>.end())</div>
|
|
941
|
+
<div class="line"><a name="l00716"></a><span class="lineno"> 716</span>  {</div>
|
|
942
|
+
<div class="line"><a name="l00717"></a><span class="lineno"> 717</span>  <span class="keywordflow">return</span> it->second;</div>
|
|
943
|
+
<div class="line"><a name="l00718"></a><span class="lineno"> 718</span>  }</div>
|
|
944
|
+
<div class="line"><a name="l00719"></a><span class="lineno"> 719</span>  <span class="keywordflow">else</span></div>
|
|
945
|
+
<div class="line"><a name="l00720"></a><span class="lineno"> 720</span>  {</div>
|
|
946
|
+
<div class="line"><a name="l00721"></a><span class="lineno"> 721</span>  <span class="keywordflow">return</span> 0;</div>
|
|
947
|
+
<div class="line"><a name="l00722"></a><span class="lineno"> 722</span>  }</div>
|
|
948
|
+
<div class="line"><a name="l00723"></a><span class="lineno"> 723</span>  }</div>
|
|
926
949
|
</div><!-- fragment -->
|
|
927
950
|
</div>
|
|
928
951
|
</div>
|
|
@@ -950,12 +973,12 @@ Friends</h2></td></tr>
|
|
|
950
973
|
</table>
|
|
951
974
|
</div><div class="memdoc">
|
|
952
975
|
|
|
953
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
954
|
-
<div class="fragment"><div class="line"><a name="
|
|
955
|
-
<div class="line"><a name="
|
|
956
|
-
<div class="line"><a name="
|
|
957
|
-
<div class="line"><a name="
|
|
958
|
-
<div class="line"><a name="
|
|
976
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00546">546</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
977
|
+
<div class="fragment"><div class="line"><a name="l00547"></a><span class="lineno"> 547</span>  {</div>
|
|
978
|
+
<div class="line"><a name="l00548"></a><span class="lineno"> 548</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#abb5b72dbfa6f00bf952f1b71deb48598">_headToTails</a>.find(node);</div>
|
|
979
|
+
<div class="line"><a name="l00549"></a><span class="lineno"> 549</span>  assert(it != <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#abb5b72dbfa6f00bf952f1b71deb48598">_headToTails</a>.end() && <span class="stringliteral">"node not found"</span>);</div>
|
|
980
|
+
<div class="line"><a name="l00550"></a><span class="lineno"> 550</span>  <span class="keywordflow">return</span> it->second;</div>
|
|
981
|
+
<div class="line"><a name="l00551"></a><span class="lineno"> 551</span>  }</div>
|
|
959
982
|
</div><!-- fragment -->
|
|
960
983
|
</div>
|
|
961
984
|
</div>
|
|
@@ -985,12 +1008,12 @@ Friends</h2></td></tr>
|
|
|
985
1008
|
|
|
986
1009
|
<p>Get the wto-cycle-depth of the given node. </p>
|
|
987
1010
|
|
|
988
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
989
|
-
<div class="fragment"><div class="line"><a name="
|
|
990
|
-
<div class="line"><a name="
|
|
991
|
-
<div class="line"><a name="
|
|
992
|
-
<div class="line"><a name="
|
|
993
|
-
<div class="line"><a name="
|
|
1011
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00555">555</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1012
|
+
<div class="fragment"><div class="line"><a name="l00556"></a><span class="lineno"> 556</span>  {</div>
|
|
1013
|
+
<div class="line"><a name="l00557"></a><span class="lineno"> 557</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187">_nodeToDepth</a>.find(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
|
|
1014
|
+
<div class="line"><a name="l00558"></a><span class="lineno"> 558</span>  assert(it != <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187">_nodeToDepth</a>.end() && <span class="stringliteral">"node not found"</span>);</div>
|
|
1015
|
+
<div class="line"><a name="l00559"></a><span class="lineno"> 559</span>  <span class="keywordflow">return</span> *(it->second);</div>
|
|
1016
|
+
<div class="line"><a name="l00560"></a><span class="lineno"> 560</span>  }</div>
|
|
994
1017
|
</div><!-- fragment -->
|
|
995
1018
|
</div>
|
|
996
1019
|
</div>
|
|
@@ -1017,10 +1040,10 @@ Friends</h2></td></tr>
|
|
|
1017
1040
|
</table>
|
|
1018
1041
|
</div><div class="memdoc">
|
|
1019
1042
|
|
|
1020
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1021
|
-
<div class="fragment"><div class="line"><a name="
|
|
1022
|
-
<div class="line"><a name="
|
|
1023
|
-
<div class="line"><a name="
|
|
1043
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00536">536</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1044
|
+
<div class="fragment"><div class="line"><a name="l00537"></a><span class="lineno"> 537</span>  {</div>
|
|
1045
|
+
<div class="line"><a name="l00538"></a><span class="lineno"> 538</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc">_headToCycle</a>.cbegin();</div>
|
|
1046
|
+
<div class="line"><a name="l00539"></a><span class="lineno"> 539</span>  }</div>
|
|
1024
1047
|
</div><!-- fragment -->
|
|
1025
1048
|
</div>
|
|
1026
1049
|
</div>
|
|
@@ -1047,10 +1070,10 @@ Friends</h2></td></tr>
|
|
|
1047
1070
|
</table>
|
|
1048
1071
|
</div><div class="memdoc">
|
|
1049
1072
|
|
|
1050
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1051
|
-
<div class="fragment"><div class="line"><a name="
|
|
1052
|
-
<div class="line"><a name="
|
|
1053
|
-
<div class="line"><a name="
|
|
1073
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00541">541</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1074
|
+
<div class="fragment"><div class="line"><a name="l00542"></a><span class="lineno"> 542</span>  {</div>
|
|
1075
|
+
<div class="line"><a name="l00543"></a><span class="lineno"> 543</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc">_headToCycle</a>.cend();</div>
|
|
1076
|
+
<div class="line"><a name="l00544"></a><span class="lineno"> 544</span>  }</div>
|
|
1054
1077
|
</div><!-- fragment -->
|
|
1055
1078
|
</div>
|
|
1056
1079
|
</div>
|
|
@@ -1080,11 +1103,11 @@ Friends</h2></td></tr>
|
|
|
1080
1103
|
|
|
1081
1104
|
<p>Whether the given node is in the node to cycle getCDN. </p>
|
|
1082
1105
|
|
|
1083
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1084
|
-
<div class="fragment"><div class="line"><a name="
|
|
1085
|
-
<div class="line"><a name="
|
|
1086
|
-
<div class="line"><a name="
|
|
1087
|
-
<div class="line"><a name="
|
|
1106
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00563">563</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1107
|
+
<div class="fragment"><div class="line"><a name="l00564"></a><span class="lineno"> 564</span>  {</div>
|
|
1108
|
+
<div class="line"><a name="l00565"></a><span class="lineno"> 565</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187">_nodeToDepth</a>.find(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
|
|
1109
|
+
<div class="line"><a name="l00566"></a><span class="lineno"> 566</span>  <span class="keywordflow">return</span> it != <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187">_nodeToDepth</a>.end();</div>
|
|
1110
|
+
<div class="line"><a name="l00567"></a><span class="lineno"> 567</span>  }</div>
|
|
1088
1111
|
</div><!-- fragment -->
|
|
1089
1112
|
</div>
|
|
1090
1113
|
</div>
|
|
@@ -1112,10 +1135,10 @@ Friends</h2></td></tr>
|
|
|
1112
1135
|
</table>
|
|
1113
1136
|
</div><div class="memdoc">
|
|
1114
1137
|
|
|
1115
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1116
|
-
<div class="fragment"><div class="line"><a name="
|
|
1117
|
-
<div class="line"><a name="
|
|
1118
|
-
<div class="line"><a name="
|
|
1138
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00531">531</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1139
|
+
<div class="fragment"><div class="line"><a name="l00532"></a><span class="lineno"> 532</span>  {</div>
|
|
1140
|
+
<div class="line"><a name="l00533"></a><span class="lineno"> 533</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc">_headToCycle</a>.find(node) != <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc">_headToCycle</a>.end();</div>
|
|
1141
|
+
<div class="line"><a name="l00534"></a><span class="lineno"> 534</span>  }</div>
|
|
1119
1142
|
</div><!-- fragment -->
|
|
1120
1143
|
</div>
|
|
1121
1144
|
</div>
|
|
@@ -1153,12 +1176,12 @@ Friends</h2></td></tr>
|
|
|
1153
1176
|
</table>
|
|
1154
1177
|
</div><div class="memdoc">
|
|
1155
1178
|
|
|
1156
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1157
|
-
<div class="fragment"><div class="line"><a name="
|
|
1158
|
-
<div class="line"><a name="
|
|
1159
|
-
<div class="line"><a name="
|
|
1160
|
-
<div class="line"><a name="
|
|
1161
|
-
<div class="line"><a name="
|
|
1179
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00757">757</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1180
|
+
<div class="fragment"><div class="line"><a name="l00758"></a><span class="lineno"> 758</span>  {</div>
|
|
1181
|
+
<div class="line"><a name="l00759"></a><span class="lineno"> 759</span>  <span class="keyword">const</span> CFBasicBlockGWTOCycle *ptr = <span class="keyword">new</span> CFBasicBlockGWTOCycle(node, <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(partition));</div>
|
|
1182
|
+
<div class="line"><a name="l00760"></a><span class="lineno"> 760</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ac70fb325200079c4ffee90e1666a3694">_allComponents</a>.insert(ptr);</div>
|
|
1183
|
+
<div class="line"><a name="l00761"></a><span class="lineno"> 761</span>  <span class="keywordflow">return</span> ptr;</div>
|
|
1184
|
+
<div class="line"><a name="l00762"></a><span class="lineno"> 762</span>  }</div>
|
|
1162
1185
|
</div><!-- fragment -->
|
|
1163
1186
|
</div>
|
|
1164
1187
|
</div>
|
|
@@ -1186,12 +1209,12 @@ Friends</h2></td></tr>
|
|
|
1186
1209
|
</table>
|
|
1187
1210
|
</div><div class="memdoc">
|
|
1188
1211
|
|
|
1189
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1190
|
-
<div class="fragment"><div class="line"><a name="
|
|
1191
|
-
<div class="line"><a name="
|
|
1192
|
-
<div class="line"><a name="
|
|
1193
|
-
<div class="line"><a name="
|
|
1194
|
-
<div class="line"><a name="
|
|
1212
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00750">750</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1213
|
+
<div class="fragment"><div class="line"><a name="l00751"></a><span class="lineno"> 751</span>  {</div>
|
|
1214
|
+
<div class="line"><a name="l00752"></a><span class="lineno"> 752</span>  <span class="keyword">const</span> CFBasicBlockGWTONode *ptr = <span class="keyword">new</span> CFBasicBlockGWTONode(node);</div>
|
|
1215
|
+
<div class="line"><a name="l00753"></a><span class="lineno"> 753</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ac70fb325200079c4ffee90e1666a3694">_allComponents</a>.insert(ptr);</div>
|
|
1216
|
+
<div class="line"><a name="l00754"></a><span class="lineno"> 754</span>  <span class="keywordflow">return</span> ptr;</div>
|
|
1217
|
+
<div class="line"><a name="l00755"></a><span class="lineno"> 755</span>  }</div>
|
|
1195
1218
|
</div><!-- fragment -->
|
|
1196
1219
|
</div>
|
|
1197
1220
|
</div>
|
|
@@ -1272,13 +1295,13 @@ Friends</h2></td></tr>
|
|
|
1272
1295
|
|
|
1273
1296
|
<p>Pop a node from the stack. </p>
|
|
1274
1297
|
|
|
1275
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1276
|
-
<div class="fragment"><div class="line"><a name="
|
|
1277
|
-
<div class="line"><a name="
|
|
1278
|
-
<div class="line"><a name="
|
|
1279
|
-
<div class="line"><a name="
|
|
1280
|
-
<div class="line"><a name="
|
|
1281
|
-
<div class="line"><a name="
|
|
1298
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00736">736</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1299
|
+
<div class="fragment"><div class="line"><a name="l00737"></a><span class="lineno"> 737</span>  {</div>
|
|
1300
|
+
<div class="line"><a name="l00738"></a><span class="lineno"> 738</span>  assert(!<a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303">_stack</a>.empty() && <span class="stringliteral">"empty stack"</span>);</div>
|
|
1301
|
+
<div class="line"><a name="l00739"></a><span class="lineno"> 739</span>  <span class="keyword">const</span> CFBasicBlockNode *top = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303">_stack</a>.back();</div>
|
|
1302
|
+
<div class="line"><a name="l00740"></a><span class="lineno"> 740</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303">_stack</a>.pop_back();</div>
|
|
1303
|
+
<div class="line"><a name="l00741"></a><span class="lineno"> 741</span>  <span class="keywordflow">return</span> top;</div>
|
|
1304
|
+
<div class="line"><a name="l00742"></a><span class="lineno"> 742</span>  }</div>
|
|
1282
1305
|
</div><!-- fragment -->
|
|
1283
1306
|
</div>
|
|
1284
1307
|
</div>
|
|
@@ -1308,10 +1331,10 @@ Friends</h2></td></tr>
|
|
|
1308
1331
|
|
|
1309
1332
|
<p>Push a node on the stack. </p>
|
|
1310
1333
|
|
|
1311
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1312
|
-
<div class="fragment"><div class="line"><a name="
|
|
1313
|
-
<div class="line"><a name="
|
|
1314
|
-
<div class="line"><a name="
|
|
1334
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00745">745</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1335
|
+
<div class="fragment"><div class="line"><a name="l00746"></a><span class="lineno"> 746</span>  {</div>
|
|
1336
|
+
<div class="line"><a name="l00747"></a><span class="lineno"> 747</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303">_stack</a>.push_back(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
|
|
1337
|
+
<div class="line"><a name="l00748"></a><span class="lineno"> 748</span>  }</div>
|
|
1315
1338
|
</div><!-- fragment -->
|
|
1316
1339
|
</div>
|
|
1317
1340
|
</div>
|
|
@@ -1351,14 +1374,14 @@ Friends</h2></td></tr>
|
|
|
1351
1374
|
|
|
1352
1375
|
<p>Set the cycle depth number of the given node. </p>
|
|
1353
1376
|
|
|
1354
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1355
|
-
<div class="fragment"><div class="line"><a name="
|
|
1356
|
-
<div class="line"><a name="
|
|
1357
|
-
<div class="line"><a name="
|
|
1358
|
-
<div class="line"><a name="
|
|
1359
|
-
<div class="line"><a name="
|
|
1360
|
-
<div class="line"><a name="
|
|
1361
|
-
<div class="line"><a name="
|
|
1377
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00726">726</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1378
|
+
<div class="fragment"><div class="line"><a name="l00727"></a><span class="lineno"> 727</span>  {</div>
|
|
1379
|
+
<div class="line"><a name="l00728"></a><span class="lineno"> 728</span>  <span class="keyword">auto</span> res = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a84e542a2dc10c8d7e306b0134c66c02e">_nodeToCDN</a>.insert(std::make_pair(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>, Depth));</div>
|
|
1380
|
+
<div class="line"><a name="l00729"></a><span class="lineno"> 729</span>  <span class="keywordflow">if</span> (!res.second)</div>
|
|
1381
|
+
<div class="line"><a name="l00730"></a><span class="lineno"> 730</span>  {</div>
|
|
1382
|
+
<div class="line"><a name="l00731"></a><span class="lineno"> 731</span>  (res.first)->second = Depth;</div>
|
|
1383
|
+
<div class="line"><a name="l00732"></a><span class="lineno"> 732</span>  }</div>
|
|
1384
|
+
<div class="line"><a name="l00733"></a><span class="lineno"> 733</span>  }</div>
|
|
1362
1385
|
</div><!-- fragment -->
|
|
1363
1386
|
</div>
|
|
1364
1387
|
</div>
|
|
@@ -1385,23 +1408,23 @@ Friends</h2></td></tr>
|
|
|
1385
1408
|
</table>
|
|
1386
1409
|
</div><div class="memdoc">
|
|
1387
1410
|
|
|
1388
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1389
|
-
<div class="fragment"><div class="line"><a name="
|
|
1390
|
-
<div class="line"><a name="
|
|
1391
|
-
<div class="line"><a name="
|
|
1392
|
-
<div class="line"><a name="
|
|
1393
|
-
<div class="line"><a name="
|
|
1394
|
-
<div class="line"><a name="
|
|
1395
|
-
<div class="line"><a name="
|
|
1396
|
-
<div class="line"><a name="
|
|
1397
|
-
<div class="line"><a name="
|
|
1398
|
-
<div class="line"><a name="
|
|
1399
|
-
<div class="line"><a name="
|
|
1400
|
-
<div class="line"><a name="
|
|
1401
|
-
<div class="line"><a name="
|
|
1402
|
-
<div class="line"><a name="
|
|
1403
|
-
<div class="line"><a name="
|
|
1404
|
-
<div class="line"><a name="
|
|
1411
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00578">578</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1412
|
+
<div class="fragment"><div class="line"><a name="l00579"></a><span class="lineno"> 579</span>  {</div>
|
|
1413
|
+
<div class="line"><a name="l00580"></a><span class="lineno"> 580</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
|
|
1414
|
+
<div class="line"><a name="l00581"></a><span class="lineno"> 581</span>  std::stringstream rawstr(str);</div>
|
|
1415
|
+
<div class="line"><a name="l00582"></a><span class="lineno"> 582</span>  rawstr << <span class="stringliteral">"["</span>;</div>
|
|
1416
|
+
<div class="line"><a name="l00583"></a><span class="lineno"> 583</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a62021e77023442dc809f6441cd3692c5">begin</a>(), et = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad915ed46be9ae3dbd7ee8227c0dee40d">end</a>(); it != et;)</div>
|
|
1417
|
+
<div class="line"><a name="l00584"></a><span class="lineno"> 584</span>  {</div>
|
|
1418
|
+
<div class="line"><a name="l00585"></a><span class="lineno"> 585</span>  rawstr << (*it)->toString();</div>
|
|
1419
|
+
<div class="line"><a name="l00586"></a><span class="lineno"> 586</span>  ++it;</div>
|
|
1420
|
+
<div class="line"><a name="l00587"></a><span class="lineno"> 587</span>  <span class="keywordflow">if</span> (it != et)</div>
|
|
1421
|
+
<div class="line"><a name="l00588"></a><span class="lineno"> 588</span>  {</div>
|
|
1422
|
+
<div class="line"><a name="l00589"></a><span class="lineno"> 589</span>  rawstr << <span class="stringliteral">", "</span>;</div>
|
|
1423
|
+
<div class="line"><a name="l00590"></a><span class="lineno"> 590</span>  }</div>
|
|
1424
|
+
<div class="line"><a name="l00591"></a><span class="lineno"> 591</span>  }</div>
|
|
1425
|
+
<div class="line"><a name="l00592"></a><span class="lineno"> 592</span>  rawstr << <span class="stringliteral">"]"</span>;</div>
|
|
1426
|
+
<div class="line"><a name="l00593"></a><span class="lineno"> 593</span>  <span class="keywordflow">return</span> rawstr.str();</div>
|
|
1427
|
+
<div class="line"><a name="l00594"></a><span class="lineno"> 594</span>  }</div>
|
|
1405
1428
|
</div><!-- fragment -->
|
|
1406
1429
|
</div>
|
|
1407
1430
|
</div>
|
|
@@ -1441,55 +1464,76 @@ Friends</h2></td></tr>
|
|
|
1441
1464
|
|
|
1442
1465
|
<p>Main algorithm to build WTO. </p>
|
|
1443
1466
|
|
|
1444
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1445
|
-
<div class="fragment"><div class="line"><a name="
|
|
1446
|
-
<div class="line"><a name="
|
|
1447
|
-
<div class="line"><a name="
|
|
1448
|
-
<div class="line"><a name="
|
|
1449
|
-
<div class="line"><a name="
|
|
1450
|
-
<div class="line"><a name="
|
|
1451
|
-
<div class="line"><a name="
|
|
1452
|
-
<div class="line"><a name="
|
|
1453
|
-
<div class="line"><a name="
|
|
1454
|
-
<div class="line"><a name="
|
|
1455
|
-
<div class="line"><a name="
|
|
1456
|
-
<div class="line"><a name="
|
|
1457
|
-
<div class="line"><a name="
|
|
1458
|
-
<div class="line"><a name="
|
|
1459
|
-
<div class="line"><a name="
|
|
1460
|
-
<div class="line"><a name="
|
|
1461
|
-
<div class="line"><a name="
|
|
1462
|
-
<div class="line"><a name="
|
|
1463
|
-
<div class="line"><a name="
|
|
1464
|
-
<div class="line"><a name="
|
|
1465
|
-
<div class="line"><a name="
|
|
1466
|
-
<div class="line"><a name="
|
|
1467
|
-
<div class="line"><a name="
|
|
1468
|
-
<div class="line"><a name="
|
|
1469
|
-
<div class="line"><a name="
|
|
1470
|
-
<div class="line"><a name="
|
|
1471
|
-
<div class="line"><a name="
|
|
1472
|
-
<div class="line"><a name="
|
|
1473
|
-
<div class="line"><a name="
|
|
1474
|
-
<div class="line"><a name="
|
|
1475
|
-
<div class="line"><a name="
|
|
1476
|
-
<div class="line"><a name="
|
|
1477
|
-
<div class="line"><a name="
|
|
1478
|
-
<div class="line"><a name="
|
|
1479
|
-
<div class="line"><a name="
|
|
1480
|
-
<div class="line"><a name="
|
|
1481
|
-
<div class="line"><a name="
|
|
1482
|
-
<div class="line"><a name="
|
|
1483
|
-
<div class="line"><a name="
|
|
1484
|
-
<div class="line"><a name="
|
|
1485
|
-
<div class="line"><a name="
|
|
1486
|
-
<div class="line"><a name="
|
|
1487
|
-
<div class="line"><a name="
|
|
1488
|
-
<div class="line"><a name="
|
|
1489
|
-
<div class="line"><a name="
|
|
1490
|
-
<div class="line"><a name="
|
|
1491
|
-
<div class="line"><a name="
|
|
1492
|
-
<div class="line"><a name="
|
|
1467
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00793">793</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1468
|
+
<div class="fragment"><div class="line"><a name="l00794"></a><span class="lineno"> 794</span>  {</div>
|
|
1469
|
+
<div class="line"><a name="l00795"></a><span class="lineno"> 795</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a> head(0);</div>
|
|
1470
|
+
<div class="line"><a name="l00796"></a><span class="lineno"> 796</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a> min(0);</div>
|
|
1471
|
+
<div class="line"><a name="l00797"></a><span class="lineno"> 797</span>  <span class="keywordtype">bool</span> loop;</div>
|
|
1472
|
+
<div class="line"><a name="l00798"></a><span class="lineno"> 798</span>  </div>
|
|
1473
|
+
<div class="line"><a name="l00799"></a><span class="lineno"> 799</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad9665cea2ec92371ecab7e86f7ac2923">push</a>(node);</div>
|
|
1474
|
+
<div class="line"><a name="l00800"></a><span class="lineno"> 800</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532">_num</a> += <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a>(1);</div>
|
|
1475
|
+
<div class="line"><a name="l00801"></a><span class="lineno"> 801</span>  head = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532">_num</a>;</div>
|
|
1476
|
+
<div class="line"><a name="l00802"></a><span class="lineno"> 802</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898">setCDN</a>(node, head);</div>
|
|
1477
|
+
<div class="line"><a name="l00803"></a><span class="lineno"> 803</span>  loop = <span class="keyword">false</span>;</div>
|
|
1478
|
+
<div class="line"><a name="l00804"></a><span class="lineno"> 804</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> CallICFGNode* callNode = SVFUtil::dyn_cast<CallICFGNode>(node->getICFGNodes().front()))</div>
|
|
1479
|
+
<div class="line"><a name="l00805"></a><span class="lineno"> 805</span>  {</div>
|
|
1480
|
+
<div class="line"><a name="l00806"></a><span class="lineno"> 806</span>  <span class="keyword">const</span> CFBasicBlockNode *succ = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad00addfd46be014c35a6ffbc9333d7f3">_graph</a>-><a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">getCFBasicBlockNode</a>(callNode->getRetICFGNode()->getId());</div>
|
|
1481
|
+
<div class="line"><a name="l00807"></a><span class="lineno"> 807</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a> succ_dfn = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a0f3ba7dd8271cf960bba22a4dc38d02c">getCDN</a>(succ);</div>
|
|
1482
|
+
<div class="line"><a name="l00808"></a><span class="lineno"> 808</span>  <span class="keywordflow">if</span> (succ_dfn == <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a>(0))</div>
|
|
1483
|
+
<div class="line"><a name="l00809"></a><span class="lineno"> 809</span>  {</div>
|
|
1484
|
+
<div class="line"><a name="l00810"></a><span class="lineno"> 810</span>  min = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb">visit</a>(succ, partition);</div>
|
|
1485
|
+
<div class="line"><a name="l00811"></a><span class="lineno"> 811</span>  }</div>
|
|
1486
|
+
<div class="line"><a name="l00812"></a><span class="lineno"> 812</span>  <span class="keywordflow">else</span></div>
|
|
1487
|
+
<div class="line"><a name="l00813"></a><span class="lineno"> 813</span>  {</div>
|
|
1488
|
+
<div class="line"><a name="l00814"></a><span class="lineno"> 814</span>  min = succ_dfn;</div>
|
|
1489
|
+
<div class="line"><a name="l00815"></a><span class="lineno"> 815</span>  }</div>
|
|
1490
|
+
<div class="line"><a name="l00816"></a><span class="lineno"> 816</span>  <span class="keywordflow">if</span> (min <= head)</div>
|
|
1491
|
+
<div class="line"><a name="l00817"></a><span class="lineno"> 817</span>  {</div>
|
|
1492
|
+
<div class="line"><a name="l00818"></a><span class="lineno"> 818</span>  head = min;</div>
|
|
1493
|
+
<div class="line"><a name="l00819"></a><span class="lineno"> 819</span>  loop = <span class="keyword">true</span>;</div>
|
|
1494
|
+
<div class="line"><a name="l00820"></a><span class="lineno"> 820</span>  }</div>
|
|
1495
|
+
<div class="line"><a name="l00821"></a><span class="lineno"> 821</span>  }</div>
|
|
1496
|
+
<div class="line"><a name="l00822"></a><span class="lineno"> 822</span>  <span class="keywordflow">else</span></div>
|
|
1497
|
+
<div class="line"><a name="l00823"></a><span class="lineno"> 823</span>  {</div>
|
|
1498
|
+
<div class="line"><a name="l00824"></a><span class="lineno"> 824</span>  <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = node->getOutEdges().begin(), et = node->getOutEdges().end(); it != et; ++it)</div>
|
|
1499
|
+
<div class="line"><a name="l00825"></a><span class="lineno"> 825</span>  {</div>
|
|
1500
|
+
<div class="line"><a name="l00826"></a><span class="lineno"> 826</span>  <span class="keyword">const</span> CFBasicBlockNode *succ = (*it)->getDstNode();</div>
|
|
1501
|
+
<div class="line"><a name="l00827"></a><span class="lineno"> 827</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a> succ_dfn = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a0f3ba7dd8271cf960bba22a4dc38d02c">getCDN</a>(succ);</div>
|
|
1502
|
+
<div class="line"><a name="l00828"></a><span class="lineno"> 828</span>  <span class="keywordflow">if</span> (succ_dfn == <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a>(0))</div>
|
|
1503
|
+
<div class="line"><a name="l00829"></a><span class="lineno"> 829</span>  {</div>
|
|
1504
|
+
<div class="line"><a name="l00830"></a><span class="lineno"> 830</span>  min = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb">visit</a>(succ, partition);</div>
|
|
1505
|
+
<div class="line"><a name="l00831"></a><span class="lineno"> 831</span>  }</div>
|
|
1506
|
+
<div class="line"><a name="l00832"></a><span class="lineno"> 832</span>  <span class="keywordflow">else</span></div>
|
|
1507
|
+
<div class="line"><a name="l00833"></a><span class="lineno"> 833</span>  {</div>
|
|
1508
|
+
<div class="line"><a name="l00834"></a><span class="lineno"> 834</span>  min = succ_dfn;</div>
|
|
1509
|
+
<div class="line"><a name="l00835"></a><span class="lineno"> 835</span>  }</div>
|
|
1510
|
+
<div class="line"><a name="l00836"></a><span class="lineno"> 836</span>  <span class="keywordflow">if</span> (min <= head)</div>
|
|
1511
|
+
<div class="line"><a name="l00837"></a><span class="lineno"> 837</span>  {</div>
|
|
1512
|
+
<div class="line"><a name="l00838"></a><span class="lineno"> 838</span>  head = min;</div>
|
|
1513
|
+
<div class="line"><a name="l00839"></a><span class="lineno"> 839</span>  loop = <span class="keyword">true</span>;</div>
|
|
1514
|
+
<div class="line"><a name="l00840"></a><span class="lineno"> 840</span>  }</div>
|
|
1515
|
+
<div class="line"><a name="l00841"></a><span class="lineno"> 841</span>  }</div>
|
|
1516
|
+
<div class="line"><a name="l00842"></a><span class="lineno"> 842</span>  }</div>
|
|
1517
|
+
<div class="line"><a name="l00843"></a><span class="lineno"> 843</span>  <span class="keywordflow">if</span> (head == <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a0f3ba7dd8271cf960bba22a4dc38d02c">getCDN</a>(node))</div>
|
|
1518
|
+
<div class="line"><a name="l00844"></a><span class="lineno"> 844</span>  {</div>
|
|
1519
|
+
<div class="line"><a name="l00845"></a><span class="lineno"> 845</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898">setCDN</a>(node, UINT_MAX);</div>
|
|
1520
|
+
<div class="line"><a name="l00846"></a><span class="lineno"> 846</span>  <span class="keyword">const</span> CFBasicBlockNode *element = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad8d9315b18c019bada948380f8a4bb35">pop</a>();</div>
|
|
1521
|
+
<div class="line"><a name="l00847"></a><span class="lineno"> 847</span>  <span class="keywordflow">if</span> (loop)</div>
|
|
1522
|
+
<div class="line"><a name="l00848"></a><span class="lineno"> 848</span>  {</div>
|
|
1523
|
+
<div class="line"><a name="l00849"></a><span class="lineno"> 849</span>  <span class="keywordflow">while</span> (element != node)</div>
|
|
1524
|
+
<div class="line"><a name="l00850"></a><span class="lineno"> 850</span>  {</div>
|
|
1525
|
+
<div class="line"><a name="l00851"></a><span class="lineno"> 851</span>  <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898">setCDN</a>(element, 0);</div>
|
|
1526
|
+
<div class="line"><a name="l00852"></a><span class="lineno"> 852</span>  element = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad8d9315b18c019bada948380f8a4bb35">pop</a>();</div>
|
|
1527
|
+
<div class="line"><a name="l00853"></a><span class="lineno"> 853</span>  }</div>
|
|
1528
|
+
<div class="line"><a name="l00854"></a><span class="lineno"> 854</span>  partition.push_front(<a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a9dd4ed2f3347d529163a60e0386ea11d">component</a>(node));</div>
|
|
1529
|
+
<div class="line"><a name="l00855"></a><span class="lineno"> 855</span>  }</div>
|
|
1530
|
+
<div class="line"><a name="l00856"></a><span class="lineno"> 856</span>  <span class="keywordflow">else</span></div>
|
|
1531
|
+
<div class="line"><a name="l00857"></a><span class="lineno"> 857</span>  {</div>
|
|
1532
|
+
<div class="line"><a name="l00858"></a><span class="lineno"> 858</span>  partition.push_front(<a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#acab6d0c92dc8e03a97cc78b060a624c4">newNode</a>(node));</div>
|
|
1533
|
+
<div class="line"><a name="l00859"></a><span class="lineno"> 859</span>  }</div>
|
|
1534
|
+
<div class="line"><a name="l00860"></a><span class="lineno"> 860</span>  }</div>
|
|
1535
|
+
<div class="line"><a name="l00861"></a><span class="lineno"> 861</span>  <span class="keywordflow">return</span> head;</div>
|
|
1536
|
+
<div class="line"><a name="l00862"></a><span class="lineno"> 862</span>  }</div>
|
|
1493
1537
|
</div><!-- fragment -->
|
|
1494
1538
|
</div>
|
|
1495
1539
|
</div>
|
|
@@ -1528,11 +1572,11 @@ Friends</h2></td></tr>
|
|
|
1528
1572
|
</table>
|
|
1529
1573
|
</div><div class="memdoc">
|
|
1530
1574
|
|
|
1531
|
-
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#
|
|
1532
|
-
<div class="fragment"><div class="line"><a name="
|
|
1533
|
-
<div class="line"><a name="
|
|
1534
|
-
<div class="line"><a name="
|
|
1535
|
-
<div class="line"><a name="
|
|
1575
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00596">596</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1576
|
+
<div class="fragment"><div class="line"><a name="l00597"></a><span class="lineno"> 597</span>  {</div>
|
|
1577
|
+
<div class="line"><a name="l00598"></a><span class="lineno"> 598</span>  o << <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ab4049975aad5b59c31bb5501ff7465c8">CFBasicBlockGWTO</a>.toString();</div>
|
|
1578
|
+
<div class="line"><a name="l00599"></a><span class="lineno"> 599</span>  <span class="keywordflow">return</span> o;</div>
|
|
1579
|
+
<div class="line"><a name="l00600"></a><span class="lineno"> 600</span>  }</div>
|
|
1536
1580
|
</div><!-- fragment -->
|
|
1537
1581
|
</div>
|
|
1538
1582
|
</div>
|
|
@@ -1583,6 +1627,30 @@ Friends</h2></td></tr>
|
|
|
1583
1627
|
|
|
1584
1628
|
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00487">487</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1585
1629
|
|
|
1630
|
+
</div>
|
|
1631
|
+
</div>
|
|
1632
|
+
<a id="ad00addfd46be014c35a6ffbc9333d7f3"></a>
|
|
1633
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ad00addfd46be014c35a6ffbc9333d7f3">◆ </a></span>_graph</h2>
|
|
1634
|
+
|
|
1635
|
+
<div class="memitem">
|
|
1636
|
+
<div class="memproto">
|
|
1637
|
+
<table class="mlabels">
|
|
1638
|
+
<tr>
|
|
1639
|
+
<td class="mlabels-left">
|
|
1640
|
+
<table class="memname">
|
|
1641
|
+
<tr>
|
|
1642
|
+
<td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a>* SVF::CFBasicBlockGWTO::_graph</td>
|
|
1643
|
+
</tr>
|
|
1644
|
+
</table>
|
|
1645
|
+
</td>
|
|
1646
|
+
<td class="mlabels-right">
|
|
1647
|
+
<span class="mlabels"><span class="mlabel">protected</span></span> </td>
|
|
1648
|
+
</tr>
|
|
1649
|
+
</table>
|
|
1650
|
+
</div><div class="memdoc">
|
|
1651
|
+
|
|
1652
|
+
<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00495">495</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
|
|
1653
|
+
|
|
1586
1654
|
</div>
|
|
1587
1655
|
</div>
|
|
1588
1656
|
<a id="ab9fa2e63665b25c8fb771e92dc9b19dc"></a>
|
|
@@ -1735,33 +1803,35 @@ Friends</h2></td></tr>
|
|
|
1735
1803
|
</div><!-- contents -->
|
|
1736
1804
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ada27aa4f9b577c7f7cef09e9936327f2"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ada27aa4f9b577c7f7cef09e9936327f2">SVF::CFBasicBlockGWTO::NodeRefSet</a></div><div class="ttdeci">Set< const CFBasicBlockNode * > NodeRefSet</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00469">WTO.h:469</a></div></div>
|
|
1737
1805
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a19ae57653ecb3c74d030bed48327ed0e"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">SVF::CFBasicBlockGWTO::CycleDepthNumber</a></div><div class="ttdeci">u32_t CycleDepthNumber</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00477">WTO.h:477</a></div></div>
|
|
1738
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a62021e77023442dc809f6441cd3692c5"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a62021e77023442dc809f6441cd3692c5">SVF::CFBasicBlockGWTO::begin</a></div><div class="ttdeci">Iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1806
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a62021e77023442dc809f6441cd3692c5"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a62021e77023442dc809f6441cd3692c5">SVF::CFBasicBlockGWTO::begin</a></div><div class="ttdeci">Iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00521">WTO.h:521</a></div></div>
|
|
1739
1807
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a84e542a2dc10c8d7e306b0134c66c02e"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a84e542a2dc10c8d7e306b0134c66c02e">SVF::CFBasicBlockGWTO::_nodeToCDN</a></div><div class="ttdeci">NodeRefToCycleDepthNumber _nodeToCDN</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00492">WTO.h:492</a></div></div>
|
|
1740
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a47b0a759cac2b4264b8c01dbe9f1c63f"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a47b0a759cac2b4264b8c01dbe9f1c63f">SVF::CFBasicBlockGWTO::getWTOCycleDepth</a></div><div class="ttdeci">const CFBasicBlockGWTOCycleDepth & getWTOCycleDepth(const CFBasicBlockNode *n) const</div><div class="ttdoc">Get the wto-cycle-depth of the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1808
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a47b0a759cac2b4264b8c01dbe9f1c63f"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a47b0a759cac2b4264b8c01dbe9f1c63f">SVF::CFBasicBlockGWTO::getWTOCycleDepth</a></div><div class="ttdeci">const CFBasicBlockGWTOCycleDepth & getWTOCycleDepth(const CFBasicBlockNode *n) const</div><div class="ttdoc">Get the wto-cycle-depth of the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00555">WTO.h:555</a></div></div>
|
|
1741
1809
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a1e6c7cb2b79de62cbad8d29980d5cf38"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a1e6c7cb2b79de62cbad8d29980d5cf38">SVF::CFBasicBlockGWTO::WTOCompRefList</a></div><div class="ttdeci">std::list< const CFBasicBlockGWTOComp * > WTOCompRefList</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00472">WTO.h:472</a></div></div>
|
|
1742
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a0f3ba7dd8271cf960bba22a4dc38d02c"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a0f3ba7dd8271cf960bba22a4dc38d02c">SVF::CFBasicBlockGWTO::getCDN</a></div><div class="ttdeci">CycleDepthNumber getCDN(const CFBasicBlockNode *n) const</div><div class="ttdoc">Get the cycle depth number of the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1810
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a0f3ba7dd8271cf960bba22a4dc38d02c"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a0f3ba7dd8271cf960bba22a4dc38d02c">SVF::CFBasicBlockGWTO::getCDN</a></div><div class="ttdeci">CycleDepthNumber getCDN(const CFBasicBlockNode *n) const</div><div class="ttdoc">Get the cycle depth number of the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00712">WTO.h:712</a></div></div>
|
|
1743
1811
|
<div class="ttc" id="acJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
|
|
1744
1812
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a6f04a2b3e141e0b4df24ec6cfdf79532"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532">SVF::CFBasicBlockGWTO::_num</a></div><div class="ttdeci">CycleDepthNumber _num</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00493">WTO.h:493</a></div></div>
|
|
1745
1813
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ab9fa2e63665b25c8fb771e92dc9b19dc"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc">SVF::CFBasicBlockGWTO::_headToCycle</a></div><div class="ttdeci">NodeRefToWTOCycleMap _headToCycle</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00489">WTO.h:489</a></div></div>
|
|
1746
1814
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_add361ba0493a8fc9e9b08a4076a8e171"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#add361ba0493a8fc9e9b08a4076a8e171">SVF::CFBasicBlockGWTO::_components</a></div><div class="ttdeci">WTOCompRefList _components</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00487">WTO.h:487</a></div></div>
|
|
1747
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a01822119935bdbe665743b13b4f2380e"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a01822119935bdbe665743b13b4f2380e">SVF::CFBasicBlockGWTO::newCycle</a></div><div class="ttdeci">const CFBasicBlockGWTOCycle * newCycle(const CFBasicBlockNode *node, const WTOCompRefList &partition)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1815
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a01822119935bdbe665743b13b4f2380e"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a01822119935bdbe665743b13b4f2380e">SVF::CFBasicBlockGWTO::newCycle</a></div><div class="ttdeci">const CFBasicBlockGWTOCycle * newCycle(const CFBasicBlockNode *node, const WTOCompRefList &partition)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00757">WTO.h:757</a></div></div>
|
|
1748
1816
|
<div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
|
|
1749
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ad9665cea2ec92371ecab7e86f7ac2923"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ad9665cea2ec92371ecab7e86f7ac2923">SVF::CFBasicBlockGWTO::push</a></div><div class="ttdeci">void push(const CFBasicBlockNode *n)</div><div class="ttdoc">Push a node on the stack.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1750
|
-
<div class="ttc" id="
|
|
1817
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ad9665cea2ec92371ecab7e86f7ac2923"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ad9665cea2ec92371ecab7e86f7ac2923">SVF::CFBasicBlockGWTO::push</a></div><div class="ttdeci">void push(const CFBasicBlockNode *n)</div><div class="ttdoc">Push a node on the stack.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00745">WTO.h:745</a></div></div>
|
|
1818
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a54200b5a7c41c2ba19660da34c295e81"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">SVF::CFBasicBlockGraph::getCFBasicBlockNode</a></div><div class="ttdeci">CFBasicBlockNode * getCFBasicBlockNode(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00367">CFBasicBlockG.h:367</a></div></div>
|
|
1819
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a50fa3b82172788c5e963d723b27900ba"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a50fa3b82172788c5e963d723b27900ba">SVF::CFBasicBlockGWTO::buildNodeToWTOCycleDepth</a></div><div class="ttdeci">void buildNodeToWTOCycleDepth()</div><div class="ttdoc">Build the node to WTO cycle depth table.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00865">WTO.h:865</a></div></div>
|
|
1751
1820
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ac70fb325200079c4ffee90e1666a3694"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ac70fb325200079c4ffee90e1666a3694">SVF::CFBasicBlockGWTO::_allComponents</a></div><div class="ttdeci">WTOCompRefSet _allComponents</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00488">WTO.h:488</a></div></div>
|
|
1752
1821
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_abb5b72dbfa6f00bf952f1b71deb48598"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#abb5b72dbfa6f00bf952f1b71deb48598">SVF::CFBasicBlockGWTO::_headToTails</a></div><div class="ttdeci">NodeRefToNodeRefSetMap _headToTails</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00490">WTO.h:490</a></div></div>
|
|
1753
1822
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a97fb5b5dff4b1b08ee6fb09876630303"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303">SVF::CFBasicBlockGWTO::_stack</a></div><div class="ttdeci">CFBasicBlockNodes _stack</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00494">WTO.h:494</a></div></div>
|
|
1754
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a371c7416c88df3c0b70addf9b88b305a"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a371c7416c88df3c0b70addf9b88b305a">SVF::CFBasicBlockGWTO::build_tails</a></div><div class="ttdeci">virtual void build_tails()</div><div class="ttdoc">Build the tails for each cycle.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1823
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a371c7416c88df3c0b70addf9b88b305a"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a371c7416c88df3c0b70addf9b88b305a">SVF::CFBasicBlockGWTO::build_tails</a></div><div class="ttdeci">virtual void build_tails()</div><div class="ttdoc">Build the tails for each cycle.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00875">WTO.h:875</a></div></div>
|
|
1755
1824
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference< T >::type && move(T &&t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
|
|
1756
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a6cc2cb7b203e16b9cc8f5e121f39bd9f"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f">SVF::CFBasicBlockGWTO::build</a></div><div class="ttdeci">void build(const CFBasicBlockNode *entry)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1757
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ad8d9315b18c019bada948380f8a4bb35"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ad8d9315b18c019bada948380f8a4bb35">SVF::CFBasicBlockGWTO::pop</a></div><div class="ttdeci">const CFBasicBlockNode * pop()</div><div class="ttdoc">Pop a node from the stack.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1758
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_acab6d0c92dc8e03a97cc78b060a624c4"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#acab6d0c92dc8e03a97cc78b060a624c4">SVF::CFBasicBlockGWTO::newNode</a></div><div class="ttdeci">const CFBasicBlockGWTONode * newNode(const CFBasicBlockNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1759
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a49d0128828b44df0a8631dd193ed8898"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898">SVF::CFBasicBlockGWTO::setCDN</a></div><div class="ttdeci">void setCDN(const CFBasicBlockNode *n, const CycleDepthNumber &Depth)</div><div class="ttdoc">Set the cycle depth number of the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1760
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a9dd4ed2f3347d529163a60e0386ea11d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a9dd4ed2f3347d529163a60e0386ea11d">SVF::CFBasicBlockGWTO::component</a></div><div class="ttdeci">const CFBasicBlockGWTOCycle * component(const CFBasicBlockNode *node)</div><div class="ttdoc">Create the cycle component for the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1825
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a6cc2cb7b203e16b9cc8f5e121f39bd9f"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f">SVF::CFBasicBlockGWTO::build</a></div><div class="ttdeci">void build(const CFBasicBlockNode *entry)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00604">WTO.h:604</a></div></div>
|
|
1826
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ad8d9315b18c019bada948380f8a4bb35"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ad8d9315b18c019bada948380f8a4bb35">SVF::CFBasicBlockGWTO::pop</a></div><div class="ttdeci">const CFBasicBlockNode * pop()</div><div class="ttdoc">Pop a node from the stack.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00736">WTO.h:736</a></div></div>
|
|
1827
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_acab6d0c92dc8e03a97cc78b060a624c4"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#acab6d0c92dc8e03a97cc78b060a624c4">SVF::CFBasicBlockGWTO::newNode</a></div><div class="ttdeci">const CFBasicBlockGWTONode * newNode(const CFBasicBlockNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00750">WTO.h:750</a></div></div>
|
|
1828
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a49d0128828b44df0a8631dd193ed8898"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898">SVF::CFBasicBlockGWTO::setCDN</a></div><div class="ttdeci">void setCDN(const CFBasicBlockNode *n, const CycleDepthNumber &Depth)</div><div class="ttdoc">Set the cycle depth number of the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00726">WTO.h:726</a></div></div>
|
|
1829
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a9dd4ed2f3347d529163a60e0386ea11d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a9dd4ed2f3347d529163a60e0386ea11d">SVF::CFBasicBlockGWTO::component</a></div><div class="ttdeci">const CFBasicBlockGWTOCycle * component(const CFBasicBlockNode *node)</div><div class="ttdoc">Create the cycle component for the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00765">WTO.h:765</a></div></div>
|
|
1830
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ad00addfd46be014c35a6ffbc9333d7f3"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ad00addfd46be014c35a6ffbc9333d7f3">SVF::CFBasicBlockGWTO::_graph</a></div><div class="ttdeci">CFBasicBlockGraph * _graph</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00495">WTO.h:495</a></div></div>
|
|
1761
1831
|
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ada96b743fb0fd92f5f2c539130404187"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187">SVF::CFBasicBlockGWTO::_nodeToDepth</a></div><div class="ttdeci">NodeRefToWTOCycleDepthPtr _nodeToDepth</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00491">WTO.h:491</a></div></div>
|
|
1762
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ab4049975aad5b59c31bb5501ff7465c8"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ab4049975aad5b59c31bb5501ff7465c8">SVF::CFBasicBlockGWTO::CFBasicBlockGWTO</a></div><div class="ttdeci">CFBasicBlockGWTO()</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1763
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ad915ed46be9ae3dbd7ee8227c0dee40d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ad915ed46be9ae3dbd7ee8227c0dee40d">SVF::CFBasicBlockGWTO::end</a></div><div class="ttdeci">Iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1764
|
-
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_af7351af6e43b593b9915ed2a2d0d16fb"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb">SVF::CFBasicBlockGWTO::visit</a></div><div class="ttdeci">virtual CycleDepthNumber visit(const CFBasicBlockNode *node, WTOCompRefList &partition)</div><div class="ttdoc">Main algorithm to build WTO.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#
|
|
1832
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ab4049975aad5b59c31bb5501ff7465c8"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ab4049975aad5b59c31bb5501ff7465c8">SVF::CFBasicBlockGWTO::CFBasicBlockGWTO</a></div><div class="ttdeci">CFBasicBlockGWTO()</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00498">WTO.h:498</a></div></div>
|
|
1833
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ad915ed46be9ae3dbd7ee8227c0dee40d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ad915ed46be9ae3dbd7ee8227c0dee40d">SVF::CFBasicBlockGWTO::end</a></div><div class="ttdeci">Iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00526">WTO.h:526</a></div></div>
|
|
1834
|
+
<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_af7351af6e43b593b9915ed2a2d0d16fb"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb">SVF::CFBasicBlockGWTO::visit</a></div><div class="ttdeci">virtual CycleDepthNumber visit(const CFBasicBlockNode *node, WTOCompRefList &partition)</div><div class="ttdoc">Main algorithm to build WTO.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00793">WTO.h:793</a></div></div>
|
|
1765
1835
|
<!-- start footer part -->
|
|
1766
1836
|
<hr class="footer"/><address class="footer"><small>
|
|
1767
1837
|
Generated by  <a href="http://www.doxygen.org/index.html">
|