2015-10-01 04:55:52 -05:00
|
|
|
// 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 <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.
|
|
|
|
|
|
|
|
// compile-flags: -C no-prepopulate-passes
|
|
|
|
|
|
|
|
#![crate_type = "lib"]
|
|
|
|
|
|
|
|
// Hack to get the correct size for the length part in slices
|
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 13:49:36 -05:00
|
|
|
// CHECK: @helper([[USIZE:i[0-9]+]] %arg0)
|
2015-10-01 04:55:52 -05:00
|
|
|
#[no_mangle]
|
|
|
|
fn helper(_: usize) {
|
|
|
|
}
|
|
|
|
|
|
|
|
// CHECK-LABEL: @ref_dst
|
|
|
|
#[no_mangle]
|
|
|
|
pub fn ref_dst(s: &[u8]) {
|
|
|
|
// We used to generate an extra alloca and memcpy to ref the dst, so check that we copy
|
|
|
|
// directly to the alloca for "x"
|
2016-09-21 14:17:56 -05:00
|
|
|
// CHECK: [[X0:%[0-9]+]] = getelementptr {{.*}} { i8*, [[USIZE]] }* %x, i32 0, i32 0
|
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 13:49:36 -05:00
|
|
|
// CHECK: store i8* %s.ptr, i8** [[X0]]
|
2016-09-21 14:17:56 -05:00
|
|
|
// CHECK: [[X1:%[0-9]+]] = getelementptr {{.*}} { i8*, [[USIZE]] }* %x, i32 0, i32 1
|
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 13:49:36 -05:00
|
|
|
// CHECK: store [[USIZE]] %s.meta, [[USIZE]]* [[X1]]
|
2016-08-23 22:36:37 -05:00
|
|
|
|
2015-10-01 04:55:52 -05:00
|
|
|
let x = &*s;
|
2016-08-23 22:36:37 -05:00
|
|
|
&x; // keep variable in an alloca
|
2015-10-01 04:55:52 -05:00
|
|
|
}
|