src/test/run-pass/asm-in-out-operand.rs

   1 // Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 // pretty-expanded FIXME #23616
  12
  13 #![feature(asm)]
  14
  15 #[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
  16 unsafe fn next_power_of_2(n: u32) -> u32 {
  17     let mut tmp = n;
  18     asm!("dec $0" : "+rm"(tmp) :: "cc");
  19     let mut shift = 1_usize;
  20     while shift <= 16 {
  21         asm!(
  22             "shr %cl, $2
  23             or $2, $0
  24             shl $$1, $1"
  25             : "+&rm"(tmp), "+{ecx}"(shift) : "r"(tmp) : "cc"
  26         );
  27     }
  28     asm!("inc $0" : "+rm"(tmp) :: "cc");
  29     return tmp;
  30 }
  31
  32 #[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
  33 pub fn main() {
  34     unsafe {
  35         assert_eq!(64, next_power_of_2(37));
  36         assert_eq!(2147483648, next_power_of_2(2147483647));
  37     }
  38
  39     let mut y: int = 5;
  40     let x: int;
  41     unsafe {
  42         // Treat the output as initialization.
  43         asm!(
  44             "shl $2, $1
  45             add $3, $1
  46             mov $1, $0"
  47             : "=r"(x), "+r"(y) : "i"(3_usize), "ir"(7_usize) : "cc"
  48         );
  49     }
  50     assert_eq!(x, 47);
  51     assert_eq!(y, 47);
  52
  53     let mut x = x + 1;
  54     assert_eq!(x, 48);
  55
  56     unsafe {
  57         // Assignment to mutable.
  58         // Early clobber "&":
  59         // Forbids the use of a single register by both operands.
  60         asm!("shr $$2, $1; add $1, $0" : "+&r"(x) : "r"(x) : "cc");
  61     }
  62     assert_eq!(x, 60);
  63 }
  64
  65 #[cfg(not(any(target_arch = "x86", target_arch = "x86_64")))]
  66 pub fn main() {}