@@ -141,12 +141,10 @@ where
141
141
assert_eq ! ( rt - a, b - rt + T :: one( ) ) ;
142
142
}
143
143
// if both number have a different sign,
144
+ } else if ( a + b) . is_even ( ) {
145
+ assert_eq ! ( rt, ( a + b) / ( T :: one( ) + T :: one( ) ) )
144
146
} 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( ) ) )
150
148
}
151
149
}
152
150
bench_unchecked ( b, v, f) ;
@@ -168,12 +166,10 @@ where
168
166
assert_eq ! ( rt - a + T :: one( ) , b - rt) ;
169
167
}
170
168
// if both number have a different sign,
169
+ } else if ( a + b) . is_even ( ) {
170
+ assert_eq ! ( rt, ( a + b) / ( T :: one( ) + T :: one( ) ) )
171
171
} 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( ) ) )
177
173
}
178
174
}
179
175
bench_unchecked ( b, v, f) ;
0 commit comments