BreakConstantExpr.cpp File Reference

#include "llvm/ADT/Statistic.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/InstrTypes.h"
#include "llvm/IR/Instruction.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/InstIterator.h"
#include "SVF-LLVM/BasicTypes.h"
#include "SVF-LLVM/BreakConstantExpr.h"
#include "Util/GeneralType.h"
#include "Util/SVFUtil.h"
#include <iostream>
#include <map>
#include <utility>

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "break-constgeps"

Functions
	STATISTIC (GEPChanges, "Number of Converted GEP Constant Expressions")
	STATISTIC (TotalChanges, "Number of Converted Constant Expressions")
static ConstantExpr *	hasConstantGEP (Value *V)
static ConstantExpr *	hasConstantBinaryOrUnaryOp (Value *V)
static ConstantExpr *	hasConstantExpr (Value *V)
static Instruction *	convertExpression (ConstantExpr *CE, Instruction *InsertPt)

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "break-constgeps"

Definition at line 67 of file BreakConstantExpr.cpp.

Function Documentation

convertExpression()

static Instruction * convertExpression ( ConstantExpr *  CE, Instruction *  InsertPt  )

static

Definition at line 164 of file BreakConstantExpr.cpp.

{
    //
    // Convert this constant expression into a regular instruction.
    //
    if (CE->getOpcode() == Instruction::GetElementPtr)
        ++GEPChanges;
    ++TotalChanges;
    Instruction* Result = CE->getAsInstruction();
    Result->insertBefore(InsertPt);
    return Result;
}

hasConstantBinaryOrUnaryOp()

static ConstantExpr * hasConstantBinaryOrUnaryOp ( Value *  V )

static

Definition at line 114 of file BreakConstantExpr.cpp.

{
    if (ConstantExpr * CE = SVFUtil::dyn_cast<ConstantExpr>(V))
    {
        if (Instruction::isBinaryOp(CE->getOpcode()) || Instruction::isUnaryOp(CE->getOpcode()))
        {
            return CE;
        }
        else
        {
            for (u32_t index = 0; index < CE->getNumOperands(); ++index)
            {
                if (hasConstantBinaryOrUnaryOp (CE->getOperand(index)))
                    return CE;
            }
        }
    }
 
    return nullptr;
}

hasConstantExpr()

static ConstantExpr * hasConstantExpr ( Value *  V )

static

Definition at line 138 of file BreakConstantExpr.cpp.

{
    if (ConstantExpr * gep = hasConstantGEP(V))
    {
        return gep;
    }
    else if (ConstantExpr * buop = hasConstantBinaryOrUnaryOp(V))
    {
        return buop;
    }
    else
    {
        return nullptr;
    }
}

hasConstantGEP()

static ConstantExpr * hasConstantGEP ( Value *  V )

static

Definition at line 89 of file BreakConstantExpr.cpp.

{
    if (ConstantExpr * CE = SVFUtil::dyn_cast<ConstantExpr>(V))
    {
        if (CE->getOpcode() == Instruction::GetElementPtr)
        {
            return CE;
        }
        else
        {
            for (u32_t index = 0; index < CE->getNumOperands(); ++index)
            {
                if (hasConstantGEP (CE->getOperand(index)))
                    return CE;
            }
        }
    }
 
    return nullptr;
}

STATISTIC() [1/2]

STATISTIC	(	GEPChanges	,
		"Number of Converted GEP Constant Expressions"
	)

STATISTIC() [2/2]

STATISTIC	(	TotalChanges	,
		"Number of Converted Constant Expressions"
	)