2016-12-22 11:47:26 +03:00
|
|
|
// Copyright 2016 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 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
|
|
|
// Checks if the "fastcall" calling convention marks function arguments
|
|
|
|
// as "inreg" like the C/C++ compilers for the platforms.
|
|
|
|
// x86 only.
|
|
|
|
|
|
|
|
// ignore-aarch64
|
|
|
|
// ignore-aarch64_be
|
|
|
|
// ignore-arm
|
|
|
|
// ignore-armeb
|
|
|
|
// ignore-avr
|
|
|
|
// ignore-bpfel
|
|
|
|
// ignore-bpfeb
|
|
|
|
// ignore-hexagon
|
|
|
|
// ignore-mips
|
|
|
|
// ignore-mipsel
|
|
|
|
// ignore-mips64
|
|
|
|
// ignore-mips64el
|
|
|
|
// ignore-msp430
|
|
|
|
// ignore-powerpc64
|
|
|
|
// ignore-powerpc64le
|
|
|
|
// ignore-powerpc
|
|
|
|
// ignore-r600
|
|
|
|
// ignore-amdgcn
|
|
|
|
// ignore-sparc
|
|
|
|
// ignore-sparcv9
|
|
|
|
// ignore-sparcel
|
|
|
|
// ignore-s390x
|
|
|
|
// ignore-tce
|
|
|
|
// ignore-thumb
|
|
|
|
// ignore-thumbeb
|
2017-05-24 16:11:32 +08:00
|
|
|
// ignore-x86_64
|
2016-12-22 11:47:26 +03:00
|
|
|
// ignore-xcore
|
|
|
|
// ignore-nvptx
|
|
|
|
// ignore-nvptx64
|
|
|
|
// ignore-le32
|
|
|
|
// ignore-le64
|
|
|
|
// ignore-amdil
|
|
|
|
// ignore-amdil64
|
|
|
|
// ignore-hsail
|
|
|
|
// ignore-hsail64
|
|
|
|
// ignore-spir
|
|
|
|
// ignore-spir64
|
|
|
|
// ignore-kalimba
|
|
|
|
// ignore-shave
|
|
|
|
// ignore-wasm32
|
|
|
|
// ignore-wasm64
|
2017-01-16 23:10:00 -08:00
|
|
|
// ignore-emscripten
|
2016-12-22 11:47:26 +03:00
|
|
|
|
|
|
|
// compile-flags: -C no-prepopulate-passes
|
|
|
|
|
|
|
|
#![crate_type = "lib"]
|
|
|
|
|
|
|
|
mod tests {
|
Avoid unnecessary copies of arguments that are simple bindings
Initially MIR differentiated between arguments and locals, which
introduced a need to add extra copies assigning the argument to a
local, even for simple bindings. This differentiation no longer exists,
but we're still creating those copies, bloating the MIR and LLVM IR we
emit.
Additionally, the current approach means that we create debug info for
both the incoming argument (marking it as an argument), and then
immediately shadow it a local that goes by the same name. This can be
confusing when using e.g. "info args" in gdb, or when e.g. a debugger
with a GUI displays the function arguments separately from the local
variables, especially when the binding is mutable, because the argument
doesn't change, while the local variable does.
2017-10-11 20:49:36 +02:00
|
|
|
// CHECK: @f1(i32 inreg %arg0, i32 inreg %arg1, i32 %arg2)
|
2016-12-22 11:47:26 +03:00
|
|
|
#[no_mangle]
|
|
|
|
extern "fastcall" fn f1(_: i32, _: i32, _: i32) {}
|
|
|
|
|
Avoid unnecessary copies of arguments that are simple bindings
Initially MIR differentiated between arguments and locals, which
introduced a need to add extra copies assigning the argument to a
local, even for simple bindings. This differentiation no longer exists,
but we're still creating those copies, bloating the MIR and LLVM IR we
emit.
Additionally, the current approach means that we create debug info for
both the incoming argument (marking it as an argument), and then
immediately shadow it a local that goes by the same name. This can be
confusing when using e.g. "info args" in gdb, or when e.g. a debugger
with a GUI displays the function arguments separately from the local
variables, especially when the binding is mutable, because the argument
doesn't change, while the local variable does.
2017-10-11 20:49:36 +02:00
|
|
|
// CHECK: @f2(i32* inreg %arg0, i32* inreg %arg1, i32* %arg2)
|
2016-12-22 11:47:26 +03:00
|
|
|
#[no_mangle]
|
|
|
|
extern "fastcall" fn f2(_: *const i32, _: *const i32, _: *const i32) {}
|
|
|
|
|
Avoid unnecessary copies of arguments that are simple bindings
Initially MIR differentiated between arguments and locals, which
introduced a need to add extra copies assigning the argument to a
local, even for simple bindings. This differentiation no longer exists,
but we're still creating those copies, bloating the MIR and LLVM IR we
emit.
Additionally, the current approach means that we create debug info for
both the incoming argument (marking it as an argument), and then
immediately shadow it a local that goes by the same name. This can be
confusing when using e.g. "info args" in gdb, or when e.g. a debugger
with a GUI displays the function arguments separately from the local
variables, especially when the binding is mutable, because the argument
doesn't change, while the local variable does.
2017-10-11 20:49:36 +02:00
|
|
|
// CHECK: @f3(float %arg0, i32 inreg %arg1, i32 inreg %arg2, i32 %arg3)
|
2016-12-22 11:47:26 +03:00
|
|
|
#[no_mangle]
|
|
|
|
extern "fastcall" fn f3(_: f32, _: i32, _: i32, _: i32) {}
|
|
|
|
|
Avoid unnecessary copies of arguments that are simple bindings
Initially MIR differentiated between arguments and locals, which
introduced a need to add extra copies assigning the argument to a
local, even for simple bindings. This differentiation no longer exists,
but we're still creating those copies, bloating the MIR and LLVM IR we
emit.
Additionally, the current approach means that we create debug info for
both the incoming argument (marking it as an argument), and then
immediately shadow it a local that goes by the same name. This can be
confusing when using e.g. "info args" in gdb, or when e.g. a debugger
with a GUI displays the function arguments separately from the local
variables, especially when the binding is mutable, because the argument
doesn't change, while the local variable does.
2017-10-11 20:49:36 +02:00
|
|
|
// CHECK: @f4(i32 inreg %arg0, float %arg1, i32 inreg %arg2, i32 %arg3)
|
2016-12-22 11:47:26 +03:00
|
|
|
#[no_mangle]
|
|
|
|
extern "fastcall" fn f4(_: i32, _: f32, _: i32, _: i32) {}
|
|
|
|
|
Avoid unnecessary copies of arguments that are simple bindings
Initially MIR differentiated between arguments and locals, which
introduced a need to add extra copies assigning the argument to a
local, even for simple bindings. This differentiation no longer exists,
but we're still creating those copies, bloating the MIR and LLVM IR we
emit.
Additionally, the current approach means that we create debug info for
both the incoming argument (marking it as an argument), and then
immediately shadow it a local that goes by the same name. This can be
confusing when using e.g. "info args" in gdb, or when e.g. a debugger
with a GUI displays the function arguments separately from the local
variables, especially when the binding is mutable, because the argument
doesn't change, while the local variable does.
2017-10-11 20:49:36 +02:00
|
|
|
// CHECK: @f5(i64 %arg0, i32 %arg1)
|
2016-12-22 11:47:26 +03:00
|
|
|
#[no_mangle]
|
|
|
|
extern "fastcall" fn f5(_: i64, _: i32) {}
|
|
|
|
|
Avoid unnecessary copies of arguments that are simple bindings
Initially MIR differentiated between arguments and locals, which
introduced a need to add extra copies assigning the argument to a
local, even for simple bindings. This differentiation no longer exists,
but we're still creating those copies, bloating the MIR and LLVM IR we
emit.
Additionally, the current approach means that we create debug info for
both the incoming argument (marking it as an argument), and then
immediately shadow it a local that goes by the same name. This can be
confusing when using e.g. "info args" in gdb, or when e.g. a debugger
with a GUI displays the function arguments separately from the local
variables, especially when the binding is mutable, because the argument
doesn't change, while the local variable does.
2017-10-11 20:49:36 +02:00
|
|
|
// CHECK: @f6(i1 inreg zeroext %arg0, i32 inreg %arg1, i32 %arg2)
|
2016-12-22 11:47:26 +03:00
|
|
|
#[no_mangle]
|
|
|
|
extern "fastcall" fn f6(_: bool, _: i32, _: i32) {}
|
|
|
|
}
|