tests/run-pass/ints.rs

   1 #![feature(custom_attribute)]
   2 #![allow(dead_code, unused_attributes)]
   3
   4 #[miri_run]
   5 fn ret() -> i64 {
   6     1
   7 }
   8
   9 #[miri_run]
  10 fn neg() -> i64 {
  11     -1
  12 }
  13
  14 #[miri_run]
  15 fn add() -> i64 {
  16     1 + 2
  17 }
  18
  19 #[miri_run]
  20 fn indirect_add() -> i64 {
  21     let x = 1;
  22     let y = 2;
  23     x + y
  24 }
  25
  26 #[miri_run]
  27 fn arith() -> i32 {
  28     3*3 + 4*4
  29 }
  30
  31 #[miri_run]
  32 fn match_int() -> i16 {
  33     let n = 2;
  34     match n {
  35         0 => 0,
  36         1 => 10,
  37         2 => 20,
  38         3 => 30,
  39         _ => 100,
  40     }
  41 }
  42
  43 #[miri_run]
  44 fn match_int_range() -> i64 {
  45     let n = 42;
  46     match n {
  47         0...9 => 0,
  48         10...19 => 1,
  49         20...29 => 2,
  50         30...39 => 3,
  51         40...49 => 4,
  52         _ => 5,
  53     }
  54 }
  55
  56 fn main() {}