Home
last modified time | relevance | path

Searched refs:Verifier (Results 1 – 25 of 56) sorted by relevance

123

/llvm-project-15.0.7/clang/unittests/AST/
H A DSourceLocationTest.cpp35 Verifier.expectLocation(1, 1); in TEST()
41 Verifier.expectLocation(1, 1); in TEST()
47 Verifier.expectLocation(1, 1); in TEST()
53 Verifier.expectLocation(1, 1); in TEST()
365 EXPECT_TRUE(Verifier.match( in TEST()
373 EXPECT_TRUE(Verifier.match( in TEST()
382 EXPECT_TRUE(Verifier.match( in TEST()
390 EXPECT_TRUE(Verifier.match( in TEST()
408 EXPECT_TRUE(Verifier.match( in TEST()
433 EXPECT_TRUE(Verifier.match( in TEST()
[all …]
H A DASTTypeTraitsTest.cpp140 RangeVerifier<DynTypedNode> Verifier; in TEST() local
141 Verifier.expectRange(1, 1, 1, 11); in TEST()
147 Verifier.expectRange(1, 10, 1, 11); in TEST()
153 Verifier.expectRange(1, 1, 1, 8); in TEST()
159 Verifier.expectRange(1, 33, 1, 34); in TEST()
166 Verifier.expectRange(1, 31, 1, 31); in TEST()
172 DumpVerifier Verifier; in TEST() local
178 DumpVerifier Verifier; in TEST() local
184 PrintVerifier Verifier; in TEST() local
190 PrintVerifier Verifier; in TEST() local
[all …]
H A DASTContextParentMapTest.cpp27 MatchVerifier<Decl> Verifier; in TEST() local
29 Verifier.match("class C { void f(); };", in TEST()
34 MatchVerifier<Stmt> Verifier; in TEST() local
35 EXPECT_TRUE(Verifier.match("class C { void f() { if (true) {} } };", in TEST()
40 MatchVerifier<TypeLoc> Verifier; in TEST() local
42 Verifier.match("namespace a { class b {}; } void f(a::b) {}", in TEST()
47 MatchVerifier<NestedNameSpecifierLoc> Verifier; in TEST() local
48 EXPECT_TRUE(Verifier.match("namespace a { class b {}; } void f(a::b) {}", in TEST()
H A DASTImporterTest.cpp256 MatchVerifier<Decl> Verifier; in TEST_P() local
268 MatchVerifier<Decl> Verifier; in TEST_P() local
284 MatchVerifier<Decl> Verifier; in TEST_P() local
297 MatchVerifier<Decl> Verifier; in TEST_P() local
313 MatchVerifier<Decl> Verifier; in TEST_P() local
320 MatchVerifier<Decl> Verifier; in TEST_P() local
329 MatchVerifier<Decl> Verifier; in TEST_P() local
340 Verifier, in TEST_P()
344 Verifier, in TEST_P()
471 Verifier, in TEST_P()
[all …]
H A DASTImporterFixtures.h245 MatchVerifier<NodeType> &Verifier, in testImport() argument
274 EXPECT_TRUE(Verifier.match(ToImport, WrapperMatcher)); in testImport()
287 return Verifier.match(*Imported, WrapperMatcher); in testImport()
295 MatchVerifier<NodeType> &Verifier, in testImport() argument
298 FromCode, FromArgs, ToCode, ToArgs, Verifier, in testImport()
314 MatchVerifier<NodeType> &Verifier, in testImport() argument
319 testImport(FromCode, FromArgs, ToCode, ToArgs, Verifier, AMatcher)); in testImport()
419 MatchVerifier<Decl> Verifier; in testImportSequence() local
420 EXPECT_TRUE(Verifier.match( in testImportSequence()
/llvm-project-15.0.7/llvm/unittests/XRay/
H A DFDRBlockVerifierTest.cpp60 BlockVerifier Verifier; in TEST() local
67 Verifier.reset(); in TEST()
81 BlockVerifier Verifier; in TEST() local
83 ASSERT_FALSE(errorToBool(R->apply(Verifier))); in TEST()
84 ASSERT_FALSE(errorToBool(Verifier.verify())); in TEST()
95 BlockVerifier Verifier; in TEST() local
97 ASSERT_FALSE(errorToBool(R->apply(Verifier))); in TEST()
98 ASSERT_FALSE(errorToBool(Verifier.verify())); in TEST()
110 BlockVerifier Verifier; in TEST() local
113 ASSERT_FALSE(errorToBool(Verifier.verify())); in TEST()
[all …]
H A DFDRRecordsTest.cpp85 BlockVerifier Verifier; in TEST() local
87 ASSERT_FALSE(errorToBool(R->apply(Verifier))); in TEST()
88 ASSERT_FALSE(errorToBool(Verifier.verify())); in TEST()
136 BlockVerifier Verifier; in TEST() local
141 ASSERT_FALSE(errorToBool(R->apply(Verifier))); in TEST()
142 ASSERT_FALSE(errorToBool(Verifier.verify())); in TEST()
143 Verifier.reset(); in TEST()
/llvm-project-15.0.7/clang/unittests/Tooling/
H A DCommentHandlerTest.cpp154 Verifier.Match("// comment 1", 1, 13); in TEST()
155 Verifier.Match("// comment 2", 3, 3); in TEST()
188 Verifier.Match("// visible_1", 1, 21); in TEST()
189 Verifier.Match("// visible_2", 2, 21); in TEST()
190 Verifier.Match("// visible_6", 6, 21); in TEST()
191 Verifier.Match("// visible_7", 7, 21); in TEST()
192 Verifier.Match("// visible_8", 8, 21); in TEST()
193 Verifier.Match("// visible_9", 9, 21); in TEST()
208 Verifier.Match(Source, 1, 1); in TEST()
219 Verifier.Match("// visible_2", 2, 14); in TEST()
[all …]
/llvm-project-15.0.7/llvm/lib/IR/
H A DVerifier.cpp279 class Verifier : public InstVisitor<Verifier>, VerifierSupport { class
280 friend class InstVisitor<Verifier>;
491 using InstVisitor<Verifier>::visit;
620 void Verifier::visit(Instruction &I) { in visit()
623 InstVisitor<Verifier>::visit(I); in visit()
1534 void Verifier::visitModuleIdents() { in visitModuleIdents()
1569 void Verifier::visitModuleFlags() { in visitModuleFlags()
2128 void Verifier::verifyFunctionMetadata( in verifyFunctionMetadata()
6068 void Verifier::verifyCompileUnits() { in verifyCompileUnits()
6241 std::unique_ptr<Verifier> V;
[all …]
H A DSafepointIRVerifier.cpp485 InstructionVerifier &Verifier);
587 InstructionVerifier &Verifier) { in verifyFunction() argument
603 Verifier.verifyInstruction(&Tracker, I, AvailableSet); in verifyFunction()
904 InstructionVerifier Verifier; in Verify() local
905 GCPtrTracker::verifyFunction(std::move(Tracker), Verifier); in Verify()
907 if (PrintOnly && !Verifier.hasAnyInvalidUses()) { in Verify()
H A DCMakeLists.txt65 Verifier.cpp
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorRangeChecker.cpp130 const AdvanceFn *Verifier = AdvanceFunctions.lookup(Call); in checkPreCall() local
131 if (Verifier) { in checkPreCall()
133 (this->**Verifier)(C, Call.getArgSVal(0), Call.getArgSVal(1)); in checkPreCall()
136 (this->**Verifier)( in checkPreCall()
/llvm-project-15.0.7/llvm/lib/Transforms/Vectorize/
H A DVPlanHCFGBuilder.h53 VPlanVerifier Verifier; variable
/llvm-project-15.0.7/llvm/test/CodeGen/RISCV/
H A DO0-pipeline.ll23 ; CHECK-NEXT: Module Verifier
34 ; CHECK-NEXT: Module Verifier
/llvm-project-15.0.7/llvm/test/CodeGen/MIR/X86/
H A Dtied-physical-regs-match.mir2 # This test ensures that the Machine Verifier detects tied physical registers
/llvm-project-15.0.7/llvm/test/DebugInfo/
H A Ddebugify-export.ll10 ; CHECK: {{Module Verifier|GlobalOptPass}}
/llvm-project-15.0.7/llvm/test/CodeGen/AArch64/
H A DO0-pipeline.ll19 ; CHECK-NEXT: Module Verifier
31 ; CHECK-NEXT: Module Verifier
/llvm-project-15.0.7/clang/test/CodeGenObjC/
H A Ddebug-info-nested-blocks.m3 // wrong parent and subsequently failed the Verifier.
/llvm-project-15.0.7/mlir/lib/IR/
H A DCMakeLists.txt35 Verifier.cpp
/llvm-project-15.0.7/llvm/lib/XRay/
H A DTrace.cpp312 BlockVerifier Verifier; in loadFDRLog() local
314 if (auto E = R->apply(Verifier)) in loadFDRLog()
316 if (auto E = Verifier.verify()) in loadFDRLog()
/llvm-project-15.0.7/llvm/test/CodeGen/X86/
H A DO0-pipeline.ll23 ; CHECK-NEXT: Module Verifier
35 ; CHECK-NEXT: Module Verifier
/llvm-project-15.0.7/llvm/test/BugPoint/
H A Dinvalid-debuginfo.ll6 ; that won't even pass the Verifier. A bugpoint *driver* built with assertions
/llvm-project-15.0.7/mlir/test/Pass/
H A Dpipeline-stats.mlir9 // LIST-NOT: Verifier
/llvm-project-15.0.7/llvm/utils/gn/secondary/llvm/lib/IR/
H A DBUILD.gn80 "Verifier.cpp",
/llvm-project-15.0.7/llvm/test/Transforms/LoopVectorize/
H A Dpr32859.ll4 ; but the IR Verifier requires for PHI one entry for each predecessor of

123