DWARFCFIAnalysis.h File Reference

This file declares DWARFCFIAnalysis class. More...

#include "DWARFCFIState.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/DebugInfo/DWARF/LowLevel/DWARFUnwindTable.h"
#include "llvm/MC/MCContext.h"
#include "llvm/MC/MCDwarf.h"
#include "llvm/MC/MCExpr.h"
#include "llvm/MC/MCInst.h"
#include "llvm/MC/MCInstrInfo.h"
#include "llvm/MC/MCRegisterInfo.h"
#include "llvm/MC/MCStreamer.h"
#include "llvm/MC/MCSubtargetInfo.h"
#include "llvm/MC/TargetRegistry.h"
#include "llvm/Support/Compiler.h"

Go to the source code of this file.

Classes
class	llvm::DWARFCFIAnalysis
	DWARFCFIAnalysis validates the DWARF Call Frame Information one machine instruction at a time. More...

Namespaces
namespace	llvm
	This is an optimization pass for GlobalISel generic memory operations.

Detailed Description

This file declares DWARFCFIAnalysis class.

DWARFCFIAnalysis is a minimal implementation of a DWARF CFI checker described in this link: https://discourse.llvm.org/t/rfc-dwarf-cfi-validation/86936

The goal of the checker is to validate DWARF CFI directives using the prologue directives and the machine instructions. The main proposed algorithm validates the directives by comparing the CFI state in each instruction with the state achieved by abstract execution of the instruction on the CFI state. However, the current version implemented here is a simple conditional check based on the registers modified by each instruction.

Definition in file DWARFCFIAnalysis.h.