src/test/ui/consts/const-int-arithmetic.rs

   1 // run-pass
   2
   3 #![feature(const_checked_int_methods)]
   4 #![feature(const_euclidean_int_methods)]
   5 #![feature(const_overflowing_int_methods)]
   6 #![feature(const_saturating_int_methods)]
   7 #![feature(const_wrapping_int_methods)]
   8
   9 use std::{i8, i128};
  10
  11 macro_rules! suite {
  12     ($(
  13         $fn:ident -> $ty:ty { $( $label:ident : $expr:expr, $result:expr; )* }
  14     )*) => { $(
  15         fn $fn() {
  16             $(
  17                 const $label: $ty = $expr;
  18                 assert_eq!($label, $result);
  19             )*
  20         }
  21     )* }
  22 }
  23
  24 suite!(
  25     checked -> Option<i8> {
  26         // `const_checked_int_methods`
  27         C1: 5i8.checked_add(2), Some(7);
  28         C2: 127i8.checked_add(2), None;
  29
  30         C3: 5i8.checked_sub(2), Some(3);
  31         C4: (-127i8).checked_sub(2), None;
  32
  33         C5: 1i8.checked_mul(3), Some(3);
  34         C6: 5i8.checked_mul(122), None;
  35         C7: (-127i8).checked_mul(-99), None;
  36
  37         C8: (i8::MIN + 1).checked_div(-1), Some(127);
  38         C9: i8::MIN.checked_div(-1), None;
  39         C10: 1i8.checked_div(0), None;
  40
  41         C11: 5i8.checked_rem(2), Some(1);
  42         C12: 5i8.checked_rem(0), None;
  43         C13: i8::MIN.checked_rem(-1), None;
  44
  45         C14: 5i8.checked_neg(), Some(-5);
  46         C15: i8::MIN.checked_neg(), None;
  47
  48         C16: 0x1i8.checked_shl(4), Some(0x10);
  49         C17: 0x1i8.checked_shl(129), None;
  50
  51         C18: 0x10i8.checked_shr(4), Some(0x1);
  52         C19: 0x10i8.checked_shr(128), None;
  53
  54
  55         C20: (-5i8).checked_abs(), Some(5);
  56         C21: i8::MIN.checked_abs(), None;
  57
  58         // `const_euclidean_int_methods`
  59         C22: (i8::MIN + 1).checked_div_euclid(-1), Some(127);
  60         C23: i8::MIN.checked_div_euclid(-1), None;
  61         C24: (1i8).checked_div_euclid(0), None;
  62
  63         C25: 5i8.checked_rem_euclid(2), Some(1);
  64         C26: 5i8.checked_rem_euclid(0), None;
  65         C27: i8::MIN.checked_rem_euclid(-1), None;
  66     }
  67     checked_i128 -> Option<i128> {
  68         CHK_ADD_I128: i128::MAX.checked_add(1), None;
  69         CHK_MUL_I128: i128::MIN.checked_mul(-1), None;
  70     }
  71
  72     saturating_and_wrapping -> i8 {
  73         // `const_saturating_int_methods`
  74         C28: 100i8.saturating_add(1), 101;
  75         C29: i8::MAX.saturating_add(100), i8::MAX;
  76         C30: i8::MIN.saturating_add(-1), i8::MIN;
  77
  78         C31: 100i8.saturating_sub(127), -27;
  79         C32: i8::MIN.saturating_sub(100), i8::MIN;
  80         C33: i8::MAX.saturating_sub(-1), i8::MAX;
  81
  82         C34: 10i8.saturating_mul(12), 120;
  83         C35: i8::MAX.saturating_mul(10), i8::MAX;
  84         C36: i8::MIN.saturating_mul(10), i8::MIN;
  85
  86         C37: 100i8.saturating_neg(), -100;
  87         C38: (-100i8).saturating_neg(), 100;
  88         C39: i8::MIN.saturating_neg(), i8::MAX;
  89         C40: i8::MAX.saturating_neg(), i8::MIN + 1;
  90
  91         C57: 100i8.saturating_abs(), 100;
  92         C58: (-100i8).saturating_abs(), 100;
  93         C59: i8::MIN.saturating_abs(), i8::MAX;
  94         C60: (i8::MIN + 1).saturating_abs(), i8::MAX;
  95
  96         // `const_wrapping_int_methods`
  97         C41: 100i8.wrapping_div(10), 10;
  98         C42: (-128i8).wrapping_div(-1), -128;
  99
 100         C43: 100i8.wrapping_rem(10), 0;
 101         C44: (-128i8).wrapping_rem(-1), 0;
 102
 103         // `const_euclidean_int_methods`
 104         C45: 100i8.wrapping_div_euclid(10), 10;
 105         C46: (-128i8).wrapping_div_euclid(-1), -128;
 106
 107         C47: 100i8.wrapping_rem_euclid(10), 0;
 108         C48: (-128i8).wrapping_rem_euclid(-1), 0;
 109     }
 110     saturating_and_wrapping_i128 -> i128 {
 111         SAT_ADD_I128: i128::MAX.saturating_add(1), i128::MAX;
 112         SAT_MUL_I128: i128::MAX.saturating_mul(2), i128::MAX;
 113
 114         WRP_ADD_I128: i128::MAX.wrapping_add(1), i128::MIN;
 115         WRP_MUL_I128: i128::MAX.wrapping_mul(3), i128::MAX-2;
 116     }
 117
 118     overflowing -> (i8, bool) {
 119         // `const_overflowing_int_methods`
 120         C49: 5i8.overflowing_div(2), (2, false);
 121         C50: i8::MIN.overflowing_div(-1), (i8::MIN, true);
 122
 123         C51: 5i8.overflowing_rem(2), (1, false);
 124         C52: i8::MIN.overflowing_rem(-1), (0, true);
 125
 126         // `const_euclidean_int_methods`
 127         C53: 5i8.overflowing_div_euclid(2), (2, false);
 128         C54: i8::MIN.overflowing_div_euclid(-1), (i8::MIN, true);
 129
 130         C55: 5i8.overflowing_rem_euclid(2), (1, false);
 131         C56: i8::MIN.overflowing_rem_euclid(-1), (0, true);
 132     }
 133     overflowing_i128 -> (i128, bool) {
 134         OFL_ADD_I128: i128::MAX.overflowing_add(1), (i128::MIN, true);
 135         OFL_MUL_I128: i128::MAX.overflowing_mul(3), (i128::MAX-2, true);
 136     }
 137 );
 138
 139 fn main() {
 140    checked();
 141    checked_i128();
 142    saturating_and_wrapping();
 143    saturating_and_wrapping_i128();
 144    overflowing();
 145    overflowing_i128();
 146 }