retdec
Namespaces | Macros | Functions
reaching_definitions.cpp File Reference

Reaching definitions analysis builds UD and DU chains. More...

#include <iomanip>
#include <set>
#include <sstream>
#include <string>
#include <vector>
#include <llvm/ADT/PostOrderIterator.h>
#include <llvm/IR/CFG.h>
#include <llvm/IR/Instruction.h>
#include <llvm/IR/Instructions.h>
#include <llvm/Support/raw_ostream.h>
#include "retdec/utils/time.h"
#include "retdec/bin2llvmir/analyses/reaching_definitions.h"
#include "retdec/bin2llvmir/providers/asm_instruction.h"
#include "retdec/bin2llvmir/providers/names.h"
#include "retdec/bin2llvmir/utils/llvm.h"

Namespaces

 retdec
 
 retdec::bin2llvmir
 

Macros

#define debug_enabled   false
 

Functions

std::ostream & retdec::bin2llvmir::operator<< (std::ostream &out, const ReachingDefinitionsAnalysis &rda)
 
std::ostream & retdec::bin2llvmir::operator<< (std::ostream &out, const BasicBlockEntry &bbe)
 
llvm::Instruction * retdec::bin2llvmir::defInBasicBlock (llvm::Value *v, llvm::BasicBlock *bb, llvm::Instruction *start=nullptr)
 
bool retdec::bin2llvmir::usesInBasicBlock (llvm::Value *v, llvm::BasicBlock *bb, std::set< llvm::Instruction * > &uses, llvm::Instruction *start=nullptr)
 

Detailed Description

Reaching definitions analysis builds UD and DU chains.

Macro Definition Documentation

◆ debug_enabled

#define debug_enabled   false