File tree Expand file tree Collapse file tree
crates/core/machine/src/alu/clo_clz Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -233,13 +233,11 @@ where
233233
234234 // if is_bb_zero == 1, bb == 0, and result is 32
235235 {
236- builder. assert_bool ( local. is_bb_zero . clone ( ) ) ;
236+ builder. assert_bool ( local. is_bb_zero ) ;
237237
238- builder. when ( local. is_bb_zero . clone ( ) ) . assert_zero ( local. bb . reduce :: < AB > ( ) ) ;
238+ builder. when ( local. is_bb_zero ) . assert_zero ( local. bb . reduce :: < AB > ( ) ) ;
239239
240- builder
241- . when ( local. is_bb_zero . clone ( ) )
242- . assert_eq ( local. a [ 0 ] , AB :: Expr :: from_canonical_u32 ( 32 ) ) ;
240+ builder. when ( local. is_bb_zero ) . assert_eq ( local. a [ 0 ] , AB :: Expr :: from_canonical_u32 ( 32 ) ) ;
243241 }
244242
245243 {
@@ -254,13 +252,13 @@ where
254252 zero. clone ( ) ,
255253 zero. clone ( ) ,
256254 ] ) ,
257- one. clone ( ) - local. is_bb_zero . clone ( ) ,
255+ one. clone ( ) - local. is_bb_zero ,
258256 ) ;
259257 }
260258
261259 // if bb!=0, check sr1 == 1
262260 {
263- builder. when_not ( local. is_bb_zero . clone ( ) ) . assert_one ( local. sr1 . reduce :: < AB > ( ) ) ;
261+ builder. when_not ( local. is_bb_zero ) . assert_one ( local. sr1 . reduce :: < AB > ( ) ) ;
264262 }
265263
266264 builder. assert_bool ( local. is_clo ) ;
You can’t perform that action at this time.
0 commit comments