diff options
| author | Stefan Weigl-Bosker <stefan@s00.xyz> | 2026-02-19 18:45:44 -0500 |
|---|---|---|
| committer | Stefan Weigl-Bosker <stefan@s00.xyz> | 2026-02-19 18:45:44 -0500 |
| commit | af3d0ad1926eb825f64152cf217fc9a4777f0be3 (patch) | |
| tree | 8d7f73ce6c3c89863418382d8d553a06c668bbb3 /willow/unittest/IR/VerifierTest.cpp | |
| parent | d11fbc8268f5775ad783f8570478daad4a9e81cf (diff) | |
| download | compiler-more-tests.tar.gz | |
[willow]: more cleanup, testsmore-tests
Diffstat (limited to 'willow/unittest/IR/VerifierTest.cpp')
| -rw-r--r-- | willow/unittest/IR/VerifierTest.cpp | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/willow/unittest/IR/VerifierTest.cpp b/willow/unittest/IR/VerifierTest.cpp index efe34db..1b71eb8 100644 --- a/willow/unittest/IR/VerifierTest.cpp +++ b/willow/unittest/IR/VerifierTest.cpp @@ -38,8 +38,7 @@ TEST_CASE("valid function", "[verifier]") { TEST_CASE("invalid basic block", "[verifier]") { WillowContext ctx; - std::vector<Diagnostic> diags; - DiagnosticEngine eng([&](Diagnostic d) { diags.push_back(std::move(d)); }); + DiagnosticEngine eng; Type i64Ty = ctx.types().IntType(64); Type voidTy = ctx.types().VoidType(); @@ -60,22 +59,22 @@ TEST_CASE("invalid basic block", "[verifier]") { } SECTION("Basic block with no terminator") { - builder.BuildAdd(i64Ty, one, one); + builder.buildAdd(i64Ty, one, one); REQUIRE(failed(verifyBasicBlock(ctx, *bb, eng))); } SECTION("Teminator must be the last instruction in a basic block") { - builder.BuildCall(i64Ty, &fn2); - builder.BuildAdd(i64Ty, one, one); + builder.buildCall(i64Ty, &fn2); + builder.buildAdd(i64Ty, one, one); REQUIRE(failed(verifyBasicBlock(ctx, *bb, eng))); } SECTION("Basic block with invalid instruction") { auto *bb2 = fn.addBlock( std::make_unique<BasicBlock>(&fn, ctx.types().BasicBlockType())); - builder.SetInsertPoint(bb2->end()); - builder.BuildAdd(voidTy, one, one); - builder.BuildRet(); + builder.setInsertPoint(bb2->end()); + builder.buildAdd(voidTy, one, one); + builder.buildRet(); REQUIRE(failed(verifyBasicBlock(ctx, *bb, eng))); } |