Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

make basic block the base class #1628

Closed
wants to merge 1 commit into from
Closed

Conversation

jumormt
Copy link
Contributor

@jumormt jumormt commented Jan 13, 2025

No description provided.

@jumormt
Copy link
Contributor Author

jumormt commented Jan 13, 2025

TODO: project comparison

Copy link

codecov bot commented Jan 13, 2025

Codecov Report

Attention: Patch coverage is 81.81818% with 4 lines in your changes missing coverage. Please review.

Project coverage is 62.95%. Comparing base (a837b3f) to head (a209a7b).
Report is 1 commits behind head on master.

Files with missing lines Patch % Lines
svf/include/SVFIR/SVFValue.h 55.55% 4 Missing ⚠️
Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##           master    #1628      +/-   ##
==========================================
+ Coverage   62.92%   62.95%   +0.03%     
==========================================
  Files         247      247              
  Lines       27746    27722      -24     
  Branches     4550     4550              
==========================================
- Hits        17459    17453       -6     
+ Misses      10287    10269      -18     
Files with missing lines Coverage Δ
svf-llvm/include/SVF-LLVM/LLVMModule.h 98.46% <100.00%> (-0.02%) ⬇️
svf-llvm/lib/LLVMModule.cpp 81.20% <100.00%> (+0.13%) ⬆️
svf-llvm/lib/LLVMUtil.cpp 75.26% <ø> (+0.17%) ⬆️
svf-llvm/lib/ObjTypeInference.cpp 95.16% <100.00%> (-0.04%) ⬇️
svf/include/SVFIR/SVFFileSystem.h 27.12% <ø> (ø)
svf/lib/SVFIR/SVFFileSystem.cpp 35.69% <ø> (+0.11%) ⬆️
svf/lib/SVFIR/SVFValue.cpp 76.19% <100.00%> (-0.67%) ⬇️
svf/include/SVFIR/SVFValue.h 88.63% <55.55%> (-2.43%) ⬇️

@jumormt
Copy link
Contributor Author

jumormt commented Jan 13, 2025

--- log/nginx.log 2025-01-13 12:51:35.045988444 +1100
+++ log/nginx-xiao.log 2025-01-13 12:51:53.513790915 +1100
@@ -39,9 +39,9 @@
VarArrayObj 153
VarStructObj 630
----------------Time and memory stats--------------------
-LLVMIRTime 1.537
+LLVMIRTime 1.545
SVFIRTime 0.991
-SymbolTableTime 0.178
+SymbolTableTime 0.187
#######################################################

PTACallGraph Stats (Andersen analysis)******
@@ -68,11 +68,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 2.32234e+06
-MemoryUsageVmsize 2.32221e+06
+MemoryUsageVmrss 2.32214e+06
+MemoryUsageVmsize 2.3222e+06
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 119.976
+TotalTime 120.592
UpdateCGTime 0
----------------Numbers stats----------------------------
AddrProcessed 5909
@@ -144,11 +144,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 2.32708e+06
-MemoryUsageVmsize 2.32697e+06
+MemoryUsageVmrss 2.32689e+06
+MemoryUsageVmsize 2.32696e+06
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 133.855
+TotalTime 134.518
UpdateCGTime 0
----------------Numbers stats----------------------------
AddrProcessed 5909
@@ -210,9 +210,9 @@
LookupComplements 336293
PreemptiveComplements 6541
TotalIntersections 1796736
-PropertyIntersections 1783036
+PropertyIntersections 1783063
UniqueIntersections 34
-LookupIntersections 563
+LookupIntersections 536
PreemptiveIntersections 13103
#######################################################

@@ -220,11 +220,11 @@
################ (program : nginx.bc)###############
----------------Time and memory stats--------------------
AverageRegSize 39.1348
-GenMUCHITime 1.114
-GenRegionTime 79.895
-InsertPHITime 0.386
-SSARenameTime 0.024
-TotalMSSATime 81.423
+GenMUCHITime 1.104
+GenRegionTime 80.444
+InsertPHITime 0.39
+SSARenameTime 0.015
+TotalMSSATime 81.955
----------------Numbers stats----------------------------
BBHasMSSAPhi 4056
CSChiNode 22213
@@ -247,13 +247,13 @@
SVFG Statistics******
################ (program : nginx.bc)###############
----------------Time and memory stats--------------------
-ATNodeTime 0.199
+ATNodeTime 0.2
AvgWeight 198.378
ConnDirEdgeTime 0
-ConnIndEdgeTime 1.308
+ConnIndEdgeTime 1.296
OptTime 0
TLNodeTime 0
-TotalTime 1.507
+TotalTime 1.496
----------------Numbers stats----------------------------
ActualIn 30142
ActualOut 22213
@@ -315,20 +315,20 @@
GepTime 0
IndirectPropaTime 0
LoadTime 0
-MemoryUsageVmrss 4.77642e+06
-MemoryUsageVmsize 4.82527e+06
+MemoryUsageVmrss 4.77504e+06
+MemoryUsageVmsize 4.82395e+06
PhiTime 0
-PrelabelingTime 0.167
+PrelabelingTime 0.165
ProcessTime 0
PropagationTime 0
SCCTime 0
-SolveTime 785.001
+SolveTime 804.012
StoreTime 0
Strong/WeakUpdTime 0
-TotalTime 854.931
+TotalTime 862.257
UpdateCGTime 0
VersionPropTime 0
-meldLabelingTime 67.241
+meldLabelingTime 65.638
----------------Numbers stats----------------------------
CopysNum 80
DummyFieldPtrs 1510
@@ -348,11 +348,11 @@
ProcessedAddr 23636
ProcessedCopy 320
ProcessedFRet 0
-ProcessedGep 856203
-ProcessedLoad 1147108
+ProcessedGep 864202
+ProcessedLoad 1170632
ProcessedMSSANode 344692
-ProcessedPhi 73240
-ProcessedStore 616266
+ProcessedPhi 73837
+ProcessedStore 626600
SolveIterations 4
StoresNum 14929
StrongUpdates 282
@@ -367,12 +367,12 @@

Persistent Points-To Cache Statistics: flow-sensitive analysis bitvector
################ (program : nginx.bc)###############
-UniquePointsToSets 33667
-TotalUnions 1875514931
-PropertyUnions 1195113523
-UniqueUnions 122248
-LookupUnions 680122126
-PreemptiveUnions 157034
+UniquePointsToSets 33628
+TotalUnions 1924574199
+PropertyUnions 1236384291
+UniqueUnions 122524
+LookupUnions 687910050
+PreemptiveUnions 157334
TotalComplements 0
PropertyComplements 0
UniqueComplements 0

@jumormt jumormt closed this Jan 13, 2025
@jumormt jumormt deleted the 1.13 branch January 13, 2025 03:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant