src/test/codegen/asm-options.rs

   1 // compile-flags: -O
   2 // only-x86_64
   3
   4 #![crate_type = "rlib"]
   5 #![feature(asm)]
   6
   7 // CHECK-LABEL: @pure
   8 // CHECK-NOT: asm
   9 // CHECK: ret void
  10 #[no_mangle]
  11 pub unsafe fn pure(x: i32) {
  12     let y: i32;
  13     asm!("", out("ax") y, in("bx") x, options(pure, nomem));
  14 }
  15
  16 // CHECK-LABEL: @noreturn
  17 // CHECK: call void asm
  18 // CHECK-NEXT: unreachable
  19 #[no_mangle]
  20 pub unsafe fn noreturn() {
  21     asm!("", options(noreturn));
  22 }
  23
  24 pub static mut VAR: i32 = 0;
  25 pub static mut DUMMY_OUTPUT: i32 = 0;
  26
  27 // CHECK-LABEL: @readonly
  28 // CHECK: call i32 asm
  29 // CHECK: ret i32 1
  30 #[no_mangle]
  31 pub unsafe fn readonly() -> i32 {
  32     VAR = 1;
  33     asm!("", out("ax") DUMMY_OUTPUT, options(pure, readonly));
  34     VAR
  35 }
  36
  37 // CHECK-LABEL: @not_readonly
  38 // CHECK: call i32 asm
  39 // CHECK: ret i32 %
  40 #[no_mangle]
  41 pub unsafe fn not_readonly() -> i32 {
  42     VAR = 1;
  43     asm!("", out("ax") DUMMY_OUTPUT, options());
  44     VAR
  45 }
  46
  47 // CHECK-LABEL: @nomem
  48 // CHECK-NOT: store
  49 // CHECK: call i32 asm
  50 // CHECK: store
  51 // CHECK: ret i32 2
  52 #[no_mangle]
  53 pub unsafe fn nomem() -> i32 {
  54     VAR = 1;
  55     asm!("", out("ax") DUMMY_OUTPUT, options(pure, nomem));
  56     VAR = 2;
  57     VAR
  58 }
  59
  60 // CHECK-LABEL: @nomem_nopure
  61 // CHECK-NOT: store
  62 // CHECK: call i32 asm
  63 // CHECK: store
  64 // CHECK: ret i32 2
  65 #[no_mangle]
  66 pub unsafe fn nomem_nopure() -> i32 {
  67     VAR = 1;
  68     asm!("", out("ax") DUMMY_OUTPUT, options(nomem));
  69     VAR = 2;
  70     VAR
  71 }
  72
  73 // CHECK-LABEL: @not_nomem
  74 // CHECK: store
  75 // CHECK: call i32 asm
  76 // CHECK: store
  77 // CHECK: ret i32 2
  78 #[no_mangle]
  79 pub unsafe fn not_nomem() -> i32 {
  80     VAR = 1;
  81     asm!("", out("ax") DUMMY_OUTPUT, options(pure, readonly));
  82     VAR = 2;
  83     VAR
  84 }
  85
  86 // CHECK-LABEL: @dont_remove_nonpure
  87 // CHECK: call void asm
  88 // CHECK: call void asm
  89 // CHECK: call void asm
  90 // CHECK: ret void
  91 #[no_mangle]
  92 pub unsafe fn dont_remove_nonpure() {
  93     asm!("", options());
  94     asm!("", options(nomem));
  95     asm!("", options(readonly));
  96 }