Cross Reference: /external/llvm/lib/VMCore/Verifier.cpp

Lines Matching refs:Attrs
300     void VerifyParameterAttrs(Attributes Attrs, Type *Ty,
302     void VerifyFunctionAttrs(FunctionType *FT, const AttrListPtr &Attrs,
527 void Verifier::VerifyParameterAttrs(Attributes Attrs, Type *Ty,
529   if (Attrs == Attribute::None)
532   Attributes FnCheckAttr = Attrs & Attribute::FunctionOnly;
537     Attributes RetI = Attrs & Attribute::ParameterOnly;
544     Attributes MutI = Attrs & Attribute::MutuallyIncompatible[i];
549   Attributes TypeI = Attrs & Attribute::typeIncompatible(Ty);
553   Attributes ByValI = Attrs & Attribute::ByVal;
568                                    const AttrListPtr &Attrs,
570   if (Attrs.isEmpty())
575   for (unsigned i = 0, e = Attrs.getNumSlots(); i != e; ++i) {
576     const AttributeWithIndex &Attr = Attrs.getSlot(i);
586     VerifyParameterAttrs(Attr.Attrs, Ty, Attr.Index == 0, V);
588     if (Attr.Attrs & Attribute::Nest) {
593     if (Attr.Attrs & Attribute::StructRet)
597   Attributes FAttrs = Attrs.getFnAttributes();
610 static bool VerifyAttributeCount(const AttrListPtr &Attrs, unsigned Params) {
611   if (Attrs.isEmpty())
614   unsigned LastSlot = Attrs.getNumSlots() - 1;
615   unsigned LastIndex = Attrs.getSlot(LastSlot).Index;
618           && (LastSlot == 0 || Attrs.getSlot(LastSlot - 1).Index <= Params)))  
646   const AttrListPtr &Attrs = F.getAttributes();
648   Assert1(VerifyAttributeCount(Attrs, FT->getNumParams()),
652   VerifyFunctionAttrs(FT, Attrs, &F);
1158   const AttrListPtr &Attrs = CS.getAttributes();
1160   Assert1(VerifyAttributeCount(Attrs, CS.arg_size()),
1164   VerifyFunctionAttrs(FTy, Attrs, I);
1169       Attributes Attr = Attrs.getParamAttributes(Idx);