Intel SPMD Program Compiler  1.9.1
Functions | Variables
llvmutil.cpp File Reference

Implementations of various LLVM utility types and classes. More...

#include "llvmutil.h"
#include "ispc.h"
#include "type.h"
#include <llvm/IR/Instructions.h>
#include <llvm/IR/BasicBlock.h>
#include <set>
#include <map>
Include dependency graph for llvmutil.cpp:

Go to the source code of this file.

Functions

void InitLLVMUtil (llvm::LLVMContext *ctx, Target &target)
 
llvm::ConstantInt * LLVMInt8 (int8_t ival)
 
llvm::ConstantInt * LLVMUInt8 (uint8_t ival)
 
llvm::ConstantInt * LLVMInt16 (int16_t ival)
 
llvm::ConstantInt * LLVMUInt16 (uint16_t ival)
 
llvm::ConstantInt * LLVMInt32 (int32_t ival)
 
llvm::ConstantInt * LLVMUInt32 (uint32_t ival)
 
llvm::ConstantInt * LLVMInt64 (int64_t ival)
 
llvm::ConstantInt * LLVMUInt64 (uint64_t ival)
 
llvm::Constant * LLVMFloat (float fval)
 
llvm::Constant * LLVMDouble (double dval)
 
llvm::Constant * LLVMInt8Vector (int8_t ival)
 
llvm::Constant * LLVMInt8Vector (const int8_t *ivec)
 
llvm::Constant * LLVMUInt8Vector (uint8_t ival)
 
llvm::Constant * LLVMUInt8Vector (const uint8_t *ivec)
 
llvm::Constant * LLVMInt16Vector (int16_t ival)
 
llvm::Constant * LLVMInt16Vector (const int16_t *ivec)
 
llvm::Constant * LLVMUInt16Vector (uint16_t ival)
 
llvm::Constant * LLVMUInt16Vector (const uint16_t *ivec)
 
llvm::Constant * LLVMInt32Vector (int32_t ival)
 
llvm::Constant * LLVMInt32Vector (const int32_t *ivec)
 
llvm::Constant * LLVMUInt32Vector (uint32_t ival)
 
llvm::Constant * LLVMUInt32Vector (const uint32_t *ivec)
 
llvm::Constant * LLVMFloatVector (float fval)
 
llvm::Constant * LLVMFloatVector (const float *fvec)
 
llvm::Constant * LLVMDoubleVector (double dval)
 
llvm::Constant * LLVMDoubleVector (const double *dvec)
 
llvm::Constant * LLVMInt64Vector (int64_t ival)
 
llvm::Constant * LLVMInt64Vector (const int64_t *ivec)
 
llvm::Constant * LLVMUInt64Vector (uint64_t ival)
 
llvm::Constant * LLVMUInt64Vector (const uint64_t *ivec)
 
llvm::Constant * LLVMBoolVector (bool b)
 
llvm::Constant * LLVMBoolVector (const bool *bvec)
 
llvm::Constant * LLVMIntAsType (int64_t val, llvm::Type *type)
 
llvm::Constant * LLVMUIntAsType (uint64_t val, llvm::Type *type)
 
static bool lValuesAreEqual (llvm::Value *v0, llvm::Value *v1, std::vector< llvm::PHINode * > &seenPhi0, std::vector< llvm::PHINode * > &seenPhi1)
 
static int64_t lGetIntValue (llvm::Value *offset)
 
llvm::Value * LLVMFlattenInsertChain (llvm::Value *inst, int vectorWidth, bool compare, bool undef)
 
bool LLVMExtractVectorInts (llvm::Value *v, int64_t ret[], int *nElts)
 
static bool lVectorValuesAllEqual (llvm::Value *v, int vectorLength, std::vector< llvm::PHINode * > &seenPhis, llvm::Value **splatValue=NULL)
 
static bool lIsExactMultiple (llvm::Value *val, int baseValue, int vectorLength, std::vector< llvm::PHINode * > &seenPhis)
 
static int lRoundUpPow2 (int v)
 
static bool lAllDivBaseEqual (llvm::Value *val, int64_t baseValue, int vectorLength, std::vector< llvm::PHINode * > &seenPhis, bool &canAdd)
 
static bool lVectorShiftRightAllEqual (llvm::Value *val, llvm::Value *shift, int vectorLength)
 
bool LLVMVectorValuesAllEqual (llvm::Value *v, llvm::Value **splat)
 
static bool lVectorIsLinear (llvm::Value *v, int vectorLength, int stride, std::vector< llvm::PHINode * > &seenPhis)
 
static bool lVectorIsLinearConstantInts (llvm::ConstantDataVector *cv, int vectorLength, int stride)
 
static bool lCheckMulForLinear (llvm::Value *op0, llvm::Value *op1, int vectorLength, int stride, std::vector< llvm::PHINode * > &seenPhis)
 
static bool lCheckShlForLinear (llvm::Value *op0, llvm::Value *op1, int vectorLength, int stride, std::vector< llvm::PHINode * > &seenPhis)
 
static bool lCheckAndForLinear (llvm::Value *op0, llvm::Value *op1, int vectorLength, int stride, std::vector< llvm::PHINode * > &seenPhis)
 
bool LLVMVectorIsLinear (llvm::Value *v, int stride)
 
static void lDumpValue (llvm::Value *v, std::set< llvm::Value * > &done)
 
void LLVMDumpValue (llvm::Value *v)
 
static llvm::Value * lExtractFirstVectorElement (llvm::Value *v, std::map< llvm::PHINode *, llvm::PHINode * > &phiMap)
 
llvm::Value * LLVMExtractFirstVectorElement (llvm::Value *v)
 
llvm::Value * LLVMConcatVectors (llvm::Value *v1, llvm::Value *v2, llvm::Instruction *insertBefore)
 
llvm::Value * LLVMShuffleVectors (llvm::Value *v1, llvm::Value *v2, int32_t shuf[], int shufSize, llvm::Instruction *insertBefore)
 
const char * LLVMGetName (llvm::Value *v, const char *s)
 
const char * LLVMGetName (const char *op, llvm::Value *v1, llvm::Value *v2)
 

Variables

llvm::Constant * LLVMTrue = NULL
 
llvm::Constant * LLVMFalse = NULL
 
llvm::Constant * LLVMMaskAllOn = NULL
 
llvm::Constant * LLVMMaskAllOff = NULL
 

Detailed Description

Implementations of various LLVM utility types and classes.

Definition in file llvmutil.cpp.

Function Documentation

void InitLLVMUtil ( llvm::LLVMContext *  ctx,
Target target 
)
static bool lAllDivBaseEqual ( llvm::Value *  val,
int64_t  baseValue,
int  vectorLength,
std::vector< llvm::PHINode * > &  seenPhis,
bool &  canAdd 
)
static

Try to determine if all of the elements of the given vector value have the same value when divided by the given baseValue. The function returns true if this can be determined to be the case, and false otherwise. (This function may fail to identify some cases where it does in fact have this property, but should never report a given value as being a multiple if it isn't!)

Definition at line 913 of file llvmutil.cpp.

References Assert, ISPC_MAX_NVEC, lIsExactMultiple(), LLVMExtractVectorInts(), lRoundUpPow2(), and lVectorValuesAllEqual().

Referenced by lCheckAndForLinear(), and lVectorShiftRightAllEqual().

static bool lCheckAndForLinear ( llvm::Value *  op0,
llvm::Value *  op1,
int  vectorLength,
int  stride,
std::vector< llvm::PHINode * > &  seenPhis 
)
static

Given (op0 AND op1), try and see if we can determine if the result is a linear sequence with a step of "stride" between values. Returns true if so and false otherwise. This pattern comes up when accessing SOA data.

Definition at line 1335 of file llvmutil.cpp.

References Assert, ISPC_MAX_NVEC, lAllDivBaseEqual(), LLVMExtractVectorInts(), and lVectorIsLinear().

Referenced by lVectorIsLinear().

static bool lCheckMulForLinear ( llvm::Value *  op0,
llvm::Value *  op1,
int  vectorLength,
int  stride,
std::vector< llvm::PHINode * > &  seenPhis 
)
static

Checks to see if (op0 * op1) is a linear vector where the result is a vector with values that increase by stride.

Definition at line 1265 of file llvmutil.cpp.

References lVectorIsLinear().

Referenced by lVectorIsLinear().

static bool lCheckShlForLinear ( llvm::Value *  op0,
llvm::Value *  op1,
int  vectorLength,
int  stride,
std::vector< llvm::PHINode * > &  seenPhis 
)
static

Checks to see if (op0 << op1) is a linear vector where the result is a vector with values that increase by stride.

Definition at line 1299 of file llvmutil.cpp.

References lVectorIsLinear().

Referenced by lVectorIsLinear().

static void lDumpValue ( llvm::Value *  v,
std::set< llvm::Value * > &  done 
)
static

Definition at line 1510 of file llvmutil.cpp.

Referenced by LLVMDumpValue().

static llvm::Value* lExtractFirstVectorElement ( llvm::Value *  v,
std::map< llvm::PHINode *, llvm::PHINode * > &  phiMap 
)
static

Definition at line 1539 of file llvmutil.cpp.

References Assert, LLVMFlattenInsertChain(), and LLVMInt32().

Referenced by LLVMExtractFirstVectorElement().

static int64_t lGetIntValue ( llvm::Value *  offset)
static

Given an llvm::Value known to be an integer, return its value as an int64_t.

Definition at line 662 of file llvmutil.cpp.

References Assert.

Referenced by LLVMFlattenInsertChain().

static bool lIsExactMultiple ( llvm::Value *  val,
int  baseValue,
int  vectorLength,
std::vector< llvm::PHINode * > &  seenPhis 
)
static

This function checks to see if the given (scalar or vector) value is an exact multiple of baseValue. It returns true if so, and false if not (or if it's not able to determine if it is). Any vector value passed in is required to have the same value in all elements (so that we can just check the first element to be a multiple of the given value.)

Definition at line 832 of file llvmutil.cpp.

References Assert, g, Target::getVectorWidth(), LLVMFlattenInsertChain(), LLVMVectorValuesAllEqual(), and Globals::target.

Referenced by lAllDivBaseEqual().

llvm::Constant* LLVMBoolVector ( bool  v)
llvm::Constant* LLVMBoolVector ( const bool *  v)
llvm::Value* LLVMConcatVectors ( llvm::Value *  v1,
llvm::Value *  v2,
llvm::Instruction *  insertBefore 
)

Given two vectors of the same type, concatenate them into a vector that has twice as many elements, where the first half has the elements from the first vector and the second half has the elements from the second vector.

Definition at line 1671 of file llvmutil.cpp.

References Assert, ISPC_MAX_NVEC, and LLVMShuffleVectors().

Referenced by lAssembleResultVectors().

llvm::Constant* LLVMDouble ( double  f)

Returns an LLVM double constant of the given value

Definition at line 297 of file llvmutil.cpp.

References Globals::ctx, and g.

Referenced by ConstExpr::GetConstant(), ConstExpr::GetValue(), lLLVMConstantValue(), LLVMDoubleVector(), and lTypeConvAtomic().

llvm::Constant* LLVMDoubleVector ( double  f)

Returns an LLVM double vector constant of the given value smeared across all elements

Definition at line 436 of file llvmutil.cpp.

References g, Target::getVectorWidth(), LLVMDouble(), and Globals::target.

Referenced by ConstExpr::GetConstant(), ConstExpr::GetValue(), lLLVMConstantValue(), and lTypeConvAtomic().

llvm::Constant* LLVMDoubleVector ( const double *  f)

Returns an LLVM double vector based on the given array of values. The array should have g->target.vectorWidth elements.

Definition at line 446 of file llvmutil.cpp.

References g, Target::getVectorWidth(), LLVMDouble(), and Globals::target.

void LLVMDumpValue ( llvm::Value *  v)

This is a utility routine for debugging that dumps out the given LLVM value as well as (recursively) all of the other values that it depends on.

Definition at line 1531 of file llvmutil.cpp.

References lDumpValue().

Referenced by lGetBasePtrAndOffsets(), LLVMVectorIsLinear(), LLVMVectorValuesAllEqual(), lVectorShiftRightAllEqual(), and GatherCoalescePass::runOnBasicBlock().

llvm::Value* LLVMExtractFirstVectorElement ( llvm::Value *  v)

Given a vector-typed value, this function returns the value of its first element. Rather than just doing the straightforward thing of using a single extractelement instruction to do this, this function tries to rewrite the computation for the first element in scalar form; this is generally more efficient than computing the entire vector's worth of values just to extract the first element, in cases where only the first element's value is needed.

Definition at line 1658 of file llvmutil.cpp.

References lExtractFirstVectorElement().

Referenced by lComputeBasePtr(), and lComputeCommonPointer().

bool LLVMExtractVectorInts ( llvm::Value *  v,
int64_t  ret[],
int *  nElts 
)

Given a vector-typed value v, if the vector is a vector with constant element values, this function extracts those element values into the ret[] array and returns the number of elements (i.e. the vector type's width) in *nElts. It returns true if successful and false if the given vector is not in fact a vector of constants.

Definition at line 794 of file llvmutil.cpp.

References Assert.

Referenced by lAllDivBaseEqual(), lCheckAndForLinear(), lExtractConstOffsets(), lVectorIs32BitInts(), and lVectorShiftRightAllEqual().

llvm::Value* LLVMFlattenInsertChain ( llvm::Value *  inst,
int  vectorWidth,
bool  compare = true,
bool  undef = true 
)

This function takes chains of InsertElement instructions along the lines of:

v0 = insertelement undef, value_0, i32 index_0 v1 = insertelement v1, value_1, i32 index_1 ... vn = insertelement vn-1, value_n-1, i32 index_n-1

and initializes the provided elements array such that the i'th llvm::Value * in the array is the element that was inserted into the i'th element of the vector.

When the chain of insertelement instruction comes to an end, the only base case that this function handles is the initial value being a constant vector. For anything more complex (e.g. some other arbitrary value, it doesn't try to extract element values into the returned array.

This also handles common broadcast pattern: broadcast_init.0 = insertelement <4 x i32> undef, i32 val, i32 0 broadcast.1 = shufflevector <4 x i32> smear.0, <4 x i32> undef, <4 x i32> zeroinitializer Function returns: Compare all elements and return one of them if all are equal, otherwise NULL. If compare argument is false, don't do compare and return first element instead. If undef argument is true, ignore undef elements (but all undef yields NULL anyway).

Definition at line 671 of file llvmutil.cpp.

References Assert, lGetIntValue(), and lValuesAreEqual().

Referenced by lExtractFirstVectorElement(), lGetBasePointer(), lIsExactMultiple(), and lVectorValuesAllEqual().

llvm::Constant* LLVMFloat ( float  f)

Returns an LLVM float constant of the given value

Definition at line 291 of file llvmutil.cpp.

References Globals::ctx, and g.

Referenced by ConstExpr::GetConstant(), ConstExpr::GetValue(), lLLVMConstantValue(), LLVMFloatVector(), and lTypeConvAtomic().

llvm::Constant* LLVMFloatVector ( float  f)

Returns an LLVM float vector constant of the given value smeared across all elements

Definition at line 417 of file llvmutil.cpp.

References g, Target::getVectorWidth(), LLVMFloat(), and Globals::target.

Referenced by ConstExpr::GetConstant(), ConstExpr::GetValue(), lLLVMConstantValue(), and lTypeConvAtomic().

llvm::Constant* LLVMFloatVector ( const float *  f)

Returns an LLVM float vector based on the given array of values. The array should have g->target.vectorWidth elements.

Definition at line 427 of file llvmutil.cpp.

References g, Target::getVectorWidth(), LLVMFloat(), and Globals::target.

const char* LLVMGetName ( llvm::Value *  v,
const char *   
)
const char* LLVMGetName ( const char *  op,
llvm::Value *  v1,
llvm::Value *  v2 
)

Definition at line 1721 of file llvmutil.cpp.

llvm::ConstantInt* LLVMInt16 ( int16_t  i)

Returns an LLVM i16 constant of the given value

Definition at line 249 of file llvmutil.cpp.

References Globals::ctx, and g.

Referenced by ConstExpr::GetConstant(), ConstExpr::GetValue(), lLLVMConstantValue(), LLVMInt16Vector(), and lTypeConvAtomic().

llvm::Constant* LLVMInt16Vector ( int16_t  i)

Returns an LLVM i16 vector constant of the given value smeared across all elements

Definition at line 341 of file llvmutil.cpp.

References g, Target::getVectorWidth(), LLVMInt16(), and Globals::target.

Referenced by ConstExpr::GetConstant(), ConstExpr::GetValue(), lLLVMConstantValue(), and lTypeConvAtomic().

llvm::Constant* LLVMInt16Vector ( const int16_t *  i)

Returns an LLVM i16 vector based on the given array of values. The array should have g->target.vectorWidth elements.

Definition at line 351 of file llvmutil.cpp.

References g, Target::getVectorWidth(), LLVMInt16(), and Globals::target.

llvm::ConstantInt* LLVMInt32 ( int32_t  i)
llvm::Constant* LLVMInt32Vector ( int32_t  i)
llvm::Constant* LLVMInt32Vector ( const int32_t *  i)

Returns an LLVM i32 vector based on the given array of values. The array should have g->target.vectorWidth elements.

Definition at line 389 of file llvmutil.cpp.

References g, Target::getVectorWidth(), LLVMInt32(), and Globals::target.

llvm::ConstantInt* LLVMInt64 ( int64_t  i)
llvm::Constant* LLVMInt64Vector ( int64_t  i)
llvm::Constant* LLVMInt64Vector ( const int64_t *  i)

Returns an LLVM i64 vector based on the given array of values. The array should have g->target.vectorWidth elements.

Definition at line 465 of file llvmutil.cpp.

References g, Target::getVectorWidth(), LLVMInt64(), and Globals::target.

llvm::ConstantInt* LLVMInt8 ( int8_t  i)

Returns an LLVM i8 constant of the given value

Definition at line 235 of file llvmutil.cpp.

References Globals::ctx, and g.

Referenced by ConstExpr::GetConstant(), ConstExpr::GetValue(), lLLVMConstantValue(), LLVMInt8Vector(), lTypeConvAtomic(), and lUpdateVaryingCounter().

llvm::Constant* LLVMInt8Vector ( int8_t  i)

Returns an LLVM i8 vector constant of the given value smeared across all elements

Definition at line 303 of file llvmutil.cpp.

References g, Target::getVectorWidth(), LLVMInt8(), and Globals::target.

Referenced by ConstExpr::GetConstant(), ConstExpr::GetValue(), lLLVMConstantValue(), and lTypeConvAtomic().

llvm::Constant* LLVMInt8Vector ( const int8_t *  i)

Returns an LLVM i8 vector based on the given array of values. The array should have g->target.vectorWidth elements.

Definition at line 313 of file llvmutil.cpp.

References g, Target::getVectorWidth(), LLVMInt8(), and Globals::target.

llvm::Constant* LLVMIntAsType ( int64_t  ,
llvm::Type *  t 
)

Returns a constant integer or vector (according to the given type) of the given signed integer value.

Definition at line 548 of file llvmutil.cpp.

Referenced by lComputeSliceIndex(), lEmitBinaryPointerArith(), lGSBaseOffsetsGetMoreConst(), and lGSToGSBaseOffsets().

llvm::Value* LLVMShuffleVectors ( llvm::Value *  v1,
llvm::Value *  v2,
int32_t  shuf[],
int  shufSize,
llvm::Instruction *  insertBefore 
)

Shuffle two vectors together with a ShuffleVectorInst, returning a vector with shufSize elements, where the shuf[] array offsets are used to determine which element from the two given vectors is used for each result element.

Definition at line 1694 of file llvmutil.cpp.

References LLVMTypes::Int32Type, and LLVMInt32().

Referenced by lApplyLoad4(), LLVMConcatVectors(), and lSplit8WideLoads().

llvm::ConstantInt* LLVMUInt16 ( uint16_t  i)

Returns an LLVM i16 constant of the given value

Definition at line 256 of file llvmutil.cpp.

References Globals::ctx, and g.

Referenced by ConstExpr::GetConstant(), ConstExpr::GetValue(), lLLVMConstantValue(), and LLVMUInt16Vector().

llvm::Constant* LLVMUInt16Vector ( uint16_t  i)

Returns an LLVM i16 vector constant of the given value smeared across all elements

Definition at line 360 of file llvmutil.cpp.

References g, Target::getVectorWidth(), LLVMUInt16(), and Globals::target.

Referenced by ConstExpr::GetConstant(), ConstExpr::GetValue(), and lLLVMConstantValue().

llvm::Constant* LLVMUInt16Vector ( const uint16_t *  i)

Returns an LLVM i16 vector based on the given array of values. The array should have g->target.vectorWidth elements.

Definition at line 370 of file llvmutil.cpp.

References g, Target::getVectorWidth(), LLVMUInt16(), and Globals::target.

llvm::ConstantInt* LLVMUInt32 ( uint32_t  i)

Returns an LLVM i32 constant of the given value

Definition at line 270 of file llvmutil.cpp.

References Globals::ctx, and g.

Referenced by ConstExpr::GetConstant(), ConstExpr::GetValue(), lLLVMConstantValue(), and LLVMUInt32Vector().

llvm::Constant* LLVMUInt32Vector ( uint32_t  i)

Returns an LLVM i32 vector constant of the given value smeared across all elements

Definition at line 398 of file llvmutil.cpp.

References g, Target::getVectorWidth(), LLVMUInt32(), and Globals::target.

Referenced by ConstExpr::GetConstant(), ConstExpr::GetValue(), and lLLVMConstantValue().

llvm::Constant* LLVMUInt32Vector ( const uint32_t *  i)

Returns an LLVM i32 vector based on the given array of values. The array should have g->target.vectorWidth elements.

Definition at line 408 of file llvmutil.cpp.

References g, Target::getVectorWidth(), LLVMUInt32(), and Globals::target.

llvm::ConstantInt* LLVMUInt64 ( uint64_t  i)

Returns an LLVM i64 constant of the given value

Definition at line 284 of file llvmutil.cpp.

References Globals::ctx, and g.

Referenced by ConstExpr::GetConstant(), ConstExpr::GetValue(), lLLVMConstantValue(), and LLVMUInt64Vector().

llvm::Constant* LLVMUInt64Vector ( uint64_t  i)

Returns an LLVM i64 vector constant of the given value smeared across all elements

Definition at line 474 of file llvmutil.cpp.

References g, Target::getVectorWidth(), LLVMUInt64(), and Globals::target.

Referenced by ConstExpr::GetConstant(), ConstExpr::GetValue(), and lLLVMConstantValue().

llvm::Constant* LLVMUInt64Vector ( const uint64_t *  i)

Returns an LLVM i64 vector based on the given array of values. The array should have g->target.vectorWidth elements.

Definition at line 484 of file llvmutil.cpp.

References g, Target::getVectorWidth(), LLVMUInt64(), and Globals::target.

llvm::ConstantInt* LLVMUInt8 ( uint8_t  i)

Returns an LLVM i8 constant of the given value

Definition at line 242 of file llvmutil.cpp.

References Globals::ctx, and g.

Referenced by ConstExpr::GetConstant(), ConstExpr::GetValue(), lLLVMConstantValue(), and LLVMUInt8Vector().

llvm::Constant* LLVMUInt8Vector ( uint8_t  i)

Returns an LLVM i8 vector constant of the given value smeared across all elements

Definition at line 322 of file llvmutil.cpp.

References g, Target::getVectorWidth(), LLVMUInt8(), and Globals::target.

Referenced by ConstExpr::GetConstant(), ConstExpr::GetValue(), and lLLVMConstantValue().

llvm::Constant* LLVMUInt8Vector ( const uint8_t *  i)

Returns an LLVM i8 vector based on the given array of values. The array should have g->target.vectorWidth elements.

Definition at line 332 of file llvmutil.cpp.

References g, Target::getVectorWidth(), LLVMUInt8(), and Globals::target.

llvm::Constant* LLVMUIntAsType ( uint64_t  ,
llvm::Type *  t 
)

Returns a constant integer or vector (according to the given type) of the given unsigned integer value.

Definition at line 566 of file llvmutil.cpp.

bool LLVMVectorIsLinear ( llvm::Value *  v,
int  stride 
)

Given vector of integer-typed values, see if the elements of the array have a step of 'stride' between their values. This function tries to handle as many possibilities as possible, including things like all elements equal to some non-constant value plus an integer offset, etc.

Definition at line 1492 of file llvmutil.cpp.

References Assert, Debug(), Globals::debugPrint, g, LLVMDumpValue(), and lVectorIsLinear().

Referenced by lGSToLoadStore().

bool LLVMVectorValuesAllEqual ( llvm::Value *  v,
llvm::Value **  splat 
)

Tests to see if all of the elements of the vector in the 'v' parameter are equal. This is a conservative test and may return false for arrays where the values are actually all equal.

Definition at line 1199 of file llvmutil.cpp.

References Assert, Debug(), Globals::debugPrint, g, LLVMDumpValue(), and lVectorValuesAllEqual().

Referenced by lGSToLoadStore(), lIsExactMultiple(), and GatherCoalescePass::runOnBasicBlock().

static int lRoundUpPow2 ( int  v)
static

Returns the next power of two greater than or equal to the given value.

Definition at line 894 of file llvmutil.cpp.

Referenced by lAllDivBaseEqual().

static bool lValuesAreEqual ( llvm::Value *  v0,
llvm::Value *  v1,
std::vector< llvm::PHINode * > &  seenPhi0,
std::vector< llvm::PHINode * > &  seenPhi1 
)
static

Conservative test to see if two llvm::Values are equal. There are (potentially many) cases where the two values actually are equal but this will return false. However, if it does return true, the two vectors definitely are equal.

Definition at line 589 of file llvmutil.cpp.

References Assert.

Referenced by LLVMFlattenInsertChain().

static bool lVectorIsLinear ( llvm::Value *  v,
int  vectorLength,
int  stride,
std::vector< llvm::PHINode * > &  seenPhis 
)
static
static bool lVectorIsLinearConstantInts ( llvm::ConstantDataVector *  cv,
int  vectorLength,
int  stride 
)
static

Given a vector of compile-time constant integer values, test to see if they are a linear sequence of constant integers starting from an arbirary value but then having a step of value "stride" between elements.

Definition at line 1227 of file llvmutil.cpp.

References Assert.

Referenced by lVectorIsLinear().

static bool lVectorShiftRightAllEqual ( llvm::Value *  val,
llvm::Value *  shift,
int  vectorLength 
)
static

Given a vector shift right of some value by some amount, try to determine if all of the elements of the final result have the same value (i.e. whether the high bits are all equal, disregarding the low bits that are shifted out.) Returns true if so, and false otherwise.

Definition at line 1039 of file llvmutil.cpp.

References Assert, ISPC_MAX_NVEC, lAllDivBaseEqual(), LLVMDumpValue(), and LLVMExtractVectorInts().

Referenced by lVectorValuesAllEqual().

static bool lVectorValuesAllEqual ( llvm::Value *  v,
int  vectorLength,
std::vector< llvm::PHINode * > &  seenPhis,
llvm::Value **  splatValue = NULL 
)
static

Variable Documentation

llvm::Constant* LLVMFalse = NULL
llvm::Constant* LLVMMaskAllOff = NULL
llvm::Constant* LLVMMaskAllOn = NULL
llvm::Constant* LLVMTrue = NULL

These variables hold the corresponding LLVM constant values as a convenience to code elsewhere in the system.

Definition at line 90 of file llvmutil.cpp.

Referenced by ForStmt::EmitCode(), ForeachStmt::EmitCode(), ConstExpr::GetConstant(), ConstExpr::GetValue(), InitLLVMUtil(), lEmitLogicalOp(), lLLVMConstantValue(), LLVMBoolVector(), and IsCompileTimeConstantPass::runOnBasicBlock().