Home
last modified time | relevance | path

Searched refs:Assert1 (Results 1 – 2 of 2) sorted by relevance

/external/llvm/lib/IR/
DVerifier.cpp368 #define Assert1(C, M, V1) \ macro
379 Assert1(I.getOperand(i) != 0, "Operand is null", &I);
385 Assert1(!GV.isDeclaration() || in visitGlobalValue()
395 Assert1(!GV.hasDLLImportLinkage() || GV.isDeclaration(), in visitGlobalValue()
398 Assert1(!GV.hasAppendingLinkage() || isa<GlobalVariable>(GV), in visitGlobalValue()
403 Assert1(GVar && GVar->getType()->getElementType()->isArrayTy(), in visitGlobalValue()
407 Assert1(!GV.hasLinkOnceODRAutoHideLinkage() || GV.hasDefaultVisibility(), in visitGlobalValue()
414 Assert1(GV.getInitializer()->getType() == GV.getType()->getElementType(), in visitGlobalVariable()
421 Assert1(GV.getInitializer()->isNullValue(), in visitGlobalVariable()
423 Assert1(!GV.isConstant(), "'common' global may not be marked constant!", in visitGlobalVariable()
[all …]
/external/llvm/lib/Analysis/
DLint.cpp164 #define Assert1(C, M, V1) \ macro
191 Assert1(F.hasName() || F.hasLocalLinkage(), in visitFunction()
205 Assert1(CS.getCallingConv() == F->getCallingConv(), in visitCallSite()
212 Assert1(FT->isVarArg() ? in visitCallSite()
218 Assert1(FT->getReturnType() == I.getType(), in visitCallSite()
230 Assert1(Formal->getType() == Actual->getType(), in visitCallSite()
241 Assert1(Result != AliasAnalysis::MustAlias && in visitCallSite()
262 Assert1(!isa<AllocaInst>(Obj), in visitCallSite()
293 Assert1(AA->alias(MCI->getSource(), Size, MCI->getDest(), Size) != in visitCallSite()
319 Assert1(I.getParent()->getParent()->isVarArg(), in visitCallSite()
[all …]