add tests for asm's options(may_unwind)

Author: cynecx

src/test/codegen/asm-may_unwind.rs

@@ -0,0 +1,24 @@
+// min-llvm-version: 13.0.0
+// compile-flags: -O
+
+#![crate_type = "rlib"]
+#![feature(asm, asm_unwind)]
+
+#[no_mangle]
+pub extern "C" fn panicky() {}
+
+struct Foo;
+
+impl Drop for Foo {
+    fn drop(&mut self) {
+        println!();
+    }
+}
+
+// CHECK-LABEL: @may_unwind
+// CHECK: invoke void asm sideeffect alignstack unwind
+#[no_mangle]
+pub unsafe fn may_unwind() {
+    let _m = Foo;
+    asm!("", options(may_unwind));
+}

src/test/ui/asm/aarch64/may_unwind.rs

@@ -0,0 +1,31 @@
+// min-llvm-version: 13.0.0
+// only-aarch64
+// run-pass
+// needs-asm-support
+
+#![feature(asm, asm_unwind)]
+
+use std::panic::{catch_unwind, resume_unwind, AssertUnwindSafe};
+
+struct Foo<'a>(&'a mut bool);
+
+impl Drop for Foo<'_> {
+    fn drop(&mut self) {
+        *self.0 = false;
+    }
+}
+
+#[no_mangle]
+extern "C" fn panicky() {
+    resume_unwind(Box::new(()));
+}
+
+fn main() {
+    let flag = &mut true;
+    catch_unwind(AssertUnwindSafe(|| {
+        let _foo = Foo(flag);
+        unsafe { asm!("bl _panicky", options(may_unwind)) };
+    }))
+    .expect_err("expected a panic");
+    assert_eq!(*flag, false);
+}

src/test/ui/asm/may_unwind.rs

@@ -0,0 +1,9 @@
+// min-llvm-version: 13.0.0
+// run-pass
+// needs-asm-support
+
+#![feature(asm, asm_unwind)]
+
+fn main() {
+    unsafe { asm!("", options(may_unwind)) };
+}

src/test/ui/asm/x86_64/may_unwind.rs

@@ -0,0 +1,31 @@
+// min-llvm-version: 13.0.0
+// only-x86_64
+// run-pass
+// needs-asm-support
+
+#![feature(asm, asm_unwind)]
+
+use std::panic::{catch_unwind, resume_unwind, AssertUnwindSafe};
+
+struct Foo<'a>(&'a mut bool);
+
+impl Drop for Foo<'_> {
+    fn drop(&mut self) {
+        *self.0 = false;
+    }
+}
+
+#[no_mangle]
+extern "C" fn panicky() {
+    resume_unwind(Box::new(()));
+}
+
+fn main() {
+    let flag = &mut true;
+    catch_unwind(AssertUnwindSafe(|| {
+        let _foo = Foo(flag);
+        unsafe { asm!("call panicky", options(may_unwind)) };
+    }))
+    .expect_err("expected a panic");
+    assert_eq!(*flag, false);
+}