@@ -211,7 +211,7 @@ macro_rules! impl_Display {
211
211
fn $name( mut n: $u, is_nonnegative: bool , f: & mut fmt:: Formatter <' _>) -> fmt:: Result {
212
212
// 2^128 is about 3*10^38, so 39 gives an extra byte of space
213
213
let mut buf = [ MaybeUninit :: <u8 >:: uninit( ) ; 39 ] ;
214
- let mut curr = buf. len( ) as isize ;
214
+ let mut curr = buf. len( ) ;
215
215
let buf_ptr = MaybeUninit :: slice_as_mut_ptr( & mut buf) ;
216
216
let lut_ptr = DEC_DIGITS_LUT . as_ptr( ) ;
217
217
@@ -228,7 +228,7 @@ macro_rules! impl_Display {
228
228
229
229
// eagerly decode 4 characters at a time
230
230
while n >= 10000 {
231
- let rem = ( n % 10000 ) as isize ;
231
+ let rem = ( n % 10000 ) as usize ;
232
232
n /= 10000 ;
233
233
234
234
let d1 = ( rem / 100 ) << 1 ;
@@ -238,37 +238,37 @@ macro_rules! impl_Display {
238
238
// We are allowed to copy to `buf_ptr[curr..curr + 3]` here since
239
239
// otherwise `curr < 0`. But then `n` was originally at least `10000^10`
240
240
// which is `10^40 > 2^128 > n`.
241
- ptr:: copy_nonoverlapping( lut_ptr. offset ( d1) , buf_ptr. offset ( curr) , 2 ) ;
242
- ptr:: copy_nonoverlapping( lut_ptr. offset ( d2) , buf_ptr. offset ( curr + 2 ) , 2 ) ;
241
+ ptr:: copy_nonoverlapping( lut_ptr. add ( d1) , buf_ptr. add ( curr) , 2 ) ;
242
+ ptr:: copy_nonoverlapping( lut_ptr. add ( d2) , buf_ptr. add ( curr + 2 ) , 2 ) ;
243
243
}
244
244
245
245
// if we reach here numbers are <= 9999, so at most 4 chars long
246
- let mut n = n as isize ; // possibly reduce 64bit math
246
+ let mut n = n as usize ; // possibly reduce 64bit math
247
247
248
248
// decode 2 more chars, if > 2 chars
249
249
if n >= 100 {
250
250
let d1 = ( n % 100 ) << 1 ;
251
251
n /= 100 ;
252
252
curr -= 2 ;
253
- ptr:: copy_nonoverlapping( lut_ptr. offset ( d1) , buf_ptr. offset ( curr) , 2 ) ;
253
+ ptr:: copy_nonoverlapping( lut_ptr. add ( d1) , buf_ptr. add ( curr) , 2 ) ;
254
254
}
255
255
256
256
// decode last 1 or 2 chars
257
257
if n < 10 {
258
258
curr -= 1 ;
259
- * buf_ptr. offset ( curr) = ( n as u8 ) + b'0' ;
259
+ * buf_ptr. add ( curr) = ( n as u8 ) + b'0' ;
260
260
} else {
261
261
let d1 = n << 1 ;
262
262
curr -= 2 ;
263
- ptr:: copy_nonoverlapping( lut_ptr. offset ( d1) , buf_ptr. offset ( curr) , 2 ) ;
263
+ ptr:: copy_nonoverlapping( lut_ptr. add ( d1) , buf_ptr. add ( curr) , 2 ) ;
264
264
}
265
265
}
266
266
267
267
// SAFETY: `curr` > 0 (since we made `buf` large enough), and all the chars are valid
268
268
// UTF-8 since `DEC_DIGITS_LUT` is
269
269
let buf_slice = unsafe {
270
270
str :: from_utf8_unchecked(
271
- slice:: from_raw_parts( buf_ptr. offset ( curr) , buf. len( ) - curr as usize ) )
271
+ slice:: from_raw_parts( buf_ptr. add ( curr) , buf. len( ) - curr) )
272
272
} ;
273
273
f. pad_integral( is_nonnegative, "" , buf_slice)
274
274
}
@@ -339,18 +339,18 @@ macro_rules! impl_Exp {
339
339
// Since `curr` always decreases by the number of digits copied, this means
340
340
// that `curr >= 0`.
341
341
let mut buf = [ MaybeUninit :: <u8 >:: uninit( ) ; 40 ] ;
342
- let mut curr = buf. len( ) as isize ; //index for buf
342
+ let mut curr = buf. len( ) ; //index for buf
343
343
let buf_ptr = MaybeUninit :: slice_as_mut_ptr( & mut buf) ;
344
344
let lut_ptr = DEC_DIGITS_LUT . as_ptr( ) ;
345
345
346
346
// decode 2 chars at a time
347
347
while n >= 100 {
348
- let d1 = ( ( n % 100 ) as isize ) << 1 ;
348
+ let d1 = ( ( n % 100 ) as usize ) << 1 ;
349
349
curr -= 2 ;
350
350
// SAFETY: `d1 <= 198`, so we can copy from `lut_ptr[d1..d1 + 2]` since
351
351
// `DEC_DIGITS_LUT` has a length of 200.
352
352
unsafe {
353
- ptr:: copy_nonoverlapping( lut_ptr. offset ( d1) , buf_ptr. offset ( curr) , 2 ) ;
353
+ ptr:: copy_nonoverlapping( lut_ptr. add ( d1) , buf_ptr. add ( curr) , 2 ) ;
354
354
}
355
355
n /= 100 ;
356
356
exponent += 2 ;
@@ -362,7 +362,7 @@ macro_rules! impl_Exp {
362
362
curr -= 1 ;
363
363
// SAFETY: Safe since `40 > curr >= 0` (see comment)
364
364
unsafe {
365
- * buf_ptr. offset ( curr) = ( n as u8 % 10_u8 ) + b'0' ;
365
+ * buf_ptr. add ( curr) = ( n as u8 % 10_u8 ) + b'0' ;
366
366
}
367
367
n /= 10 ;
368
368
exponent += 1 ;
@@ -372,18 +372,18 @@ macro_rules! impl_Exp {
372
372
curr -= 1 ;
373
373
// SAFETY: Safe since `40 > curr >= 0`
374
374
unsafe {
375
- * buf_ptr. offset ( curr) = b'.' ;
375
+ * buf_ptr. add ( curr) = b'.' ;
376
376
}
377
377
}
378
378
379
379
// SAFETY: Safe since `40 > curr >= 0`
380
380
let buf_slice = unsafe {
381
381
// decode last character
382
382
curr -= 1 ;
383
- * buf_ptr. offset ( curr) = ( n as u8 ) + b'0' ;
383
+ * buf_ptr. add ( curr) = ( n as u8 ) + b'0' ;
384
384
385
385
let len = buf. len( ) - curr as usize ;
386
- slice:: from_raw_parts( buf_ptr. offset ( curr) , len)
386
+ slice:: from_raw_parts( buf_ptr. add ( curr) , len)
387
387
} ;
388
388
389
389
// stores 'e' (or 'E') and the up to 2-digit exponent
@@ -392,13 +392,13 @@ macro_rules! impl_Exp {
392
392
// SAFETY: In either case, `exp_buf` is written within bounds and `exp_ptr[..len]`
393
393
// is contained within `exp_buf` since `len <= 3`.
394
394
let exp_slice = unsafe {
395
- * exp_ptr. offset ( 0 ) = if upper { b'E' } else { b'e' } ;
395
+ * exp_ptr. add ( 0 ) = if upper { b'E' } else { b'e' } ;
396
396
let len = if exponent < 10 {
397
- * exp_ptr. offset ( 1 ) = ( exponent as u8 ) + b'0' ;
397
+ * exp_ptr. add ( 1 ) = ( exponent as u8 ) + b'0' ;
398
398
2
399
399
} else {
400
400
let off = exponent << 1 ;
401
- ptr:: copy_nonoverlapping( lut_ptr. offset ( off) , exp_ptr. offset ( 1 ) , 2 ) ;
401
+ ptr:: copy_nonoverlapping( lut_ptr. add ( off) , exp_ptr. add ( 1 ) , 2 ) ;
402
402
3
403
403
} ;
404
404
slice:: from_raw_parts( exp_ptr, len)
@@ -479,7 +479,7 @@ mod imp {
479
479
impl_Exp ! ( i128 , u128 as u128 via to_u128 named exp_u128) ;
480
480
481
481
/// Helper function for writing a u64 into `buf` going from last to first, with `curr`.
482
- fn parse_u64_into < const N : usize > ( mut n : u64 , buf : & mut [ MaybeUninit < u8 > ; N ] , curr : & mut isize ) {
482
+ fn parse_u64_into < const N : usize > ( mut n : u64 , buf : & mut [ MaybeUninit < u8 > ; N ] , curr : & mut usize ) {
483
483
let buf_ptr = MaybeUninit :: slice_as_mut_ptr ( buf) ;
484
484
let lut_ptr = DEC_DIGITS_LUT . as_ptr ( ) ;
485
485
assert ! ( * curr > 19 ) ;
@@ -505,14 +505,14 @@ fn parse_u64_into<const N: usize>(mut n: u64, buf: &mut [MaybeUninit<u8>; N], cu
505
505
506
506
* curr -= 16 ;
507
507
508
- ptr:: copy_nonoverlapping ( lut_ptr. offset ( d1 as isize ) , buf_ptr. offset ( * curr + 0 ) , 2 ) ;
509
- ptr:: copy_nonoverlapping ( lut_ptr. offset ( d2 as isize ) , buf_ptr. offset ( * curr + 2 ) , 2 ) ;
510
- ptr:: copy_nonoverlapping ( lut_ptr. offset ( d3 as isize ) , buf_ptr. offset ( * curr + 4 ) , 2 ) ;
511
- ptr:: copy_nonoverlapping ( lut_ptr. offset ( d4 as isize ) , buf_ptr. offset ( * curr + 6 ) , 2 ) ;
512
- ptr:: copy_nonoverlapping ( lut_ptr. offset ( d5 as isize ) , buf_ptr. offset ( * curr + 8 ) , 2 ) ;
513
- ptr:: copy_nonoverlapping ( lut_ptr. offset ( d6 as isize ) , buf_ptr. offset ( * curr + 10 ) , 2 ) ;
514
- ptr:: copy_nonoverlapping ( lut_ptr. offset ( d7 as isize ) , buf_ptr. offset ( * curr + 12 ) , 2 ) ;
515
- ptr:: copy_nonoverlapping ( lut_ptr. offset ( d8 as isize ) , buf_ptr. offset ( * curr + 14 ) , 2 ) ;
508
+ ptr:: copy_nonoverlapping ( lut_ptr. add ( d1 as usize ) , buf_ptr. add ( * curr + 0 ) , 2 ) ;
509
+ ptr:: copy_nonoverlapping ( lut_ptr. add ( d2 as usize ) , buf_ptr. add ( * curr + 2 ) , 2 ) ;
510
+ ptr:: copy_nonoverlapping ( lut_ptr. add ( d3 as usize ) , buf_ptr. add ( * curr + 4 ) , 2 ) ;
511
+ ptr:: copy_nonoverlapping ( lut_ptr. add ( d4 as usize ) , buf_ptr. add ( * curr + 6 ) , 2 ) ;
512
+ ptr:: copy_nonoverlapping ( lut_ptr. add ( d5 as usize ) , buf_ptr. add ( * curr + 8 ) , 2 ) ;
513
+ ptr:: copy_nonoverlapping ( lut_ptr. add ( d6 as usize ) , buf_ptr. add ( * curr + 10 ) , 2 ) ;
514
+ ptr:: copy_nonoverlapping ( lut_ptr. add ( d7 as usize ) , buf_ptr. add ( * curr + 12 ) , 2 ) ;
515
+ ptr:: copy_nonoverlapping ( lut_ptr. add ( d8 as usize ) , buf_ptr. add ( * curr + 14 ) , 2 ) ;
516
516
}
517
517
if n >= 1e8 as u64 {
518
518
let to_parse = n % 1e8 as u64 ;
@@ -525,10 +525,10 @@ fn parse_u64_into<const N: usize>(mut n: u64, buf: &mut [MaybeUninit<u8>; N], cu
525
525
let d4 = ( ( to_parse / 1e0 as u64 ) % 100 ) << 1 ;
526
526
* curr -= 8 ;
527
527
528
- ptr:: copy_nonoverlapping ( lut_ptr. offset ( d1 as isize ) , buf_ptr. offset ( * curr + 0 ) , 2 ) ;
529
- ptr:: copy_nonoverlapping ( lut_ptr. offset ( d2 as isize ) , buf_ptr. offset ( * curr + 2 ) , 2 ) ;
530
- ptr:: copy_nonoverlapping ( lut_ptr. offset ( d3 as isize ) , buf_ptr. offset ( * curr + 4 ) , 2 ) ;
531
- ptr:: copy_nonoverlapping ( lut_ptr. offset ( d4 as isize ) , buf_ptr. offset ( * curr + 6 ) , 2 ) ;
528
+ ptr:: copy_nonoverlapping ( lut_ptr. add ( d1 as usize ) , buf_ptr. add ( * curr + 0 ) , 2 ) ;
529
+ ptr:: copy_nonoverlapping ( lut_ptr. add ( d2 as usize ) , buf_ptr. add ( * curr + 2 ) , 2 ) ;
530
+ ptr:: copy_nonoverlapping ( lut_ptr. add ( d3 as usize ) , buf_ptr. add ( * curr + 4 ) , 2 ) ;
531
+ ptr:: copy_nonoverlapping ( lut_ptr. add ( d4 as usize ) , buf_ptr. add ( * curr + 6 ) , 2 ) ;
532
532
}
533
533
// `n` < 1e8 < (1 << 32)
534
534
let mut n = n as u32 ;
@@ -540,8 +540,8 @@ fn parse_u64_into<const N: usize>(mut n: u64, buf: &mut [MaybeUninit<u8>; N], cu
540
540
let d2 = ( to_parse % 100 ) << 1 ;
541
541
* curr -= 4 ;
542
542
543
- ptr:: copy_nonoverlapping ( lut_ptr. offset ( d1 as isize ) , buf_ptr. offset ( * curr + 0 ) , 2 ) ;
544
- ptr:: copy_nonoverlapping ( lut_ptr. offset ( d2 as isize ) , buf_ptr. offset ( * curr + 2 ) , 2 ) ;
543
+ ptr:: copy_nonoverlapping ( lut_ptr. add ( d1 as usize ) , buf_ptr. add ( * curr + 0 ) , 2 ) ;
544
+ ptr:: copy_nonoverlapping ( lut_ptr. add ( d2 as usize ) , buf_ptr. add ( * curr + 2 ) , 2 ) ;
545
545
}
546
546
547
547
// `n` < 1e4 < (1 << 16)
@@ -550,17 +550,17 @@ fn parse_u64_into<const N: usize>(mut n: u64, buf: &mut [MaybeUninit<u8>; N], cu
550
550
let d1 = ( n % 100 ) << 1 ;
551
551
n /= 100 ;
552
552
* curr -= 2 ;
553
- ptr:: copy_nonoverlapping ( lut_ptr. offset ( d1 as isize ) , buf_ptr. offset ( * curr) , 2 ) ;
553
+ ptr:: copy_nonoverlapping ( lut_ptr. add ( d1 as usize ) , buf_ptr. add ( * curr) , 2 ) ;
554
554
}
555
555
556
556
// decode last 1 or 2 chars
557
557
if n < 10 {
558
558
* curr -= 1 ;
559
- * buf_ptr. offset ( * curr) = ( n as u8 ) + b'0' ;
559
+ * buf_ptr. add ( * curr) = ( n as u8 ) + b'0' ;
560
560
} else {
561
561
let d1 = n << 1 ;
562
562
* curr -= 2 ;
563
- ptr:: copy_nonoverlapping ( lut_ptr. offset ( d1 as isize ) , buf_ptr. offset ( * curr) , 2 ) ;
563
+ ptr:: copy_nonoverlapping ( lut_ptr. add ( d1 as usize ) , buf_ptr. add ( * curr) , 2 ) ;
564
564
}
565
565
}
566
566
}
@@ -593,21 +593,21 @@ impl fmt::Display for i128 {
593
593
fn fmt_u128 ( n : u128 , is_nonnegative : bool , f : & mut fmt:: Formatter < ' _ > ) -> fmt:: Result {
594
594
// 2^128 is about 3*10^38, so 39 gives an extra byte of space
595
595
let mut buf = [ MaybeUninit :: < u8 > :: uninit ( ) ; 39 ] ;
596
- let mut curr = buf. len ( ) as isize ;
596
+ let mut curr = buf. len ( ) ;
597
597
598
598
let ( n, rem) = udiv_1e19 ( n) ;
599
599
parse_u64_into ( rem, & mut buf, & mut curr) ;
600
600
601
601
if n != 0 {
602
602
// 0 pad up to point
603
- let target = ( buf. len ( ) - 19 ) as isize ;
603
+ let target = buf. len ( ) - 19 ;
604
604
// SAFETY: Guaranteed that we wrote at most 19 bytes, and there must be space
605
605
// remaining since it has length 39
606
606
unsafe {
607
607
ptr:: write_bytes (
608
- MaybeUninit :: slice_as_mut_ptr ( & mut buf) . offset ( target) ,
608
+ MaybeUninit :: slice_as_mut_ptr ( & mut buf) . add ( target) ,
609
609
b'0' ,
610
- ( curr - target) as usize ,
610
+ curr - target,
611
611
) ;
612
612
}
613
613
curr = target;
@@ -616,16 +616,16 @@ fn fmt_u128(n: u128, is_nonnegative: bool, f: &mut fmt::Formatter<'_>) -> fmt::R
616
616
parse_u64_into ( rem, & mut buf, & mut curr) ;
617
617
// Should this following branch be annotated with unlikely?
618
618
if n != 0 {
619
- let target = ( buf. len ( ) - 38 ) as isize ;
619
+ let target = buf. len ( ) - 38 ;
620
620
// The raw `buf_ptr` pointer is only valid until `buf` is used the next time,
621
621
// buf `buf` is not used in this scope so we are good.
622
622
let buf_ptr = MaybeUninit :: slice_as_mut_ptr ( & mut buf) ;
623
623
// SAFETY: At this point we wrote at most 38 bytes, pad up to that point,
624
624
// There can only be at most 1 digit remaining.
625
625
unsafe {
626
- ptr:: write_bytes ( buf_ptr. offset ( target) , b'0' , ( curr - target) as usize ) ;
626
+ ptr:: write_bytes ( buf_ptr. add ( target) , b'0' , curr - target) ;
627
627
curr = target - 1 ;
628
- * buf_ptr. offset ( curr) = ( n as u8 ) + b'0' ;
628
+ * buf_ptr. add ( curr) = ( n as u8 ) + b'0' ;
629
629
}
630
630
}
631
631
}
@@ -634,8 +634,8 @@ fn fmt_u128(n: u128, is_nonnegative: bool, f: &mut fmt::Formatter<'_>) -> fmt::R
634
634
// UTF-8 since `DEC_DIGITS_LUT` is
635
635
let buf_slice = unsafe {
636
636
str:: from_utf8_unchecked ( slice:: from_raw_parts (
637
- MaybeUninit :: slice_as_mut_ptr ( & mut buf) . offset ( curr) ,
638
- buf. len ( ) - curr as usize ,
637
+ MaybeUninit :: slice_as_mut_ptr ( & mut buf) . add ( curr) ,
638
+ buf. len ( ) - curr,
639
639
) )
640
640
} ;
641
641
f. pad_integral ( is_nonnegative, "" , buf_slice)
0 commit comments