]>
git.proxmox.com Git - rustc.git/blob - src/test/run-pass/mir_trans_calls.rs
1 // Copyright 2015 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
11 #![feature(rustc_attrs, fn_traits)]
14 fn test1(a
: isize, b
: (i32, i32), c
: &[i32]) -> (isize, (i32, i32), &[i32]) {
15 // Test passing a number of arguments including a fat pointer.
16 // Also returning via an out pointer
17 fn callee(a
: isize, b
: (i32, i32), c
: &[i32]) -> (isize, (i32, i32), &[i32]) {
24 fn test2(a
: isize) -> isize {
25 // Test passing a single argument.
26 // Not using out pointer.
27 fn callee(a
: isize) -> isize {
33 #[derive(PartialEq, Eq, Debug)]
36 fn inherent_method(&self, a
: isize) -> isize { a }
40 fn test3(x
: &Foo
, a
: isize) -> isize {
41 // Test calling inherent method
46 fn extension_method(&self, a
: isize) -> isize { a }
51 fn test4(x
: &Foo
, a
: isize) -> isize {
52 // Test calling extension method
57 fn test5(x
: &Bar
, a
: isize) -> isize {
58 // Test calling method on trait object
63 fn test6
<T
: Bar
>(x
: &T
, a
: isize) -> isize {
64 // Test calling extension method on generic callee
72 fn one() -> isize { 1 }
77 // Test calling trait static method
83 fn two() -> isize { 2 }
88 // Test calling impl static method
92 extern fn simple_extern(x
: u32, y
: (u32, u32)) -> u32 {
98 simple_extern(41, (42, 43))
102 fn test_closure
<F
>(f
: &F
, x
: i32, y
: i32) -> i32
103 where F
: Fn(i32, i32) -> i32
109 fn test_fn_object(f
: &Fn(i32, i32) -> i32, x
: i32, y
: i32) -> i32 {
114 fn test_fn_impl(f
: &&Fn(i32, i32) -> i32, x
: i32, y
: i32) -> i32 {
115 // This call goes through the Fn implementation for &Fn provided in
116 // core::ops::impls. It expands to a static Fn::call() that calls the
117 // Fn::call() implementation of the object shim underneath.
122 fn test_fn_direct_call
<F
>(f
: &F
, x
: i32, y
: i32) -> i32
123 where F
: Fn(i32, i32) -> i32
129 fn test_fn_const_call
<F
>(f
: &F
) -> i32
130 where F
: Fn(i32, i32) -> i32
136 fn test_fn_nil_call
<F
>(f
: &F
) -> i32
143 fn test_fn_transmute_zst(x
: ()) -> [(); 1] {
144 fn id
<T
>(x
: T
) -> T {x}
147 std
::mem
::transmute(x
)
152 fn test_fn_ignored_pair() -> ((), ()) {
157 fn test_fn_ignored_pair_0() {
158 test_fn_ignored_pair().0
162 fn id
<T
>(x
: T
) -> T { x }
165 fn ignored_pair_named() -> (Foo
, Foo
) {
170 fn test_fn_ignored_pair_named() -> (Foo
, Foo
) {
171 id(ignored_pair_named())
175 fn test_fn_nested_pair(x
: &((f32, f32), u32)) -> (f32, f32) {
182 assert_eq
!(test1(1, (2, 3), &[4, 5, 6]), (1, (2, 3), &[4, 5, 6][..]));
183 assert_eq
!(test2(98), 98);
184 assert_eq
!(test3(&Foo
, 42), 42);
185 assert_eq
!(test4(&Foo
, 970), 970);
186 assert_eq
!(test5(&Foo
, 8576), 8576);
187 assert_eq
!(test6(&Foo
, 12367), 12367);
188 assert_eq
!(test7(), 1);
189 assert_eq
!(test8(), 2);
190 assert_eq
!(test9(), 41 + 42 * 43);
193 let closure
= |x
: i32, y
: i32| { r*(x + (y*2)) }
;
194 assert_eq
!(test_fn_const_call(&closure
), 294);
195 assert_eq
!(test_closure(&closure
, 100, 1), 306);
196 let function_object
= &closure
as &Fn(i32, i32) -> i32;
197 assert_eq
!(test_fn_object(function_object
, 100, 2), 312);
198 assert_eq
!(test_fn_impl(&function_object
, 100, 3), 318);
199 assert_eq
!(test_fn_direct_call(&closure
, 100, 4), 324);
201 assert_eq
!(test_fn_nil_call(&(|| 42)), 42);
202 assert_eq
!(test_fn_transmute_zst(()), [()]);
204 assert_eq
!(test_fn_ignored_pair_0(), ());
205 assert_eq
!(test_fn_ignored_pair_named(), (Foo
, Foo
));
206 assert_eq
!(test_fn_nested_pair(&((1.0, 2.0), 0)), (1.0, 2.0));