Intel SPMD Program Compiler  1.9.1
Classes | Namespaces | Macros | Functions | Variables
llvmutil.h File Reference

Header file with declarations for various LLVM utility stuff. More...

#include "ispc_version.h"
#include <llvm/IR/LLVMContext.h>
#include <llvm/IR/Type.h>
#include <llvm/IR/DerivedTypes.h>
#include <llvm/IR/Constants.h>
Include dependency graph for llvmutil.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  LLVMTypes
 

Namespaces

 llvm
 

Macros

#define PTYPE(p)   (llvm::cast<llvm::SequentialType>((p)->getType()->getScalarType())->getElementType())
 

Functions

void InitLLVMUtil (llvm::LLVMContext *ctx, Target &target)
 
llvm::ConstantInt * LLVMInt8 (int8_t i)
 
llvm::ConstantInt * LLVMUInt8 (uint8_t i)
 
llvm::ConstantInt * LLVMInt16 (int16_t i)
 
llvm::ConstantInt * LLVMUInt16 (uint16_t i)
 
llvm::ConstantInt * LLVMInt32 (int32_t i)
 
llvm::ConstantInt * LLVMUInt32 (uint32_t i)
 
llvm::ConstantInt * LLVMInt64 (int64_t i)
 
llvm::ConstantInt * LLVMUInt64 (uint64_t i)
 
llvm::Constant * LLVMFloat (float f)
 
llvm::Constant * LLVMDouble (double f)
 
llvm::Constant * LLVMBoolVector (bool v)
 
llvm::Constant * LLVMInt8Vector (int8_t i)
 
llvm::Constant * LLVMUInt8Vector (uint8_t i)
 
llvm::Constant * LLVMInt16Vector (int16_t i)
 
llvm::Constant * LLVMUInt16Vector (uint16_t i)
 
llvm::Constant * LLVMInt32Vector (int32_t i)
 
llvm::Constant * LLVMUInt32Vector (uint32_t i)
 
llvm::Constant * LLVMInt64Vector (int64_t i)
 
llvm::Constant * LLVMUInt64Vector (uint64_t i)
 
llvm::Constant * LLVMFloatVector (float f)
 
llvm::Constant * LLVMDoubleVector (double f)
 
llvm::Constant * LLVMIntAsType (int64_t, llvm::Type *t)
 
llvm::Constant * LLVMUIntAsType (uint64_t, llvm::Type *t)
 
llvm::Constant * LLVMBoolVector (const bool *v)
 
llvm::Constant * LLVMInt8Vector (const int8_t *i)
 
llvm::Constant * LLVMUInt8Vector (const uint8_t *i)
 
llvm::Constant * LLVMInt16Vector (const int16_t *i)
 
llvm::Constant * LLVMUInt16Vector (const uint16_t *i)
 
llvm::Constant * LLVMInt32Vector (const int32_t *i)
 
llvm::Constant * LLVMUInt32Vector (const uint32_t *i)
 
llvm::Constant * LLVMInt64Vector (const int64_t *i)
 
llvm::Constant * LLVMUInt64Vector (const uint64_t *i)
 
llvm::Constant * LLVMFloatVector (const float *f)
 
llvm::Constant * LLVMDoubleVector (const double *f)
 
bool LLVMVectorValuesAllEqual (llvm::Value *v, llvm::Value **splat=NULL)
 
bool LLVMVectorIsLinear (llvm::Value *v, int stride)
 
bool LLVMExtractVectorInts (llvm::Value *v, int64_t ret[], int *nElts)
 
llvm::Value * LLVMFlattenInsertChain (llvm::Value *inst, int vectorWidth, bool compare=true, bool undef=true)
 
void LLVMDumpValue (llvm::Value *v)
 
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 *)
 
const char * LLVMGetName (const char *op, llvm::Value *v1, llvm::Value *v2)
 

Variables

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

Detailed Description

Header file with declarations for various LLVM utility stuff.

Definition in file llvmutil.h.

Macro Definition Documentation

#define PTYPE (   p)    (llvm::cast<llvm::SequentialType>((p)->getType()->getScalarType())->getElementType())

Function Documentation

void InitLLVMUtil ( llvm::LLVMContext *  ctx,
Target target 
)
llvm::Constant* LLVMBoolVector ( bool  v)
llvm::Constant* LLVMBoolVector ( const bool *  v)
llvm::Value* LLVMConcatVectors ( llvm::Value *  v1,
llvm::Value *  v2,
llvm::Instruction *  insertBefore 
)

This function takes two vectors, expected to be the same length, and returns a new vector of twice the length that represents concatenating the two of them.

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 
)

This is a utility function for vector shuffling; it takes two vectors v1 and v2, and a compile-time constant set of integer permutations in shuf[] and returns a new vector of length shufSize that represents the corresponding shufflevector operation.

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, this function returns true if it can determine that the elements of the vector have a step of 'stride' between their values and false otherwise. 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. Needless to say (the halting problem and all that), it may return false for some vectors that are in fact linear.

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. Like lValuesAreEqual(), this is a conservative test and may return false for arrays where the values are actually all equal.

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().

Variable Documentation

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

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().