diff options
Diffstat (limited to 'llvm/lib/IR')
-rw-r--r-- | llvm/lib/IR/Function.cpp | 16 | ||||
-rw-r--r-- | llvm/lib/IR/IRBuilder.cpp | 4 | ||||
-rw-r--r-- | llvm/lib/IR/Verifier.cpp | 7 |
3 files changed, 23 insertions, 4 deletions
diff --git a/llvm/lib/IR/Function.cpp b/llvm/lib/IR/Function.cpp index f462ec0890d..bfd0ca65a32 100644 --- a/llvm/lib/IR/Function.cpp +++ b/llvm/lib/IR/Function.cpp @@ -537,7 +537,8 @@ enum IIT_Info { IIT_V1 = 27, IIT_VARARG = 28, IIT_HALF_VEC_ARG = 29, - IIT_SAME_VEC_WIDTH_ARG = 30 + IIT_SAME_VEC_WIDTH_ARG = 30, + IIT_PTR_TO_ARG = 31 }; @@ -651,6 +652,12 @@ static void DecodeIITType(unsigned &NextElt, ArrayRef<unsigned char> Infos, ArgInfo)); return; } + case IIT_PTR_TO_ARG: { + unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); + OutputTable.push_back(IITDescriptor::get(IITDescriptor::PtrToArgument, + ArgInfo)); + return; + } case IIT_EMPTYSTRUCT: OutputTable.push_back(IITDescriptor::get(IITDescriptor::Struct, 0)); return; @@ -758,13 +765,18 @@ static Type *DecodeFixedType(ArrayRef<Intrinsic::IITDescriptor> &Infos, case IITDescriptor::HalfVecArgument: return VectorType::getHalfElementsVectorType(cast<VectorType>( Tys[D.getArgumentNumber()])); - case IITDescriptor::SameVecWidthArgument: + case IITDescriptor::SameVecWidthArgument: { Type *EltTy = DecodeFixedType(Infos, Tys, Context); Type *Ty = Tys[D.getArgumentNumber()]; if (VectorType *VTy = dyn_cast<VectorType>(Ty)) { return VectorType::get(EltTy, VTy->getNumElements()); } llvm_unreachable("unhandled"); + } + case IITDescriptor::PtrToArgument: { + Type *Ty = Tys[D.getArgumentNumber()]; + return PointerType::getUnqual(Ty); + } } llvm_unreachable("unhandled"); } diff --git a/llvm/lib/IR/IRBuilder.cpp b/llvm/lib/IR/IRBuilder.cpp index 5f63ded48fe..31dc52e3fc2 100644 --- a/llvm/lib/IR/IRBuilder.cpp +++ b/llvm/lib/IR/IRBuilder.cpp @@ -187,7 +187,7 @@ CallInst *IRBuilderBase::CreateAssumption(Value *Cond) { /// Ops - an array of operands. CallInst *IRBuilderBase::CreateMaskedLoad(ArrayRef<Value *> Ops) { // The only one overloaded type - the type of passthru value in this case - Type *DataTy = Ops[1]->getType(); + Type *DataTy = Ops[3]->getType(); return CreateMaskedIntrinsic(Intrinsic::masked_load, Ops, DataTy); } @@ -195,7 +195,7 @@ CallInst *IRBuilderBase::CreateMaskedLoad(ArrayRef<Value *> Ops) { /// Ops - an array of operands. CallInst *IRBuilderBase::CreateMaskedStore(ArrayRef<Value *> Ops) { // DataTy - type of the data to be stored - the only one overloaded type - Type *DataTy = Ops[1]->getType(); + Type *DataTy = Ops[0]->getType(); return CreateMaskedIntrinsic(Intrinsic::masked_store, Ops, DataTy); } diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp index 66b6bb06018..0bc9d5e1bc8 100644 --- a/llvm/lib/IR/Verifier.cpp +++ b/llvm/lib/IR/Verifier.cpp @@ -2441,6 +2441,13 @@ bool Verifier::VerifyIntrinsicType(Type *Ty, return VerifyIntrinsicType(ThisArgType->getVectorElementType(), Infos, ArgTys); } + case IITDescriptor::PtrToArgument: { + if (D.getArgumentNumber() >= ArgTys.size()) + return true; + Type * ReferenceType = ArgTys[D.getArgumentNumber()]; + PointerType *ThisArgType = dyn_cast<PointerType>(Ty); + return (!ThisArgType || ThisArgType->getElementType() != ReferenceType); + } } llvm_unreachable("unhandled"); } |