search for: getsplatvalu

...> @@ -98,13 +98,6 @@ > Res = &CI->getValue(); > return true; > } > - // FIXME: Remove this. > - if (ConstantVector *CV = dyn_cast<ConstantVector>(V)) > - if (ConstantInt *CI = > - dyn_cast_or_null<ConstantInt>(CV->getSplatValue())) { > - Res = &CI->getValue(); > - return true; > - } > if (ConstantDataVector *CV = dyn_cast<ConstantDataVector>(V)) > if (ConstantInt *CI = > dyn_cast_or_null<ConstantInt>(CV->getSplatValue())) { ...

...e' --- Looking at the code, the issue is with this line: if (TrueVal == X && match(FalseVal, m_And(m_Specific(X), m_APInt(C))) && *Y == ~*C) In this case Y is a 128-bit APInt, and so is the value that C is extracted from, but the m_APInt matcher has code that calls getSplatValue() if the matched expression has vector type. So C ends up as an 8-bit value, triggering the assertion failure on the call to ==. The issue is clear but I'm not sure what the correct fix should be -- whether this code is just not meant to work with vector types, or whether the call to getSplat...

...this line: >> >> if (TrueVal == X && match(FalseVal, m_And(m_Specific(X), m_APInt(C))) && >> *Y == ~*C) >> >> In this case Y is a 128-bit APInt, and so is the value that C is >> extracted from, but the m_APInt matcher has code that calls getSplatValue() >> if the matched expression has vector type. So C ends up as an 8-bit value, >> triggering the assertion failure on the call to ==. >> >> The issue is clear but I'm not sure what the correct fix should be -- >> whether this code is just not meant to work with v...

...e (checking for vectors matching the predicate in the > vector case). > > For example: > > static bool ConstantFP::isExactlyValue(Value *V, double D); You can currently do this: if (const ConstantVector *CV = dyn_cast<ConstantVector>(X)) if (Constant *Splat = CV->getSplatValue()) // Now you know that Splat is a splatted value, so check it for something. -Hal > > would return true is V is ConstantFP, a splat ConstantVector, or a > ConstantDataVector with the appropriate type. Similarly, > > static bool ConstantFP::isZero(Value *V); > >...

...>> Res = &CI->getValue(); >> return true; >> } >> - // FIXME: Remove this. >> - if (ConstantVector *CV = dyn_cast<ConstantVector>(V)) >> - if (ConstantInt *CI = >> - dyn_cast_or_null<ConstantInt>(CV->getSplatValue())) { >> - Res = &CI->getValue(); >> - return true; >> - } >> if (ConstantDataVector *CV = dyn_cast<ConstantDataVector>(V)) >> if (ConstantInt *CI = >> dyn_cast_or_null<ConstantInt>(CV->getSplatValue()...

...amp;& match(FalseVal, m_And(m_Specific(X), m_APInt(C))) >>>> && >>>> *Y == ~*C) >>>> >>>> In this case Y is a 128-bit APInt, and so is the value that C is >>>> extracted from, but the m_APInt matcher has code that calls getSplatValue() >>>> if the matched expression has vector type. So C ends up as an 8-bit value, >>>> triggering the assertion failure on the call to ==. >>>> >>>> The issue is clear but I'm not sure what the correct fix should be -- >>>> whether th...

...CI->getValue(); >>> return true; >>> } >>> - // FIXME: Remove this. >>> - if (ConstantVector *CV = dyn_cast<ConstantVector>(V)) >>> - if (ConstantInt *CI = >>> - dyn_cast_or_null<ConstantInt>(CV->getSplatValue())) { >>> - Res =&CI->getValue(); >>> - return true; >>> - } >>> if (ConstantDataVector *CV = dyn_cast<ConstantDataVector>(V)) >>> if (ConstantInt *CI = >>> dyn_cast_or_null<ConstantInt&...

...t;>>> && >> >>>> *Y == ~*C) >> >>>> >> >>>> In this case Y is a 128-bit APInt, and so is the value that C is >> >>>> extracted from, but the m_APInt matcher has code that calls >> >>>> getSplatValue() >> >>>> if the matched expression has vector type. So C ends up as an 8-bit >> >>>> value, >> >>>> triggering the assertion failure on the call to ==. >> >>>> >> >>>> The issue is clear but I'm not sure...

...& >>> >>>> *Y == ~*C) >>> >>>> >>> >>>> In this case Y is a 128-bit APInt, and so is the value that C is >>> >>>> extracted from, but the m_APInt matcher has code that calls >>> >>>> getSplatValue() >>> >>>> if the matched expression has vector type. So C ends up as an 8-bit >>> >>>> value, >>> >>>> triggering the assertion failure on the call to ==. >>> >>>> >>> >>>> The issue is clear...

...gt;>>> *Y == ~*C) > >>> >>>> > >>> >>>> In this case Y is a 128-bit APInt, and so is the value that C is > >>> >>>> extracted from, but the m_APInt matcher has code that calls > >>> >>>> getSplatValue() > >>> >>>> if the matched expression has vector type. So C ends up as an > 8-bit > >>> >>>> value, > >>> >>>> triggering the assertion failure on the call to ==. > >>> >>>> > >>> >&g...

Hi, I noticed that ConstantFP::get automatically returns the appropriately types Constant depending on the LLVM type passed in (i.e. if called with a vector, it returns a splat vector with the given constant). Is there any simple way to do the inverse of this function? i.e., given a llvm::Value, check whether it is either a scalar of the given constant value or a splat vector with the given

Hi, We have a function in IRBuilder.h Value *CreateVectorSplat(unsigned NumElts, Value *V, const Twine &Name = "") { .. } This function creates 2 instructions - "insertelement" and "shuffle" with all-zero mask. Now I want to add Value *getSplatValue(Value *Val). This function will try to recognize the pattern - insertelement+shuffle and return the splat value (or nullptr). I suppose, this interface should be useful. Do you agree with me? If yes, where should I put it? May it be I can define a new class VectorInst and put this interface there...

...GlobalVariable *my_global = Mod->getNamedGlobal("MY_GLOBAL"); I want to know the value which was stored in this variable, I use the following command, but it gives error: APInt value = my_global->getValue(); Error is: llvm/lib/IR/Constants.cpp:1257: llvm::Constant *llvm::Constant::getSplatValue() const: Assertion `this->getType()->isVectorTy() && "Only valid for vectors!"' failed. I am new to LLVM, so a lot of nomenclature is still not very familiar to me and I am trying to understand it as I go forward. Thanks, Varun Agrawal -------------- next part ------...

...:FRem:{ + const Value *Denominator = Inst->getOperand(1); + // x / y is undefined if y == 0 + // The denominator is not a constant, so there is nothing we can do to prove + // it is non-zero. + if (auto *VV = dyn_cast<ConstantVector>(Denominator)) + Denominator = VV->getSplatValue(); + if (!isa<ConstantFP>(Denominator)) + return false; + // The denominator is a zero constant - we can't speculate here. + if (m_AnyZero().match(Denominator)) + return false; + return true; + } case Instruction::Load: { const LoadInst *LI = cast<LoadIn...

...rand(1); >> + // x / y is undefined if y == 0 >> + // The denominator is not a constant, so there is nothing we can >> do to prove >> + // it is non-zero. >> + if (auto *VV = dyn_cast<ConstantVector>(Denominator)) >> + Denominator = VV->getSplatValue(); >> + if (!isa<ConstantFP>(Denominator)) >> + return false; >> + // The denominator is a zero constant - we can't speculate here. >> + if (m_AnyZero().match(Denominator)) >> + return false; >> + return true; >> + } >&g...

...:FRem:{ + const Value *Denominator = Inst->getOperand(1); + // x / y is undefined if y == 0 + // The denominator is not a constant, so there is nothing we can do to prove + // it is non-zero. + if (auto *VV = dyn_cast<ConstantVector>(Denominator)) + Denominator = VV->getSplatValue(); + if (!isa<ConstantFP>(Denominator)) + return false; + // The denominator is a zero constant - we can't speculate here. + if (m_AnyZero().match(Denominator)) + return false; + return true; + } case Instruction::Load: { const LoadInst *LI = cast<LoadIn...

Hi, During the discussion on introducing scalable vectors we established that we could use the canonical IR form for splats of scalable vector types (insert element into lane 0 of an undef vector, shuffle that with another undef vector of the same type and a zeroinitializer mask). We do run into a problem for lowering to SelectionDAG however, since the canonical form there is a BUILD_VECTOR with