docc 0.8.3 (0d44999b)
C++ API Reference
Loading...
Searching...
No Matches
docc::lifting::LibFuncLifting Class Reference

#include <docc/lifting/functions/libfunc_lifting.h>

Inheritance diagram for docc::lifting::LibFuncLifting:
[legend]

Public Member Functions

 LibFuncLifting (llvm::TargetLibraryInfo &TLI, const llvm::DataLayout &DL, const llvm::Function &function, sdfg::FunctionType target_type, sdfg::builder::SDFGBuilder &builder, std::map< const llvm::BasicBlock *, std::set< const sdfg::control_flow::State * > > &state_mapping, std::map< const sdfg::control_flow::State *, std::set< const llvm::BasicBlock * > > &pred_mapping, std::unordered_map< const llvm::Value *, std::string > &constants_mapping, std::unordered_map< const llvm::Type *, std::string > anonymous_types_mapping)
sdfg::control_flow::State & visit (const llvm::BasicBlock *block, const llvm::CallBase *instruction, sdfg::control_flow::State &current_state) override
Public Member Functions inherited from docc::lifting::FunctionLifting
 FunctionLifting (llvm::TargetLibraryInfo &TLI, const llvm::DataLayout &DL, const llvm::Function &function, sdfg::FunctionType target_type, sdfg::builder::SDFGBuilder &builder, std::map< const llvm::BasicBlock *, std::set< const sdfg::control_flow::State * > > &state_mapping, std::map< const sdfg::control_flow::State *, std::set< const llvm::BasicBlock * > > &pred_mapping, std::unordered_map< const llvm::Value *, std::string > &constants_mapping, std::unordered_map< const llvm::Type *, std::string > &anonymous_types_mapping)
virtual ~FunctionLifting ()=default

Static Public Member Functions

static bool is_supported (llvm::LibFunc &lf)
Static Public Member Functions inherited from docc::lifting::FunctionLifting
static bool is_supported (llvm::TargetLibraryInfo &TLI, const llvm::CallBase *instruction)

Additional Inherited Members

Protected Member Functions inherited from docc::lifting::FunctionLifting
sdfg::control_flow::State & visit_call (const llvm::BasicBlock *block, const llvm::CallInst *instruction, sdfg::control_flow::State &current_state)
sdfg::control_flow::State & visit_invoke (const llvm::BasicBlock *block, const llvm::InvokeInst *instruction, sdfg::control_flow::State &current_state)
Protected Attributes inherited from docc::lifting::FunctionLifting
llvm::TargetLibraryInfo & TLI_
const llvm::DataLayout & DL_
const llvm::Function & function_
sdfg::FunctionType target_type_
sdfg::builder::SDFGBuilder & builder_
std::map< const llvm::BasicBlock *, std::set< const sdfg::control_flow::State * > > & state_mapping_
std::map< const sdfg::control_flow::State *, std::set< const llvm::BasicBlock * > > & pred_mapping_
std::unordered_map< const llvm::Value *, std::string > & constants_mapping_
std::unordered_map< const llvm::Type *, std::string > & anonymous_types_mapping_

Constructor & Destructor Documentation

◆ LibFuncLifting()

docc::lifting::LibFuncLifting::LibFuncLifting ( llvm::TargetLibraryInfo & TLI,
const llvm::DataLayout & DL,
const llvm::Function & function,
sdfg::FunctionType target_type,
sdfg::builder::SDFGBuilder & builder,
std::map< const llvm::BasicBlock *, std::set< const sdfg::control_flow::State * > > & state_mapping,
std::map< const sdfg::control_flow::State *, std::set< const llvm::BasicBlock * > > & pred_mapping,
std::unordered_map< const llvm::Value *, std::string > & constants_mapping,
std::unordered_map< const llvm::Type *, std::string > anonymous_types_mapping )
inline

Member Function Documentation

◆ is_supported()

bool docc::lifting::LibFuncLifting::is_supported ( llvm::LibFunc & lf)
inlinestatic

◆ visit()

sdfg::control_flow::State & docc::lifting::LibFuncLifting::visit ( const llvm::BasicBlock * block,
const llvm::CallBase * instruction,
sdfg::control_flow::State & current_state )
overridevirtual

Reimplemented from docc::lifting::FunctionLifting.

The documentation for this class was generated from the following file: