| //@ add-minicore |
| //@ revisions: I586 X86_64 AARCH64 |
| //@ [I586] compile-flags: -C no-prepopulate-passes --target=i586-unknown-linux-gnu |
| //@ [I586] needs-llvm-components: x86 |
| //@ [X86_64] compile-flags: -C no-prepopulate-passes --target=x86_64-unknown-linux-gnu |
| //@ [X86_64] needs-llvm-components: x86 |
| //@ [AARCH64] compile-flags: -C no-prepopulate-passes --target=aarch64-unknown-linux-gnu |
| //@ [AARCH64] needs-llvm-components: aarch64 |
| |
| #![crate_type = "lib"] |
| #![feature(no_core, rust_tail_cc, explicit_tail_calls)] |
| #![no_core] |
| |
| extern crate minicore; |
| |
| // CHECK: define{{( dso_local)?}} tailcc void @peach(i16 |
| #[no_mangle] |
| #[inline(never)] |
| pub extern "tail" fn peach(_: u16) { |
| loop {} |
| } |
| |
| // CHECK: call tailcc void @peach(i16 |
| pub fn quince(x: u16) { |
| if let 12345u16 = x { |
| peach(54321); |
| } |
| } |
