tests/run-pass/ints.rs

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