@@ -277,7 +277,9 @@ impl AtomicBool {
277
277
#[ inline]
278
278
#[ stable( feature = "rust1" , since = "1.0.0" ) ]
279
279
pub fn store ( & self , val : bool , order : Ordering ) {
280
- unsafe { atomic_store ( self . v . get ( ) , val as u8 , order) ; }
280
+ unsafe {
281
+ atomic_store ( self . v . get ( ) , val as u8 , order) ;
282
+ }
281
283
}
282
284
283
285
/// Stores a value into the bool, returning the old value.
@@ -366,9 +368,11 @@ impl AtomicBool {
366
368
current : bool ,
367
369
new : bool ,
368
370
success : Ordering ,
369
- failure : Ordering ) -> Result < bool , bool > {
370
- match unsafe { atomic_compare_exchange ( self . v . get ( ) , current as u8 , new as u8 ,
371
- success, failure) } {
371
+ failure : Ordering )
372
+ -> Result < bool , bool > {
373
+ match unsafe {
374
+ atomic_compare_exchange ( self . v . get ( ) , current as u8 , new as u8 , success, failure)
375
+ } {
372
376
Ok ( x) => Ok ( x != 0 ) ,
373
377
Err ( x) => Err ( x != 0 ) ,
374
378
}
@@ -409,9 +413,11 @@ impl AtomicBool {
409
413
current : bool ,
410
414
new : bool ,
411
415
success : Ordering ,
412
- failure : Ordering ) -> Result < bool , bool > {
413
- match unsafe { atomic_compare_exchange_weak ( self . v . get ( ) , current as u8 , new as u8 ,
414
- success, failure) } {
416
+ failure : Ordering )
417
+ -> Result < bool , bool > {
418
+ match unsafe {
419
+ atomic_compare_exchange_weak ( self . v . get ( ) , current as u8 , new as u8 , success, failure)
420
+ } {
415
421
Ok ( x) => Ok ( x != 0 ) ,
416
422
Err ( x) => Err ( x != 0 ) ,
417
423
}
@@ -632,9 +638,7 @@ impl<T> AtomicPtr<T> {
632
638
#[ inline]
633
639
#[ stable( feature = "rust1" , since = "1.0.0" ) ]
634
640
pub fn load ( & self , order : Ordering ) -> * mut T {
635
- unsafe {
636
- atomic_load ( self . p . get ( ) as * mut usize , order) as * mut T
637
- }
641
+ unsafe { atomic_load ( self . p . get ( ) as * mut usize , order) as * mut T }
638
642
}
639
643
640
644
/// Stores a value into the pointer.
@@ -660,7 +664,9 @@ impl<T> AtomicPtr<T> {
660
664
#[ inline]
661
665
#[ stable( feature = "rust1" , since = "1.0.0" ) ]
662
666
pub fn store ( & self , ptr : * mut T , order : Ordering ) {
663
- unsafe { atomic_store ( self . p . get ( ) as * mut usize , ptr as usize , order) ; }
667
+ unsafe {
668
+ atomic_store ( self . p . get ( ) as * mut usize , ptr as usize , order) ;
669
+ }
664
670
}
665
671
666
672
/// Stores a value into the pointer, returning the old value.
@@ -745,7 +751,8 @@ impl<T> AtomicPtr<T> {
745
751
current : * mut T ,
746
752
new : * mut T ,
747
753
success : Ordering ,
748
- failure : Ordering ) -> Result < * mut T , * mut T > {
754
+ failure : Ordering )
755
+ -> Result < * mut T , * mut T > {
749
756
unsafe {
750
757
let res = atomic_compare_exchange ( self . p . get ( ) as * mut usize ,
751
758
current as usize ,
@@ -794,7 +801,8 @@ impl<T> AtomicPtr<T> {
794
801
current : * mut T ,
795
802
new : * mut T ,
796
803
success : Ordering ,
797
- failure : Ordering ) -> Result < * mut T , * mut T > {
804
+ failure : Ordering )
805
+ -> Result < * mut T , * mut T > {
798
806
unsafe {
799
807
let res = atomic_compare_exchange_weak ( self . p . get ( ) as * mut usize ,
800
808
current as usize ,
@@ -1266,9 +1274,9 @@ fn strongest_failure_ordering(order: Ordering) -> Ordering {
1266
1274
match order {
1267
1275
Release => Relaxed ,
1268
1276
Relaxed => Relaxed ,
1269
- SeqCst => SeqCst ,
1277
+ SeqCst => SeqCst ,
1270
1278
Acquire => Acquire ,
1271
- AcqRel => Acquire ,
1279
+ AcqRel => Acquire ,
1272
1280
}
1273
1281
}
1274
1282
@@ -1277,9 +1285,9 @@ unsafe fn atomic_store<T>(dst: *mut T, val: T, order: Ordering) {
1277
1285
match order {
1278
1286
Release => intrinsics:: atomic_store_rel ( dst, val) ,
1279
1287
Relaxed => intrinsics:: atomic_store_relaxed ( dst, val) ,
1280
- SeqCst => intrinsics:: atomic_store ( dst, val) ,
1288
+ SeqCst => intrinsics:: atomic_store ( dst, val) ,
1281
1289
Acquire => panic ! ( "there is no such thing as an acquire store" ) ,
1282
- AcqRel => panic ! ( "there is no such thing as an acquire/release store" ) ,
1290
+ AcqRel => panic ! ( "there is no such thing as an acquire/release store" ) ,
1283
1291
}
1284
1292
}
1285
1293
@@ -1288,9 +1296,9 @@ unsafe fn atomic_load<T>(dst: *const T, order: Ordering) -> T {
1288
1296
match order {
1289
1297
Acquire => intrinsics:: atomic_load_acq ( dst) ,
1290
1298
Relaxed => intrinsics:: atomic_load_relaxed ( dst) ,
1291
- SeqCst => intrinsics:: atomic_load ( dst) ,
1299
+ SeqCst => intrinsics:: atomic_load ( dst) ,
1292
1300
Release => panic ! ( "there is no such thing as a release load" ) ,
1293
- AcqRel => panic ! ( "there is no such thing as an acquire/release load" ) ,
1301
+ AcqRel => panic ! ( "there is no such thing as an acquire/release load" ) ,
1294
1302
}
1295
1303
}
1296
1304
@@ -1299,9 +1307,9 @@ unsafe fn atomic_swap<T>(dst: *mut T, val: T, order: Ordering) -> T {
1299
1307
match order {
1300
1308
Acquire => intrinsics:: atomic_xchg_acq ( dst, val) ,
1301
1309
Release => intrinsics:: atomic_xchg_rel ( dst, val) ,
1302
- AcqRel => intrinsics:: atomic_xchg_acqrel ( dst, val) ,
1310
+ AcqRel => intrinsics:: atomic_xchg_acqrel ( dst, val) ,
1303
1311
Relaxed => intrinsics:: atomic_xchg_relaxed ( dst, val) ,
1304
- SeqCst => intrinsics:: atomic_xchg ( dst, val)
1312
+ SeqCst => intrinsics:: atomic_xchg ( dst, val) ,
1305
1313
}
1306
1314
}
1307
1315
@@ -1311,9 +1319,9 @@ unsafe fn atomic_add<T>(dst: *mut T, val: T, order: Ordering) -> T {
1311
1319
match order {
1312
1320
Acquire => intrinsics:: atomic_xadd_acq ( dst, val) ,
1313
1321
Release => intrinsics:: atomic_xadd_rel ( dst, val) ,
1314
- AcqRel => intrinsics:: atomic_xadd_acqrel ( dst, val) ,
1322
+ AcqRel => intrinsics:: atomic_xadd_acqrel ( dst, val) ,
1315
1323
Relaxed => intrinsics:: atomic_xadd_relaxed ( dst, val) ,
1316
- SeqCst => intrinsics:: atomic_xadd ( dst, val)
1324
+ SeqCst => intrinsics:: atomic_xadd ( dst, val) ,
1317
1325
}
1318
1326
}
1319
1327
@@ -1323,9 +1331,9 @@ unsafe fn atomic_sub<T>(dst: *mut T, val: T, order: Ordering) -> T {
1323
1331
match order {
1324
1332
Acquire => intrinsics:: atomic_xsub_acq ( dst, val) ,
1325
1333
Release => intrinsics:: atomic_xsub_rel ( dst, val) ,
1326
- AcqRel => intrinsics:: atomic_xsub_acqrel ( dst, val) ,
1334
+ AcqRel => intrinsics:: atomic_xsub_acqrel ( dst, val) ,
1327
1335
Relaxed => intrinsics:: atomic_xsub_relaxed ( dst, val) ,
1328
- SeqCst => intrinsics:: atomic_xsub ( dst, val)
1336
+ SeqCst => intrinsics:: atomic_xsub ( dst, val) ,
1329
1337
}
1330
1338
}
1331
1339
@@ -1334,63 +1342,57 @@ unsafe fn atomic_compare_exchange<T>(dst: *mut T,
1334
1342
old : T ,
1335
1343
new : T ,
1336
1344
success : Ordering ,
1337
- failure : Ordering ) -> Result < T , T > {
1345
+ failure : Ordering )
1346
+ -> Result < T , T > {
1338
1347
let ( val, ok) = match ( success, failure) {
1339
1348
( Acquire , Acquire ) => intrinsics:: atomic_cxchg_acq ( dst, old, new) ,
1340
1349
( Release , Relaxed ) => intrinsics:: atomic_cxchg_rel ( dst, old, new) ,
1341
- ( AcqRel , Acquire ) => intrinsics:: atomic_cxchg_acqrel ( dst, old, new) ,
1350
+ ( AcqRel , Acquire ) => intrinsics:: atomic_cxchg_acqrel ( dst, old, new) ,
1342
1351
( Relaxed , Relaxed ) => intrinsics:: atomic_cxchg_relaxed ( dst, old, new) ,
1343
- ( SeqCst , SeqCst ) => intrinsics:: atomic_cxchg ( dst, old, new) ,
1352
+ ( SeqCst , SeqCst ) => intrinsics:: atomic_cxchg ( dst, old, new) ,
1344
1353
( Acquire , Relaxed ) => intrinsics:: atomic_cxchg_acq_failrelaxed ( dst, old, new) ,
1345
- ( AcqRel , Relaxed ) => intrinsics:: atomic_cxchg_acqrel_failrelaxed ( dst, old, new) ,
1346
- ( SeqCst , Relaxed ) => intrinsics:: atomic_cxchg_failrelaxed ( dst, old, new) ,
1347
- ( SeqCst , Acquire ) => intrinsics:: atomic_cxchg_failacq ( dst, old, new) ,
1354
+ ( AcqRel , Relaxed ) => intrinsics:: atomic_cxchg_acqrel_failrelaxed ( dst, old, new) ,
1355
+ ( SeqCst , Relaxed ) => intrinsics:: atomic_cxchg_failrelaxed ( dst, old, new) ,
1356
+ ( SeqCst , Acquire ) => intrinsics:: atomic_cxchg_failacq ( dst, old, new) ,
1348
1357
( _, AcqRel ) => panic ! ( "there is no such thing as an acquire/release failure ordering" ) ,
1349
1358
( _, Release ) => panic ! ( "there is no such thing as a release failure ordering" ) ,
1350
1359
_ => panic ! ( "a failure ordering can't be stronger than a success ordering" ) ,
1351
1360
} ;
1352
- if ok {
1353
- Ok ( val)
1354
- } else {
1355
- Err ( val)
1356
- }
1361
+ if ok { Ok ( val) } else { Err ( val) }
1357
1362
}
1358
1363
1359
1364
#[ inline]
1360
1365
unsafe fn atomic_compare_exchange_weak < T > ( dst : * mut T ,
1361
1366
old : T ,
1362
1367
new : T ,
1363
1368
success : Ordering ,
1364
- failure : Ordering ) -> Result < T , T > {
1369
+ failure : Ordering )
1370
+ -> Result < T , T > {
1365
1371
let ( val, ok) = match ( success, failure) {
1366
1372
( Acquire , Acquire ) => intrinsics:: atomic_cxchgweak_acq ( dst, old, new) ,
1367
1373
( Release , Relaxed ) => intrinsics:: atomic_cxchgweak_rel ( dst, old, new) ,
1368
- ( AcqRel , Acquire ) => intrinsics:: atomic_cxchgweak_acqrel ( dst, old, new) ,
1374
+ ( AcqRel , Acquire ) => intrinsics:: atomic_cxchgweak_acqrel ( dst, old, new) ,
1369
1375
( Relaxed , Relaxed ) => intrinsics:: atomic_cxchgweak_relaxed ( dst, old, new) ,
1370
- ( SeqCst , SeqCst ) => intrinsics:: atomic_cxchgweak ( dst, old, new) ,
1376
+ ( SeqCst , SeqCst ) => intrinsics:: atomic_cxchgweak ( dst, old, new) ,
1371
1377
( Acquire , Relaxed ) => intrinsics:: atomic_cxchgweak_acq_failrelaxed ( dst, old, new) ,
1372
- ( AcqRel , Relaxed ) => intrinsics:: atomic_cxchgweak_acqrel_failrelaxed ( dst, old, new) ,
1373
- ( SeqCst , Relaxed ) => intrinsics:: atomic_cxchgweak_failrelaxed ( dst, old, new) ,
1374
- ( SeqCst , Acquire ) => intrinsics:: atomic_cxchgweak_failacq ( dst, old, new) ,
1378
+ ( AcqRel , Relaxed ) => intrinsics:: atomic_cxchgweak_acqrel_failrelaxed ( dst, old, new) ,
1379
+ ( SeqCst , Relaxed ) => intrinsics:: atomic_cxchgweak_failrelaxed ( dst, old, new) ,
1380
+ ( SeqCst , Acquire ) => intrinsics:: atomic_cxchgweak_failacq ( dst, old, new) ,
1375
1381
( _, AcqRel ) => panic ! ( "there is no such thing as an acquire/release failure ordering" ) ,
1376
1382
( _, Release ) => panic ! ( "there is no such thing as a release failure ordering" ) ,
1377
1383
_ => panic ! ( "a failure ordering can't be stronger than a success ordering" ) ,
1378
1384
} ;
1379
- if ok {
1380
- Ok ( val)
1381
- } else {
1382
- Err ( val)
1383
- }
1385
+ if ok { Ok ( val) } else { Err ( val) }
1384
1386
}
1385
1387
1386
1388
#[ inline]
1387
1389
unsafe fn atomic_and < T > ( dst : * mut T , val : T , order : Ordering ) -> T {
1388
1390
match order {
1389
1391
Acquire => intrinsics:: atomic_and_acq ( dst, val) ,
1390
1392
Release => intrinsics:: atomic_and_rel ( dst, val) ,
1391
- AcqRel => intrinsics:: atomic_and_acqrel ( dst, val) ,
1393
+ AcqRel => intrinsics:: atomic_and_acqrel ( dst, val) ,
1392
1394
Relaxed => intrinsics:: atomic_and_relaxed ( dst, val) ,
1393
- SeqCst => intrinsics:: atomic_and ( dst, val)
1395
+ SeqCst => intrinsics:: atomic_and ( dst, val) ,
1394
1396
}
1395
1397
}
1396
1398
@@ -1399,9 +1401,9 @@ unsafe fn atomic_or<T>(dst: *mut T, val: T, order: Ordering) -> T {
1399
1401
match order {
1400
1402
Acquire => intrinsics:: atomic_or_acq ( dst, val) ,
1401
1403
Release => intrinsics:: atomic_or_rel ( dst, val) ,
1402
- AcqRel => intrinsics:: atomic_or_acqrel ( dst, val) ,
1404
+ AcqRel => intrinsics:: atomic_or_acqrel ( dst, val) ,
1403
1405
Relaxed => intrinsics:: atomic_or_relaxed ( dst, val) ,
1404
- SeqCst => intrinsics:: atomic_or ( dst, val)
1406
+ SeqCst => intrinsics:: atomic_or ( dst, val) ,
1405
1407
}
1406
1408
}
1407
1409
@@ -1410,9 +1412,9 @@ unsafe fn atomic_xor<T>(dst: *mut T, val: T, order: Ordering) -> T {
1410
1412
match order {
1411
1413
Acquire => intrinsics:: atomic_xor_acq ( dst, val) ,
1412
1414
Release => intrinsics:: atomic_xor_rel ( dst, val) ,
1413
- AcqRel => intrinsics:: atomic_xor_acqrel ( dst, val) ,
1415
+ AcqRel => intrinsics:: atomic_xor_acqrel ( dst, val) ,
1414
1416
Relaxed => intrinsics:: atomic_xor_relaxed ( dst, val) ,
1415
- SeqCst => intrinsics:: atomic_xor ( dst, val)
1417
+ SeqCst => intrinsics:: atomic_xor ( dst, val) ,
1416
1418
}
1417
1419
}
1418
1420
@@ -1443,9 +1445,9 @@ pub fn fence(order: Ordering) {
1443
1445
match order {
1444
1446
Acquire => intrinsics:: atomic_fence_acq ( ) ,
1445
1447
Release => intrinsics:: atomic_fence_rel ( ) ,
1446
- AcqRel => intrinsics:: atomic_fence_acqrel ( ) ,
1447
- SeqCst => intrinsics:: atomic_fence ( ) ,
1448
- Relaxed => panic ! ( "there is no such thing as a relaxed fence" )
1448
+ AcqRel => intrinsics:: atomic_fence_acqrel ( ) ,
1449
+ SeqCst => intrinsics:: atomic_fence ( ) ,
1450
+ Relaxed => panic ! ( "there is no such thing as a relaxed fence" ) ,
1449
1451
}
1450
1452
}
1451
1453
}
0 commit comments