Home
last modified time | relevance | path

Searched refs:verifyModule (Results 1 – 25 of 45) sorted by relevance

12

/llvm-project-15.0.7/llvm/unittests/Bitcode/
H A DBitReaderTest.cpp78 EXPECT_FALSE(verifyModule(*M, &dbgs())); in TEST()
90 EXPECT_FALSE(verifyModule(*M, &dbgs())); in TEST()
98 EXPECT_FALSE(verifyModule(*M, &dbgs())); in TEST()
106 EXPECT_FALSE(verifyModule(*M, &dbgs())); in TEST()
114 EXPECT_FALSE(verifyModule(*M, &dbgs())); in TEST()
122 EXPECT_FALSE(verifyModule(*M, &dbgs())); in TEST()
152 EXPECT_FALSE(verifyModule(*M, &dbgs())); in TEST()
186 EXPECT_FALSE(verifyModule(*M, &dbgs())); in TEST()
200 EXPECT_FALSE(verifyModule(*M, &dbgs())); in TEST()
222 EXPECT_FALSE(verifyModule(*M, &dbgs())); in TEST()
[all …]
/llvm-project-15.0.7/llvm/unittests/FuzzMutate/
H A DStrategiesTest.cpp73 assert(M && !verifyModule(*M, &errs())); in parseAssembly()
82 ASSERT_TRUE(M && !verifyModule(*M, &errs())); in IterateOnSource()
85 EXPECT_TRUE(!verifyModule(*M, &errs())); in IterateOnSource()
94 ASSERT_TRUE(M && !verifyModule(*M, &errs())); in TEST()
100 EXPECT_TRUE(!verifyModule(*M, &errs())); in TEST()
164 ASSERT_TRUE(M && !verifyModule(*M, &errs())); in checkModifyNoUnsignedAndNoSignedWrap()
169 EXPECT_TRUE(!verifyModule(*M, &errs())); in checkModifyNoUnsignedAndNoSignedWrap()
208 ASSERT_TRUE(M && !verifyModule(*M, &errs())); in TEST()
212 EXPECT_TRUE(!verifyModule(*M, &errs())); in TEST()
233 ASSERT_TRUE(M && !verifyModule(*M, &errs())); in TEST()
[all …]
H A DRandomIRBuilderTest.cpp41 assert(M && !verifyModule(*M, &errs())); in parseAssembly()
162 ASSERT_TRUE(!verifyModule(*M, &errs())); in TEST()
234 ASSERT_TRUE(!verifyModule(*M, &errs())); in TEST()
H A DOperationsTest.cpp67 assert(M && !verifyModule(*M, &errs())); in parseAssembly()
210 EXPECT_FALSE(verifyModule(M, &errs())); in TEST()
239 ASSERT_TRUE(!verifyModule(*M, &errs())); in TEST()
276 EXPECT_FALSE(verifyModule(M, &errs())); in TEST()
299 EXPECT_FALSE(verifyModule(M, &errs())); in TEST()
/llvm-project-15.0.7/llvm/unittests/IR/
H A DVerifierTest.cpp107 EXPECT_TRUE(verifyModule(M, &ErrorOS)); in TEST()
138 EXPECT_TRUE(verifyModule(M2, &ErrorOS)); in TEST()
153 EXPECT_TRUE(verifyModule(M1, &ErrorOS)); in TEST()
162 EXPECT_TRUE(verifyModule(M3, &ErrorOS)); in TEST()
178 EXPECT_TRUE(verifyModule(M, &ErrorOS)); in TEST()
192 EXPECT_TRUE(verifyModule(M, &ErrorOS)); in TEST()
206 EXPECT_FALSE(verifyModule(M)); in TEST()
212 EXPECT_TRUE(verifyModule(M)); in TEST()
233 EXPECT_FALSE(verifyModule(M)); in TEST()
237 EXPECT_TRUE(verifyModule(M)); in TEST()
[all …]
H A DIRBuilderTest.cpp374 EXPECT_FALSE(verifyModule(*M)); in TEST_F()
420 EXPECT_FALSE(verifyModule(*M)); in TEST_F()
836 EXPECT_TRUE(verifyModule(*M)); in TEST_F()
859 EXPECT_FALSE(verifyModule(*M)); in TEST_F()
868 EXPECT_FALSE(verifyModule(*M)); in TEST_F()
878 EXPECT_TRUE(verifyModule(*M)); in TEST_F()
888 EXPECT_FALSE(verifyModule(*M)); in TEST_F()
900 EXPECT_FALSE(verifyModule(*M)); in TEST_F()
936 EXPECT_FALSE(verifyModule(*M)); in TEST_F()
1042 EXPECT_TRUE(verifyModule(*M)); in TEST_F()
[all …]
/llvm-project-15.0.7/llvm/include/llvm/IR/
H A DVerifier.h100 bool verifyModule(const Module &M, raw_ostream *OS = nullptr,
125 bool verifyModule(bool &BrokenDebugInfo, const Module &M, raw_ostream *OS);
/llvm-project-15.0.7/llvm/unittests/Analysis/
H A DScalarEvolutionTest.cpp236 assert(!verifyModule(*M) && "Must have been well formed!"); in TEST_F()
523 assert(!verifyModule(*M) && "Must have been well formed!"); in TEST_F()
1109 ASSERT_TRUE(!verifyModule(*M) && "Must have been well formed!"); in TEST_F()
1140 ASSERT_TRUE(!verifyModule(*M) && "Must have been well formed!"); in TEST_F()
1198 ASSERT_TRUE(!verifyModule(*M) && "Must have been well formed!"); in TEST_F()
1228 ASSERT_TRUE(!verifyModule(*M) && "Must have been well formed!"); in TEST_F()
1291 ASSERT_TRUE(!verifyModule(*M) && "Must have been well formed!"); in TEST_F()
1326 ASSERT_TRUE(!verifyModule(*M) && "Must have been well formed!"); in TEST_F()
1355 ASSERT_TRUE(!verifyModule(*M) && "Must have been well formed!"); in TEST_F()
1398 ASSERT_TRUE(!verifyModule(*M) && "Must have been well formed!"); in TEST_F()
[all …]
H A DLazyCallGraphTest.cpp2200 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST()
2241 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST()
2283 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST()
2328 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST()
2374 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST()
2418 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST()
2469 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST()
2522 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST()
2574 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST()
2618 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST()
[all …]
/llvm-project-15.0.7/llvm/unittests/Transforms/Utils/
H A DCloningTest.cpp566 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST_F()
574 EXPECT_FALSE(verifyModule(*M)); in TEST_F()
611 EXPECT_FALSE(verifyModule(*M)); in TEST_F()
715 EXPECT_FALSE(verifyModule(*ImplModule, &errs())); in TEST()
747 EXPECT_FALSE(verifyModule(*ImplModule, &errs())); in TEST()
799 EXPECT_FALSE(verifyModule(*ImplModule, &errs())); in TEST()
842 EXPECT_FALSE(verifyModule(*ImplModule, &errs())); in TEST()
898 EXPECT_FALSE(verifyModule(*ImplModule, &errs())); in TEST()
899 EXPECT_FALSE(verifyModule(*DeclModule, &errs())); in TEST()
994 EXPECT_FALSE(verifyModule(*OldM, &errs())); in TEST_F()
[all …]
H A DScalarEvolutionExpanderTest.cpp507 assert(!verifyModule(*M) && "Must have been well formed!"); in TEST_F()
553 assert(!verifyModule(*M) && "Must have been well formed!"); in TEST_F()
635 assert(!verifyModule(*M) && "Must have been well formed!"); in TEST_F()
691 assert(!verifyModule(*M) && "Must have been well formed!"); in TEST_F()
751 assert(!verifyModule(*M) && "Must have been well formed!"); in TEST_F()
793 assert(!verifyModule(*M) && "Must have been well formed!"); in TEST_F()
848 assert(!verifyModule(*M) && "Must have been well formed!"); in TEST_F()
927 assert(!verifyModule(*M) && "Must have been well formed!"); in TEST_F()
/llvm-project-15.0.7/llvm/bindings/ocaml/analysis/
H A Dllvm_analysis.mli16 human-readable validation report. See [llvm::verifyModule]. *)
25 [llvm::verifyModule]. *)
/llvm-project-15.0.7/llvm/unittests/Frontend/
H A DOpenMPIRBuilderTest.cpp358 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST_F()
425 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST_F()
498 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST_F()
553 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST_F()
669 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST_F()
981 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST_F()
1113 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST_F()
1194 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST_F()
1231 EXPECT_FALSE(verifyModule(*M, &errs())); in TEST_F()
4035 EXPECT_FALSE(verifyModule(*M)); in TEST_F()
[all …]
/llvm-project-15.0.7/llvm/tools/llvm-opt-fuzzer/
H A Dllvm-opt-fuzzer.cpp74 if (verifyModule(*M, &errs())) { in LLVMFuzzerCustomMutator()
164 if (verifyModule(*M, &errs())) { in LLVMFuzzerTestOneInput()
/llvm-project-15.0.7/llvm/tools/llvm-as-fuzzer/
H A Dllvm-as-fuzzer.cpp73 if (verifyModule(*M.get(), &errs())) in LLVMFuzzerTestOneInput()
/llvm-project-15.0.7/llvm/tools/llvm-split/
H A Dllvm-split.cpp75 if (verifyModule(*MPart, &errs())) { in main()
/llvm-project-15.0.7/llvm/tools/llvm-link/
H A Dllvm-link.cpp339 if (!NoVerify && verifyModule(SrcModule, &errs())) { in importFunctions()
399 if (DisableDITypeMap && !NoVerify && verifyModule(*M, &errs())) { in linkFiles()
500 if (!NoVerify && verifyModule(*Composite, &errs())) { in main()
/llvm-project-15.0.7/llvm/tools/verify-uselistorder/
H A Dverify-uselistorder.cpp349 if (verifyModule(*OtherM, &errs())) in verifyAfterRoundTrip()
512 if (verifyModule(M, &errs())) in changeUseLists()
549 if (verifyModule(*M, &errs())) { in main()
/llvm-project-15.0.7/llvm/examples/Fibonacci/
H A Dfibonacci.cpp130 if (verifyModule(*M)) { in main()
/llvm-project-15.0.7/llvm/examples/BrainF/
H A DBrainFDriver.cpp151 if (verifyModule(*Mod)) { in main()
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DAnalysis.cpp106 LLVMBool Result = verifyModule(*unwrap(M), OutMessages ? &MsgsOS : DebugOS); in LLVMVerifyModule()
/llvm-project-15.0.7/llvm/lib/ExecutionEngine/Orc/
H A DSpeculation.cpp136 assert(!TSM.withModuleDo([](const Module &M) { return verifyModule(M); }) && in emit()
/llvm-project-15.0.7/llvm/tools/llvm-as/
H A Dllvm-as.cpp146 if (verifyModule(*M.get(), &OS)) { in main()
/llvm-project-15.0.7/clang/tools/clang-fuzzer/handle-llvm/
H A Dhandle_llvm.cpp101 if (!M || verifyModule(*M, &errs())) in OptLLVM()
/llvm-project-15.0.7/llvm/tools/bugpoint/
H A DBugDriver.cpp101 if (verifyModule(*Result, &errs())) { in parseInputFile()

12