From 01e65371dcf20bd47b9bf041e82ee2d3da5b95c2 Mon Sep 17 00:00:00 2001 From: Jeremy Bruestle Date: Thu, 26 Dec 2024 21:42:31 -0800 Subject: [PATCH] Remove unused code --- zirgen/circuit/rv32im/v2/dsl/inst_div.zir | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/zirgen/circuit/rv32im/v2/dsl/inst_div.zir b/zirgen/circuit/rv32im/v2/dsl/inst_div.zir index f373800d..c71a70c6 100644 --- a/zirgen/circuit/rv32im/v2/dsl/inst_div.zir +++ b/zirgen/circuit/rv32im/v2/dsl/inst_div.zir @@ -43,17 +43,6 @@ component DivideReturn(quot: ValU32, rem: ValU32) { extern Divide(numer: ValU32, denom: ValU32, sign_type: Val) : DivideReturn; -/* -component PairU32(a: ValU32, b: ValU32) { - aLow := NondetReg(a.low); - aHigh := NondetReg(a.high); - bLow := NondetReg(b.low); - bHigh := NondetReg(b.high); - public a := ValU32(aLow, aHigh); - public b := ValU32(bLow, bHigh); -} -*/ - component DoDiv(numer: ValU32, denom: ValU32, signed: Val, ones_comp: Val) { // Guess the answer guess := Divide(numer, denom, signed + 2 * ones_comp);