From 1605ab377bc2c9be97df2cfbab00e011d526e316 Mon Sep 17 00:00:00 2001 From: Ticki Date: Mon, 21 Mar 2016 21:01:08 +0100 Subject: Add support for naked functions --- src/libsyntax/feature_gate.rs | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/libsyntax') diff --git a/src/libsyntax/feature_gate.rs b/src/libsyntax/feature_gate.rs index a017e62d546..ebd8db1b25c 100644 --- a/src/libsyntax/feature_gate.rs +++ b/src/libsyntax/feature_gate.rs @@ -212,6 +212,9 @@ const KNOWN_FEATURES: &'static [(&'static str, &'static str, Option, Status // rust runtime internal ("unwind_attributes", "1.4.0", None, Active), + // allow the use of `#[naked]` on functions. + ("naked_functions", "1.9.0", None, Active), + // allow empty structs and enum variants with braces ("braced_empty_structs", "1.5.0", Some(29720), Accepted), @@ -376,6 +379,9 @@ pub const KNOWN_ATTRIBUTES: &'static [(&'static str, AttributeType, AttributeGat // FIXME: #14406 these are processed in trans, which happens after the // lint pass ("cold", Whitelisted, Ungated), + ("naked", Whitelisted, Gated("naked_functions", + "the `#[naked]` attribute \ + is an experimental feature")), ("export_name", Whitelisted, Ungated), ("inline", Whitelisted, Ungated), ("link", Whitelisted, Ungated), -- cgit 1.4.1-3-g733a5 From 1f6b05e955f5e6972305c04cda1895107cca36f8 Mon Sep 17 00:00:00 2001 From: Ticki Date: Mon, 21 Mar 2016 21:13:50 +0100 Subject: Add tests --- src/libsyntax/feature_gate.rs | 2 +- src/test/codegen/naked-functions.rs | 69 +++++++++++++++++++++++++++++++++++++ 2 files changed, 70 insertions(+), 1 deletion(-) create mode 100644 src/test/codegen/naked-functions.rs (limited to 'src/libsyntax') diff --git a/src/libsyntax/feature_gate.rs b/src/libsyntax/feature_gate.rs index ebd8db1b25c..698913be292 100644 --- a/src/libsyntax/feature_gate.rs +++ b/src/libsyntax/feature_gate.rs @@ -212,7 +212,7 @@ const KNOWN_FEATURES: &'static [(&'static str, &'static str, Option, Status // rust runtime internal ("unwind_attributes", "1.4.0", None, Active), - // allow the use of `#[naked]` on functions. + // allow the use of `#[naked]` on functions. ("naked_functions", "1.9.0", None, Active), // allow empty structs and enum variants with braces diff --git a/src/test/codegen/naked-functions.rs b/src/test/codegen/naked-functions.rs new file mode 100644 index 00000000000..0a600f4acad --- /dev/null +++ b/src/test/codegen/naked-functions.rs @@ -0,0 +1,69 @@ +// Copyright 2015 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +// ignore-tidy-linelength + +// compile-flags: -C no-prepopulate-passes + +#![crate_type = "lib"] +#![feature(naked_functions)] + +// CHECK: Function Attrs: naked uwtable +// CHECK-NEXT: define internal void @naked_empty() +#[no_mangle] +#[naked] +fn naked_empty() { + // CHECK: ret void +} + +// CHECK: Function Attrs: naked uwtable +#[no_mangle] +#[naked] +// CHECK-NEXT: define internal void @naked_with_args(i{{[0-9]+}}) +fn naked_with_args(a: isize) { + // CHECK: %a = alloca i{{[0-9]+}} + // CHECK: ret void +} + +// CHECK: Function Attrs: naked uwtable +// CHECK-NEXT: define internal i{{[0-9]+}} @naked_with_return() +#[no_mangle] +#[naked] +fn naked_with_return() -> isize { + // CHECK: ret i{{[0-9]+}} 0 + 0 +} + +// CHECK: Function Attrs: naked uwtable +// CHECK-NEXT: define internal i{{[0-9]+}} @naked_with_args_and_return(i{{[0-9]+}}) +#[no_mangle] +#[naked] +fn naked_with_args_and_return(a: isize) -> isize { + // CHECK: %a = alloca i{{[0-9]+}} + // CHECK: ret i{{[0-9]+}} %{{[0-9]+}} + a +} + +// CHECK: Function Attrs: naked uwtable +// CHECK-NEXT: define internal void @naked_recursive() +#[no_mangle] +#[naked] +fn naked_recursive() { + // CHECK: call void @naked_empty() + naked_empty(); + // CHECK: %{{[0-9]+}} = call i{{[0-9]+}} @naked_with_return() + naked_with_args( + // CHECK: %{{[0-9]+}} = call i{{[0-9]+}} @naked_with_args_and_return(i{{[0-9]+}} %{{[0-9]+}}) + naked_with_args_and_return( + // CHECK: call void @naked_with_args(i{{[0-9]+}} %{{[0-9]+}}) + naked_with_return() + ) + ); +} -- cgit 1.4.1-3-g733a5