SVF::MergeFunctionRets Class Reference

#include <BreakConstantExpr.h>

Inheritance diagram for SVF::MergeFunctionRets:

Public Member Functions
	MergeFunctionRets ()
llvm::StringRef	getPassName () const
virtual bool	runOnModule (Module &M)
void	UnifyFunctionExit (Module &module)
UnifyFunctionExitNodes *	getUnifyExit (const Function &fn)
	Get Unified Exit basic block node.

Static Public Attributes
static char	ID = 0

Detailed Description

Definition at line 57 of file BreakConstantExpr.h.

Constructor & Destructor Documentation

MergeFunctionRets()

SVF::MergeFunctionRets::MergeFunctionRets ( )

inline

Definition at line 66 of file BreakConstantExpr.h.

: ModulePass(ID) {}

Member Function Documentation

getPassName()

llvm::StringRef SVF::MergeFunctionRets::getPassName ( ) const

inline

Definition at line 67 of file BreakConstantExpr.h.

    {
        return "unify function exit into one dummy exit basic block";
    }

getUnifyExit()

UnifyFunctionExitNodes * SVF::MergeFunctionRets::getUnifyExit ( const Function &  fn )

inline

Get Unified Exit basic block node.

Definition at line 107 of file BreakConstantExpr.h.

    {
        assert(!fn.isDeclaration() && "external function does not have DF");
        return &getAnalysis<UnifyFunctionExitNodes>(const_cast<Function&>(fn));
    }

runOnModule()

virtual bool SVF::MergeFunctionRets::runOnModule ( Module &  M )

inlinevirtual

Definition at line 71 of file BreakConstantExpr.h.

    {
        UnifyFunctionExit(M);
        return true;
    }

UnifyFunctionExit()

void SVF::MergeFunctionRets::UnifyFunctionExit ( Module &  module )

inline

Definition at line 76 of file BreakConstantExpr.h.

    {
        for (Module::const_iterator iter = module.begin(), eiter = module.end();
                iter != eiter; ++iter)
        {
            const Function& fun = *iter;
            if(fun.isDeclaration())
                continue;
#if LLVM_VERSION_MAJOR > 16
            llvm::PassBuilder PB;
            llvm::LoopAnalysisManager LAM;
            llvm::FunctionAnalysisManager FAM;
            llvm::CGSCCAnalysisManager CGAM;
            llvm::ModuleAnalysisManager MAM;
 
            PB.registerModuleAnalyses(MAM);
            PB.registerCGSCCAnalyses(CGAM);
            PB.registerFunctionAnalyses(FAM);
            PB.registerLoopAnalyses(LAM);
            PB.crossRegisterProxies(LAM, FAM, CGAM, MAM);
 
            llvm::FunctionPassManager FPM;
            FPM.addPass(llvm::UnifyFunctionExitNodesPass());
            FPM.run(const_cast<llvm::Function&>(fun), FAM);
        }
    }
#else
            getUnifyExit(fun)->runOnFunction(const_cast<Function&>(fun));
        }
    }

Member Data Documentation

ID

char MergeFunctionRets::ID = 0

static

Definition at line 65 of file BreakConstantExpr.h.

---

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

• /home/runner/work/SVF/SVF/svf-llvm/include/SVF-LLVM/BreakConstantExpr.h
• /home/runner/work/SVF/SVF/svf-llvm/lib/BreakConstantExpr.cpp