Minimal unwinding information (DWARF CFI) checker#145633

Merged

petrhosek merged 122 commits intollvm:mainfrom

amsen20:cfi-validation-generation

Jul 9, 2025

Commits on Jun 25, 2025

Forward CFI directives alongside their associated instruction to a simple CFI analysis
Amirhossein Pashaeehir
committed
Create a new CFI analysis for each dwarf separately
Amirhossein Pashaeehir
committed
Separate the logic and display
Amirhossein Pashaeehir
committed
Compile llvm mc depending on bolt
Amirhossein Pashaeehir
committed
Extract semantic info on MCInst from bolt
Amirhossein Pashaeehir
committed
Typo in evaluateStackOffsetExpr doc
Amirhossein Pashaeehir
committed
Add a DS to keep track of each register CFI state
Amirhossein Pashaeehir
committed
Check if the CFA change is correct or not
Amirhossein Pashaeehir
committed
Add the CFI validation as a option to llvm-mc tool
Amirhossein Pashaeehir
committed
Provide the directives as an arrayref instead of index range
Amirhossein Pashaeehir
committed
Remove TODOs
Amirhossein Pashaeehir
committed
Wrap all the MCPB info needed into a ExtendedMCInstrAnalysis class
Amirhossein Pashaeehir
committed
Use extended MCAnalysis instead of MCplus (directly)
Amirhossein Pashaeehir
committed
Make the CFA checker to first generate, if not matched check the Read/Write conditions
Amirhossein Pashaeehir
committed
Check register states as well
Amirhossein Pashaeehir
committed
Process prologue as well
Amirhossein Pashaeehir
committed
Ignore flag registers as well
Amirhossein Pashaeehir
committed
Enable dump
Amirhossein Pashaeehir
committed
Enable getting flag register through extended MCInstrAnalysis
Amirhossein Pashaeehir
committed
Move the isolated MC semantic methods to ExtendedMCAnalysis
Amirhossein Pashaeehir
committed
Remove unused includes
Amirhossein Pashaeehir
committed
Test cfi validator on following cases:
Amirhossein Pashaeehir
committed
Prune the CFA diff checker to only check read/write
Amirhossein Pashaeehir
committed
Move the CFI analysis headers to MC
Amirhossein Pashaeehir
committed
Move all the CFI analysis implementations to lib
Amirhossein Pashaeehir
committed
Remove stack pointer method
Amirhossein Pashaeehir
committed
Comment out Ignoring flags at the beginning CFI analysis
Amirhossein Pashaeehir
committed
Move the necessary MCStreamer interface methods to CFIAnalysisMCStreamer.h
Amirhossein Pashaeehir
committed
Make the update method const
Amirhossein Pashaeehir
committed
Move CFI analysis out of MC layer
Amirhossein Pashaeehir
committed
Write a CFI directive to DWARF operation converter
Amirhossein Pashaeehir
committed
Use UnwindTable instead of CFI State:
Amirhossein Pashaeehir
committed
Make CFI analysis available both EH and Debug frames
Amirhossein Pashaeehir
committed
Remove ExtendedMCA
Amirhossein Pashaeehir
committed
Use UnwindRow as state and record the UnwindHistory
Amirhossein Pashaeehir
committed
Make CFA access easier
Amirhossein Pashaeehir
committed
Rename CFI to Unwind info analysis
Amirhossein Pashaeehir
committed
Remove MCInstrAnalysis from UnwindInfo analysis
Amirhossein Pashaeehir
committed
Remove redundant definitions and fields from CFIAnalysis streamer
Amirhossein Pashaeehir
committed
Rename CFIAnalysisStreamer to FunctionUnitStreamer
Amirhossein Pashaeehir
committed
Test function unit streamer functionalities
Amirhossein Pashaeehir
committed
Fix the CFIProgram usage temporary
Amirhossein Pashaeehir
committed
Minimize check reg diff arguments
Amirhossein Pashaeehir
committed
Move `FunctionUnitStreamer` analysis calls to a different class called `FunctionUnitAnalyzer`.
Amirhossein Pashaeehir
committed
Rename the library to UnwindInfoChecker
Amirhossein Pashaeehir
committed
Fix the header guards
Amirhossein Pashaeehir
committed
Add file headers
Amirhossein Pashaeehir
committed
Resolve warnings
Amirhossein Pashaeehir
committed
Refactor UnwindInfoAnalysis
Amirhossein Pashaeehir
committed
Move tests to UnwindInfoChecker folder
Amirhossein Pashaeehir
committed
Rename UnwindHistory to UnwindState
Amirhossein Pashaeehir
committed
Make different methods to add instruction public
Amirhossein Pashaeehir
committed
Revert bolt change
Amirhossein Pashaeehir
committed
Revert bolt changes
Amirhossein Pashaeehir
committed
Change UnwindTable to RowContainer
Amirhossein Pashaeehir
committed
Refactor UnwindInfoState
Amirhossein Pashaeehir
committed
Revert unnecessary changes to llvm-mc
Amirhossein Pashaeehir
committed
Lint
Amirhossein Pashaeehir
committed
Pass the tests
Amirhossein Pashaeehir
committed
Fix weird end file formatting issues
Amirhossein Pashaeehir
committed
Apply suggestions
Amirhossein Pashaeehir
committed

Commits on Jun 26, 2025

Make class names more specific
Amirhossein Pashaeehir
committed
Change file names based on their class names
Amirhossein Pashaeehir
committed
Rename tests folder name
Amirhossein Pashaeehir
committed
Remove uneccasary optional
Amirhossein Pashaeehir
committed
Summarize instantiation
Amirhossein Pashaeehir
committed
Either add an instruction or crash
Amirhossein Pashaeehir
committed
Document the process of updating CFI state
Amirhossein Pashaeehir
committed
Document why register information should not vanish or appear during analysis
Amirhossein Pashaeehir
committed
Change unnessary assert to warning
Amirhossein Pashaeehir
committed
Assert ref reg when using it
Amirhossein Pashaeehir
committed
Change register naming format from %{reg} to register ${regName}
Amirhossein Pashaeehir
committed

Commits on Jun 27, 2025

Make the tests more restrict
Amirhossein Pashaeehir
committed
File check test as well
Amirhossein Pashaeehir
committed
Fix misspells
Amirhossein Pashaeehir
committed
Move the empty implementations to header
Amirhossein Pashaeehir
committed
Use vector of pointers instead of vector of UnwindRow objects to avoid memory safety bugs that can happen due to vector resizing.
Amirhossein Pashaeehir
committed

Commits on Jun 28, 2025

Document each class resposibility and rules
Amirhossein Pashaeehir
committed
Remove mistaked documentation
Amirhossein Pashaeehir
committed

Commits on Jun 30, 2025

Sync an assertion message with the refactors happened around it
Amirhossein Pashaeehir
committed
Merge branch 'main' into cfi-validation-generation
Amirhossein Pashaeehir
committed
Merge branch 'main' into cfi-validation-generation
Amirhossein Pashaeehir
committed

Commits on Jul 1, 2025

Sync implementation and `DWARFCFIAnalysis` explaination
Amirhossein Pashaeehir
committed
Change error messages for CFA
Amirhossein Pashaeehir
committed
Test CFA corner cases
Amirhossein Pashaeehir
committed
Warn the user about ignoring `.cfi_escape` directive
Amirhossein Pashaeehir
committed
Move warning to the point happening
Amirhossein Pashaeehir
committed
Support `.cfi_label`
Amirhossein Pashaeehir
committed
Store only the last row in the state
Amirhossein Pashaeehir
committed
Reference another file properly
Amirhossein Pashaeehir
committed
Sort fields by size for memory layout and move them to the end of the class definition
Amirhossein Pashaeehir
committed
Change the error messages to show that the warnings are not the programmer's fault and the validation is not implemented yet.
Amirhossein Pashaeehir
committed
Delete unwanted commited test
Amirhossein Pashaeehir
committed
Use make unique instead of `new`ing a raw pointer
Amirhossein Pashaeehir
committed

Commits on Jul 2, 2025

Fix a typo
Amirhossein Pashaeehir
committed

Commits on Jul 3, 2025

[TEMP] Store FrameStreamer state in stack instead of trying to guess the previous state
Amirhossein Pashaeehir
committed
Fix the nested frame case and document the updateReceiver behavior
Amirhossein Pashaeehir
committed
Move the definition to usage
Amirhossein Pashaeehir
committed
Sync the braces styles
Amirhossein Pashaeehir
committed

Commits on Jul 4, 2025

Commits on Jul 7, 2025

Add overview for the link mentioned in `DWARFAnalysis`
Amirhossein Pashaeehir
committed
Update llvm/include/llvm/DWARFCFIChecker/DWARFCFIAnalysis.h

amsen20
and
ilovepi
authored
Lint
Amirhossein Pashaeehir
committed
Fix cases formatting
Amirhossein Pashaeehir
committed
Use `SmallVector` instead of `std::vector`
Amirhossein Pashaeehir
committed
Update llvm/include/llvm/DWARFCFIChecker/DWARFCFIState.h

amsen20
and
ilovepi
authored
Lint
Amirhossein Pashaeehir
committed
Reword the future support for dwarf expressions
Amirhossein Pashaeehir
committed
Fix punctuation error
Amirhossein Pashaeehir
committed
Reformat Run tests to one line
Amirhossein Pashaeehir
committed
Change TODO style in all tests
Amirhossein Pashaeehir
committed
Check llvm-mc does not emit any error or warnings for each test
Amirhossein Pashaeehir
committed
Replace `CHECK-NOT` with `implicit-check-not`
Amirhossein Pashaeehir
committed

Commits on Jul 8, 2025

Mention that remember state is not supported
Amirhossein Pashaeehir
committed
Test all CFA directives
Amirhossein Pashaeehir
committed
Mention why remember and restore state is not supported
Amirhossein Pashaeehir
committed
Document why some directives are not supported and test them
Amirhossein Pashaeehir
committed
Merge branch 'main' into cfi-validation-generation
Amirhossein Pashaeehir
committed
Depends on DebugInfoDWARFLowLevel instead of DebugInfoDWARF
Amirhossein Pashaeehir
committed
Mention why --alow-empty is used for --validate-cfi tests and how it can be removed
Amirhossein Pashaeehir
committed
Include low level debug info library inside headers
Amirhossein Pashaeehir
committed