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

Build CFBasicBlockG based on SVFBasicBlocks rather than ICFG #1275

Merged
merged 4 commits into from
Dec 8, 2023

Conversation

jumormt
Copy link
Contributor

@jumormt jumormt commented Dec 8, 2023

  • Previously we built CFBasicBlockG based on ICFG which is not intuitive because each CFBasicBlockGNode is related to SVFBasicBlock.
  • Remove intrinsic instructions in BB node. The intrinsic instructions are redundant.

Copy link

codecov bot commented Dec 8, 2023

Codecov Report

Merging #1275 (e972fd9) into master (9831850) will not change coverage.
Report is 1 commits behind head on master.
The diff coverage is n/a.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #1275   +/-   ##
=======================================
  Coverage   64.49%   64.49%           
=======================================
  Files         223      223           
  Lines       23802    23802           
=======================================
  Hits        15351    15351           
  Misses       8451     8451           
Files Coverage Δ
svf-llvm/lib/LLVMModule.cpp 82.77% <ø> (ø)

@yuleisui yuleisui merged commit cdd2063 into SVF-tools:master Dec 8, 2023
5 checks passed
@jumormt jumormt deleted the 12.8 branch December 8, 2023 05:19
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.

2 participants