mirror of
				https://github.com/rust-lang/rust.git
				synced 2025-11-04 15:05:30 +00:00 
			
		
		
		
	
		
			
				
	
	
		
			52 lines
		
	
	
		
			1.3 KiB
		
	
	
	
		
			Rust
		
	
	
	
	
	
			
		
		
	
	
			52 lines
		
	
	
		
			1.3 KiB
		
	
	
	
		
			Rust
		
	
	
	
	
	
//@ compile-flags: -O
 | 
						|
//@ only-x86_64
 | 
						|
 | 
						|
#![crate_type = "rlib"]
 | 
						|
#![feature(asm_goto)]
 | 
						|
 | 
						|
use std::arch::asm;
 | 
						|
 | 
						|
#[no_mangle]
 | 
						|
pub extern "C" fn panicky() {}
 | 
						|
 | 
						|
struct Foo;
 | 
						|
 | 
						|
impl Drop for Foo {
 | 
						|
    fn drop(&mut self) {
 | 
						|
        println!();
 | 
						|
    }
 | 
						|
}
 | 
						|
 | 
						|
// CHECK-LABEL: @asm_goto
 | 
						|
#[no_mangle]
 | 
						|
pub unsafe fn asm_goto() {
 | 
						|
    // CHECK: callbr void asm sideeffect alignstack inteldialect "
 | 
						|
    // CHECK-NEXT: to label %[[FALLTHROUGHBB:[a-b0-9]+]] [label %[[JUMPBB:[a-b0-9]+]]]
 | 
						|
    asm!("jmp {}", label {});
 | 
						|
}
 | 
						|
 | 
						|
// CHECK-LABEL: @asm_goto_with_outputs
 | 
						|
#[no_mangle]
 | 
						|
pub unsafe fn asm_goto_with_outputs() -> u64 {
 | 
						|
    let out: u64;
 | 
						|
    // CHECK: [[RES:%[0-9]+]] = callbr i64 asm sideeffect alignstack inteldialect "
 | 
						|
    // CHECK-NEXT: to label %[[FALLTHROUGHBB:[a-b0-9]+]] [label %[[JUMPBB:[a-b0-9]+]]]
 | 
						|
    asm!("{} /* {} */", out(reg) out, label { return 1; });
 | 
						|
    // CHECK: [[JUMPBB]]:
 | 
						|
    // CHECK-NEXT: [[RET:%.+]] = phi i64 [ [[RES]], %[[FALLTHROUGHBB]] ], [ 1, %start ]
 | 
						|
    // CHECK-NEXT: ret i64 [[RET]]
 | 
						|
    out
 | 
						|
}
 | 
						|
 | 
						|
// CHECK-LABEL: @asm_goto_noreturn
 | 
						|
#[no_mangle]
 | 
						|
pub unsafe fn asm_goto_noreturn() -> u64 {
 | 
						|
    let out: u64;
 | 
						|
    // CHECK: callbr void asm sideeffect alignstack inteldialect "
 | 
						|
    // CHECK-NEXT: to label %unreachable [label %[[JUMPBB:[a-b0-9]+]]]
 | 
						|
    asm!("jmp {}", label { return 1; }, options(noreturn));
 | 
						|
    // CHECK: [[JUMPBB]]:
 | 
						|
    // CHECK-NEXT: ret i64 1
 | 
						|
    out
 | 
						|
}
 |