Lines Matching refs:Verify
17 // * Verify that the indices of mem access instructions match other operands
18 // * Verify that arithmetic and other things are only performed on first-class
19 // types. Verify that shifts & logicals only happen on integrals f.e.
32 // * Verify that a function's argument list agrees with it's declared type.
80 static cl::opt<bool> VerifyDebugInfo("verify-debug-info", cl::init(false));
181 bool verify(const Function &F) {
218 bool verify(const Module &M) {
345 bool verify(const Module &M) {
584 // If this was an instruction, bb, or argument, verify that it is in the
1019 // visitFunction - Verify that a function is ok.
1097 // Verify that this function (which has a body) is not named "llvm.*". It
1113 // If this function is actually an intrinsic, verify that it is only used in
1127 // verifyBasicBlock - Verify that a basic block is well formed...
1535 // Verify that the correct number of arguments are being passed
1543 // Verify that all arguments to the call match the function type.
1554 // Verify call attributes.
1607 // Verify that there's no metadata unless it's a direct call to an intrinsic.
1723 // Verify that there is a landingpad instruction as the first non-PHI
2156 /// verifyInstruction - Verify that an instruction is well formed.
2277 /// VerifyIntrinsicType - Verify that the specified type (which comes from an
2324 // Two cases here - If this is the second occurrence of an argument, verify
2330 // verify the "Any" kind.
2382 /// \brief Verify if the intrinsic has variable arguments.
2400 // Check and verify the descriptor.
2416 // Verify that the intrinsic prototype lines up with what the .td files
2432 // Verify if the intrinsic call matches the vararg property.
2445 // usual means. This allows us to verify the mangling of argument types into
2452 // If the intrinsic takes MDNode arguments, verify that they are either global
2543 // Verify Debug Info.
2547 Assert1(CU.Verify(), "DICompileUnit does not Verify!", CU);
2550 Assert1(S.Verify(), "DISubprogram does not Verify!", S);
2553 Assert1(GV.Verify(), "DIGlobalVariable does not Verify!", GV);
2556 Assert1(T.Verify(), "DIType does not Verify!", T);
2559 Assert1(S.Verify(), "DIScope does not Verify!", S);
2595 assert(!F.isDeclaration() && "Cannot verify external functions");
2601 // expect of a function called "verify".
2602 return !V.verify(F);
2612 Broken |= !V.verify(*I);
2615 // expect of a function called "verify".
2617 return !V.verify(M) || !DIV.verify(M) || Broken;
2636 if (!V.verify(F) && FatalErrors)
2643 if (!V.verify(M) && FatalErrors)
2668 if (!V.verify(M) && FatalErrors)
2681 INITIALIZE_PASS(VerifierLegacyPass, "verify", "Module Verifier", false, false)
2684 INITIALIZE_PASS(DebugInfoVerifierLegacyPass, "verify-di", "Debug Info Verifier",
