update with new BigInt operation names

risc0 · Oct 23, 2024 · 208ec1a · 208ec1a
1 parent 6ae253c
commit 208ec1a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/zirgen/Dialect/BigInt/Bytecode/eval.cpp b/zirgen/Dialect/BigInt/Bytecode/eval.cpp
@@ -139,7 +139,7 @@ size_t getCarryBytes(const Type& type) {
  return 4;
 }
 
-std::vector<BytePoly> eqz(const BytePoly &poly, const Type &type) {
+std::vector<BytePoly> eqz(const BytePoly& poly, const Type& type) {
  if (toBQInt(poly) != 0) {
  throw std::runtime_error("NONZERO");
  }
@@ -290,7 +290,7 @@ EvalOutput eval(const Program& inFunc, std::vector<BQInt>& witnessValues) {
  auto poly = polys[op.operandA];
  const Type& type = inFunc.types[op.type];
  auto carryPolys = eqz(poly, type);
- for (auto &p: carryPolys) {
+ for (auto& p : carryPolys) {
  ret.privateWitness.push_back(p);
  }
  } break;

diff --git a/zirgen/Dialect/BigInt/Bytecode/mlir.cpp b/zirgen/Dialect/BigInt/Bytecode/mlir.cpp
@@ -166,7 +166,7 @@ std::unique_ptr<Program> encode(mlir::func::FuncOp func) {
  size_t type = builder.lookup(origOp.getResultTypes()[0]);
  builder.emitBin(Op::Quo, type, op.getLhs(), op.getRhs());
  })
- .Case<NondetInvModOp>([&](auto op) {
+ .Case<NondetInvOp>([&](auto op) {
  size_t type = builder.lookup(origOp.getResultTypes()[0]);
  builder.emitBin(Op::Inv, type, op.getLhs(), op.getRhs());
  })
@@ -176,7 +176,7 @@ std::unique_ptr<Program> encode(mlir::func::FuncOp func) {
  newOp.operandA = builder.lookup(*op.getIn().getDefiningOp());
  builder.emit(newOp);
  })
- .Case<ModularInvOp>([&](auto op) {
+ .Case<InvOp>([&](auto op) {
  llvm::errs() << *op << "\n";
  throw std::runtime_error("Cannot write ModularInvOp; use lower-modular-inv pass");
  })