summaryrefslogtreecommitdiff
path: root/willow/unittest/IR/VerifierTest.cpp
diff options
context:
space:
mode:
authorStefan Weigl-Bosker <stefan@s00.xyz>2026-02-19 18:45:44 -0500
committerStefan Weigl-Bosker <stefan@s00.xyz>2026-02-19 18:45:44 -0500
commitaf3d0ad1926eb825f64152cf217fc9a4777f0be3 (patch)
tree8d7f73ce6c3c89863418382d8d553a06c668bbb3 /willow/unittest/IR/VerifierTest.cpp
parentd11fbc8268f5775ad783f8570478daad4a9e81cf (diff)
downloadcompiler-af3d0ad1926eb825f64152cf217fc9a4777f0be3.tar.gz
[willow]: more cleanup, testsmore-tests
Diffstat (limited to 'willow/unittest/IR/VerifierTest.cpp')
-rw-r--r--willow/unittest/IR/VerifierTest.cpp15
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)));
}