diff options
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))); } |