@@ -141,12 +141,10 @@ where
141141 assert_eq ! ( rt - a, b - rt + T :: one( ) ) ;
142142 }
143143 // if both number have a different sign,
144+ } else if ( a + b) . is_even ( ) {
145+ assert_eq ! ( rt, ( a + b) / ( T :: one( ) + T :: one( ) ) )
144146 } else {
145- if ( a + b) . is_even ( ) {
146- assert_eq ! ( rt, ( a + b) / ( T :: one( ) + T :: one( ) ) )
147- } else {
148- assert_eq ! ( rt, ( a + b + T :: one( ) ) / ( T :: one( ) + T :: one( ) ) )
149- }
147+ assert_eq ! ( rt, ( a + b + T :: one( ) ) / ( T :: one( ) + T :: one( ) ) )
150148 }
151149 }
152150 bench_unchecked ( b, v, f) ;
@@ -168,12 +166,10 @@ where
168166 assert_eq ! ( rt - a + T :: one( ) , b - rt) ;
169167 }
170168 // if both number have a different sign,
169+ } else if ( a + b) . is_even ( ) {
170+ assert_eq ! ( rt, ( a + b) / ( T :: one( ) + T :: one( ) ) )
171171 } else {
172- if ( a + b) . is_even ( ) {
173- assert_eq ! ( rt, ( a + b) / ( T :: one( ) + T :: one( ) ) )
174- } else {
175- assert_eq ! ( rt, ( a + b - T :: one( ) ) / ( T :: one( ) + T :: one( ) ) )
176- }
172+ assert_eq ! ( rt, ( a + b - T :: one( ) ) / ( T :: one( ) + T :: one( ) ) )
177173 }
178174 }
179175 bench_unchecked ( b, v, f) ;
0 commit comments