|  | //@ run-pass | 
|  |  | 
|  | const ADD_A: u32 = 200u32.wrapping_add(55); | 
|  | const ADD_B: u32 = 200u32.wrapping_add(u32::MAX); | 
|  |  | 
|  | const SUB_A: u32 = 100u32.wrapping_sub(100); | 
|  | const SUB_B: u32 = 100u32.wrapping_sub(u32::MAX); | 
|  |  | 
|  | const MUL_A: u8 = 10u8.wrapping_mul(12); | 
|  | const MUL_B: u8 = 25u8.wrapping_mul(12); | 
|  |  | 
|  | const SHL_A: u32 = 1u32.wrapping_shl(7); | 
|  | const SHL_B: u32 = 1u32.wrapping_shl(128); | 
|  |  | 
|  | const SHR_A: u32 = 128u32.wrapping_shr(7); | 
|  | const SHR_B: u32 = 128u32.wrapping_shr(128); | 
|  |  | 
|  | const NEG_A: u32 = 5u32.wrapping_neg(); | 
|  | const NEG_B: u32 = 1234567890u32.wrapping_neg(); | 
|  |  | 
|  | const ABS_POS: i32 = 10i32.wrapping_abs(); | 
|  | const ABS_NEG: i32 = (-10i32).wrapping_abs(); | 
|  | const ABS_MIN: i32 = i32::MIN.wrapping_abs(); | 
|  |  | 
|  | fn main() { | 
|  | assert_eq!(ADD_A, 255); | 
|  | assert_eq!(ADD_B, 199); | 
|  |  | 
|  | assert_eq!(SUB_A, 0); | 
|  | assert_eq!(SUB_B, 101); | 
|  |  | 
|  | assert_eq!(MUL_A, 120); | 
|  | assert_eq!(MUL_B, 44); | 
|  |  | 
|  | assert_eq!(SHL_A, 128); | 
|  | assert_eq!(SHL_B, 1); | 
|  |  | 
|  | assert_eq!(SHR_A, 1); | 
|  | assert_eq!(SHR_B, 128); | 
|  |  | 
|  | assert_eq!(NEG_A, 4294967291); | 
|  | assert_eq!(NEG_B, 3060399406); | 
|  |  | 
|  | assert_eq!(ABS_POS, 10); | 
|  | assert_eq!(ABS_NEG, 10); | 
|  | assert_eq!(ABS_MIN, i32::MIN); | 
|  | } |