foreign.rs 32.7 KB
Newer Older
1
// Copyright 2012-2013 The Rust Project Developers. See the COPYRIGHT
2 3 4 5 6 7 8 9 10
// 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.

11

12 13
use back::{link};
use lib::llvm::llvm;
14
use lib::llvm::{ValueRef, CallConv, StructRetAttribute};
15
use lib;
16
use middle::trans::base::push_ctxt;
17
use middle::trans::base;
18
use middle::trans::build::*;
19
use middle::trans::builder::noname;
20
use middle::trans::cabi;
21
use middle::trans::common::*;
22 23
use middle::trans::machine;
use middle::trans::type_::Type;
24
use middle::trans::type_of::*;
25
use middle::trans::type_of;
E
Erick Tryzelaar 已提交
26
use middle::ty::FnSig;
27 28 29
use middle::ty;
use std::cmp;
use std::libc::c_uint;
30
use std::vec;
31 32
use syntax::abi::{Cdecl, Aapcs, C, AbiSet, Win64};
use syntax::abi::{RustIntrinsic, Rust, Stdcall, Fastcall, System};
33
use syntax::codemap::Span;
34
use syntax::parse::token::special_idents;
35
use syntax::{ast};
36
use syntax::{attr, ast_map};
37
use util::ppaux::{Repr, UserString};
38

39 40
///////////////////////////////////////////////////////////////////////////
// Type definitions
41

42 43
struct ForeignTypes {
    /// Rust signature of the function
44 45
    fn_sig: ty::FnSig,

46 47 48 49
    /// Adapter object for handling native ABI rules (trust me, you
    /// don't want to know)
    fn_ty: cabi::FnType,

50 51 52 53
    /// LLVM types that will appear on the foreign function
    llsig: LlvmSignature,

    /// True if there is a return value (not bottom, not unit)
54
    ret_def: bool,
55
}
56

57
struct LlvmSignature {
58
    // LLVM versions of the types of this function's arguments.
J
James Miller 已提交
59
    llarg_tys: ~[Type],
60

61 62 63 64 65
    // LLVM version of the type that this function returns.  Note that
    // this *may not be* the declared return type of the foreign
    // function, because the foreign function may opt to return via an
    // out pointer.
    llret_ty: Type,
66

67 68
    // True if *Rust* would use an outpointer for this function.
    sret: bool,
69 70
}

71

72 73
///////////////////////////////////////////////////////////////////////////
// Calls to external functions
74

75
pub fn llvm_calling_convention(ccx: &CrateContext,
76
                               abis: AbiSet) -> Option<CallConv> {
A
Alex Crichton 已提交
77
    let os = ccx.sess.targ_cfg.os;
78
    let arch = ccx.sess.targ_cfg.arch;
A
Alex Crichton 已提交
79
    abis.for_target(os, arch).map(|abi| {
80
        match abi {
81 82
            RustIntrinsic => {
                // Intrinsics are emitted by monomorphic fn
A
Alex Crichton 已提交
83
                ccx.sess.bug(format!("Asked to register intrinsic fn"));
84
            }
85

86 87 88
            Rust => {
                // FIXME(#3678) Implement linking to foreign fns with Rust ABI
                ccx.sess.unimpl(
A
Alex Crichton 已提交
89
                    format!("Foreign functions with Rust ABI"));
90
            }
91

A
Alex Crichton 已提交
92 93 94
            // It's the ABI's job to select this, not us.
            System => ccx.sess.bug("System abi should be selected elsewhere"),

95 96 97
            Stdcall => lib::llvm::X86StdcallCallConv,
            Fastcall => lib::llvm::X86FastcallCallConv,
            C => lib::llvm::CCallConv,
E
Eric Holk 已提交
98
            Win64 => lib::llvm::X86_64_Win64,
99

A
Alex Crichton 已提交
100
            // These API constants ought to be more specific...
101 102 103 104 105
            Cdecl => lib::llvm::CCallConv,
            Aapcs => lib::llvm::CCallConv,
        }
    })
}
106

J
James Miller 已提交
107

108
pub fn register_foreign_item_fn(ccx: @CrateContext,
109
                                abis: AbiSet,
110 111
                                path: &ast_map::Path,
                                foreign_item: @ast::ForeignItem) -> ValueRef {
112 113 114 115
    /*!
     * Registers a foreign function found in a library.
     * Just adds a LLVM global.
     */
116

117
    debug!("register_foreign_item_fn(abis={}, \
A
Alex Crichton 已提交
118 119
            path={}, \
            foreign_item.id={:?})",
120 121 122
           abis.repr(ccx.tcx),
           path.repr(ccx.tcx),
           foreign_item.id);
123

124 125
    let cc = match llvm_calling_convention(ccx, abis) {
        Some(cc) => cc,
126
        None => {
127
            ccx.sess.span_fatal(foreign_item.span,
A
Alex Crichton 已提交
128
                format!("ABI `{}` has no suitable ABI \
129
                      for target architecture \
A
Alex Crichton 已提交
130
                      in module {}",
131
                     abis.user_string(ccx.tcx),
132 133 134
                     ast_map::path_to_str(*path,
                                          ccx.sess.intr())));
        }
135 136
    };

137 138 139
    // Register the function as a C extern fn
    let lname = link_name(ccx, foreign_item);
    let tys = foreign_types_for_id(ccx, foreign_item.id);
140

141 142 143 144 145 146
    // Make sure the calling convention is right for variadic functions
    // (should've been caught if not in typeck)
    if tys.fn_sig.variadic {
        assert!(cc == lib::llvm::CCallConv);
    }

147 148
    // Create the LLVM value for the C extern fn
    let llfn_ty = lltype_for_fn_from_foreign_types(&tys);
149 150 151 152

    let llfn;
    {
        let mut externs = ccx.externs.borrow_mut();
153 154
        llfn = base::get_extern_fn(externs.get(), ccx.llmod, lname,
                                   cc, llfn_ty, tys.fn_sig.output);
155
    };
156
    add_argument_attributes(&tys, llfn);
157

158 159
    return llfn;
}
160

161 162
pub fn trans_native_call<'a>(
                         bcx: &'a Block<'a>,
163 164 165
                         callee_ty: ty::t,
                         llfn: ValueRef,
                         llretptr: ValueRef,
166
                         llargs_rust: &[ValueRef],
167 168
                         passed_arg_tys: ~[ty::t])
                         -> &'a Block<'a> {
169 170 171 172 173 174 175 176 177 178 179
    /*!
     * Prepares a call to a native function. This requires adapting
     * from the Rust argument passing rules to the native rules.
     *
     * # Parameters
     *
     * - `callee_ty`: Rust type for the function we are calling
     * - `llfn`: the function pointer we are calling
     * - `llretptr`: where to store the return value of the function
     * - `llargs_rust`: a list of the argument values, prepared
     *   as they would be if calling a Rust function
180 181 182 183
     * - `passed_arg_tys`: Rust type for the arguments. Normally we
     *   can derive these from callee_ty but in the case of variadic
     *   functions passed_arg_tys will include the Rust type of all
     *   the arguments including the ones not specified in the fn's signature.
184
     */
185

186 187
    let ccx = bcx.ccx();
    let tcx = bcx.tcx();
188

189
    debug!("trans_native_call(callee_ty={}, \
A
Alex Crichton 已提交
190 191
            llfn={}, \
            llretptr={})",
192 193 194
           callee_ty.repr(tcx),
           ccx.tn.val_to_str(llfn),
           ccx.tn.val_to_str(llretptr));
195

196 197 198 199
    let (fn_abis, fn_sig) = match ty::get(callee_ty).sty {
        ty::ty_bare_fn(ref fn_ty) => (fn_ty.abis, fn_ty.sig.clone()),
        _ => ccx.sess.bug("trans_native_call called on non-function type")
    };
200
    let llsig = foreign_signature(ccx, &fn_sig, passed_arg_tys);
201
    let ret_def = !type_is_voidish(bcx.ccx(), fn_sig.output);
202 203 204 205 206
    let fn_type = cabi::compute_abi_info(ccx,
                                         llsig.llarg_tys,
                                         llsig.llret_ty,
                                         ret_def);

J
Jyun-Yan You 已提交
207
    let arg_tys: &[cabi::ArgType] = fn_type.arg_tys;
208 209 210 211 212 213 214

    let mut llargs_foreign = ~[];

    // If the foreign ABI expects return value by pointer, supply the
    // pointer that Rust gave us. Sometimes we have to bitcast
    // because foreign fns return slightly different (but equivalent)
    // views on the same type (e.g., i64 in place of {i32,i32}).
J
Jyun-Yan You 已提交
215 216 217
    if fn_type.ret_ty.is_indirect() {
        match fn_type.ret_ty.cast {
            Some(ty) => {
218
                let llcastedretptr =
J
Jyun-Yan You 已提交
219
                    BitCast(bcx, llretptr, ty.ptr_to());
220
                llargs_foreign.push(llcastedretptr);
J
Jyun-Yan You 已提交
221 222
            }
            None => {
223 224
                llargs_foreign.push(llretptr);
            }
225
        }
J
Jyun-Yan You 已提交
226
    }
227

228 229
    for (i, &llarg_rust) in llargs_rust.iter().enumerate() {
        let mut llarg_rust = llarg_rust;
230

231
        // Does Rust pass this argument by pointer?
232
        let rust_indirect = type_of::arg_is_indirect(ccx, passed_arg_tys[i]);
233

234
        debug!("argument {}, llarg_rust={}, rust_indirect={}, arg_ty={}",
235 236 237 238
               i,
               ccx.tn.val_to_str(llarg_rust),
               rust_indirect,
               ccx.tn.type_to_str(arg_tys[i].ty));
239

240 241 242
        // Ensure that we always have the Rust value indirectly,
        // because it makes bitcasting easier.
        if !rust_indirect {
243
            let scratch = base::alloca(bcx, type_of::type_of(ccx, passed_arg_tys[i]), "__arg");
244 245
            Store(bcx, llarg_rust, scratch);
            llarg_rust = scratch;
246 247
        }

248
        debug!("llarg_rust={} (after indirection)",
249
               ccx.tn.val_to_str(llarg_rust));
250

251
        // Check whether we need to do any casting
J
Jyun-Yan You 已提交
252 253 254
        match arg_tys[i].cast {
            Some(ty) => llarg_rust = BitCast(bcx, llarg_rust, ty.ptr_to()),
            None => ()
255
        }
256

257
        debug!("llarg_rust={} (after casting)",
258
               ccx.tn.val_to_str(llarg_rust));
259

260
        // Finally, load the value if needed for the foreign ABI
J
Jyun-Yan You 已提交
261
        let foreign_indirect = arg_tys[i].is_indirect();
262 263 264 265
        let llarg_foreign = if foreign_indirect {
            llarg_rust
        } else {
            Load(bcx, llarg_rust)
266 267
        };

268
        debug!("argument {}, llarg_foreign={}",
269
               i, ccx.tn.val_to_str(llarg_foreign));
270

J
Jyun-Yan You 已提交
271 272 273 274 275
        // fill padding with undef value
        match arg_tys[i].pad {
            Some(ty) => llargs_foreign.push(C_undef(ty)),
            None => ()
        }
276
        llargs_foreign.push(llarg_foreign);
277 278
    }

279 280 281 282 283
    let cc = match llvm_calling_convention(ccx, fn_abis) {
        Some(cc) => cc,
        None => {
            // FIXME(#8357) We really ought to report a span here
            ccx.sess.fatal(
A
Alex Crichton 已提交
284
                format!("ABI string `{}` has no suitable ABI \
N
Niko Matsakis 已提交
285 286
                        for target architecture",
                        fn_abis.user_string(ccx.tcx)));
287 288
        }
    };
289

290 291 292
    // A function pointer is called without the declaration available, so we have to apply
    // any attributes with ABI implications directly to the call instruction. Right now, the
    // only attribute we need to worry about is `sret`.
N
Niko Matsakis 已提交
293 294
    let sret_attr = if fn_type.ret_ty.is_indirect() {
        Some((1, StructRetAttribute))
295
    } else {
N
Niko Matsakis 已提交
296
        None
297
    };
N
Niko Matsakis 已提交
298
    let attrs = sret_attr.as_slice();
299
    let llforeign_retval = CallWithConv(bcx, llfn, llargs_foreign, cc, attrs);
300

301 302 303 304 305
    // If the function we just called does not use an outpointer,
    // store the result into the rust outpointer. Cast the outpointer
    // type to match because some ABIs will use a different type than
    // the Rust type. e.g., a {u32,u32} struct could be returned as
    // u64.
J
Jyun-Yan You 已提交
306
    if ret_def && !fn_type.ret_ty.is_indirect() {
307
        let llrust_ret_ty = llsig.llret_ty;
J
Jyun-Yan You 已提交
308 309 310 311
        let llforeign_ret_ty = match fn_type.ret_ty.cast {
            Some(ty) => ty,
            None => fn_type.ret_ty.ty
        };
312

313 314 315 316
        debug!("llretptr={}", ccx.tn.val_to_str(llretptr));
        debug!("llforeign_retval={}", ccx.tn.val_to_str(llforeign_retval));
        debug!("llrust_ret_ty={}", ccx.tn.type_to_str(llrust_ret_ty));
        debug!("llforeign_ret_ty={}", ccx.tn.type_to_str(llforeign_ret_ty));
317

318 319
        if llrust_ret_ty == llforeign_ret_ty {
            Store(bcx, llforeign_retval, llretptr);
320
        } else {
321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340
            // The actual return type is a struct, but the ABI
            // adaptation code has cast it into some scalar type.  The
            // code that follows is the only reliable way I have
            // found to do a transform like i64 -> {i32,i32}.
            // Basically we dump the data onto the stack then memcpy it.
            //
            // Other approaches I tried:
            // - Casting rust ret pointer to the foreign type and using Store
            //   is (a) unsafe if size of foreign type > size of rust type and
            //   (b) runs afoul of strict aliasing rules, yielding invalid
            //   assembly under -O (specifically, the store gets removed).
            // - Truncating foreign type to correct integral type and then
            //   bitcasting to the struct type yields invalid cast errors.
            let llscratch = base::alloca(bcx, llforeign_ret_ty, "__cast");
            Store(bcx, llforeign_retval, llscratch);
            let llscratch_i8 = BitCast(bcx, llscratch, Type::i8().ptr_to());
            let llretptr_i8 = BitCast(bcx, llretptr, Type::i8().ptr_to());
            let llrust_size = machine::llsize_of_store(ccx, llrust_ret_ty);
            let llforeign_align = machine::llalign_of_min(ccx, llforeign_ret_ty);
            let llrust_align = machine::llalign_of_min(ccx, llrust_ret_ty);
341
            let llalign = cmp::min(llforeign_align, llrust_align);
342
            debug!("llrust_size={:?}", llrust_size);
343 344
            base::call_memcpy(bcx, llretptr_i8, llscratch_i8,
                              C_uint(ccx, llrust_size), llalign as u32);
345
        }
346 347
    }

348 349
    return bcx;
}
350

351
pub fn trans_foreign_mod(ccx: @CrateContext,
352
                         foreign_mod: &ast::ForeignMod) {
353 354
    let _icx = push_ctxt("foreign::trans_foreign_mod");
    for &foreign_item in foreign_mod.items.iter() {
355
        match foreign_item.node {
356
            ast::ForeignItemFn(..) => {
P
Patrick Walton 已提交
357 358 359
                let items = ccx.tcx.items.borrow();
                let (abis, mut path) =
                    match items.get().get_copy(&foreign_item.id) {
360
                        ast_map::NodeForeignItem(_, abis, _, path) => {
P
Patrick Walton 已提交
361 362 363 364 365 366 367
                            (abis, (*path).clone())
                        }
                        _ => {
                            fail!("Unable to find foreign item in tcx.items \
                                   table.")
                        }
                    };
368
                if !(abis.is_rust() || abis.is_intrinsic()) {
369
                    path.push(ast_map::PathName(foreign_item.ident));
370 371 372 373 374 375
                    register_foreign_item_fn(ccx, abis, &path, foreign_item);
                }
            }
            _ => ()
        }

376
        let lname = link_name(ccx, foreign_item);
377 378
        let mut item_symbols = ccx.item_symbols.borrow_mut();
        item_symbols.get().insert(foreign_item.id, lname.to_owned());
379 380 381
    }
}

382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406
///////////////////////////////////////////////////////////////////////////
// Rust functions with foreign ABIs
//
// These are normal Rust functions defined with foreign ABIs.  For
// now, and perhaps forever, we translate these using a "layer of
// indirection". That is, given a Rust declaration like:
//
//     extern "C" fn foo(i: u32) -> u32 { ... }
//
// we will generate a function like:
//
//     S foo(T i) {
//         S r;
//         foo0(&r, NULL, i);
//         return r;
//     }
//
//     #[inline_always]
//     void foo0(uint32_t *r, void *env, uint32_t i) { ... }
//
// Here the (internal) `foo0` function follows the Rust ABI as normal,
// where the `foo` function follows the C ABI. We rely on LLVM to
// inline the one into the other. Of course we could just generate the
// correct code in the first place, but this is much simpler.

407
pub fn register_rust_fn_with_foreign_abi(ccx: @CrateContext,
408
                                         sp: Span,
409 410 411 412 413 414 415
                                         sym: ~str,
                                         node_id: ast::NodeId)
                                         -> ValueRef {
    let _icx = push_ctxt("foreign::register_foreign_fn");

    let tys = foreign_types_for_id(ccx, node_id);
    let llfn_ty = lltype_for_fn_from_foreign_types(&tys);
416
    let t = ty::node_id_to_type(ccx.tcx, node_id);
417
    let (cconv, output) = match ty::get(t).sty {
418 419
        ty::ty_bare_fn(ref fn_ty) => {
            let c = llvm_calling_convention(ccx, fn_ty.abis);
420
            (c.unwrap_or(lib::llvm::CCallConv), fn_ty.sig.output)
421
        }
422
        _ => fail!("expected bare fn in register_rust_fn_with_foreign_abi")
423
    };
424
    let llfn = base::register_fn_llvmty(ccx, sp, sym, node_id, cconv, llfn_ty, output);
425
    add_argument_attributes(&tys, llfn);
426
    debug!("register_rust_fn_with_foreign_abi(node_id={:?}, llfn_ty={}, llfn={})",
427 428 429 430
           node_id, ccx.tn.type_to_str(llfn_ty), ccx.tn.val_to_str(llfn));
    llfn
}

431
pub fn trans_rust_fn_with_foreign_abi(ccx: @CrateContext,
432 433
                                      path: &ast_map::Path,
                                      decl: &ast::FnDecl,
434
                                      body: &ast::Block,
435
                                      attrs: &[ast::Attribute],
436 437
                                      llwrapfn: ValueRef,
                                      id: ast::NodeId) {
438
    let _icx = push_ctxt("foreign::build_foreign_fn");
439 440 441 442
    let tys = foreign_types_for_id(ccx, id);

    unsafe { // unsafe because we call LLVM operations
        // Build up the Rust function (`foo0` above).
443
        let llrustfn = build_rust_fn(ccx, path, decl, body, attrs, id);
444 445 446 447

        // Build up the foreign wrapper (`foo` above).
        return build_wrap_fn(ccx, llrustfn, llwrapfn, &tys);
    }
448

449
    fn build_rust_fn(ccx: @CrateContext,
450 451
                     path: &ast_map::Path,
                     decl: &ast::FnDecl,
452
                     body: &ast::Block,
453
                     attrs: &[ast::Attribute],
454
                     id: ast::NodeId)
455
                     -> ValueRef {
456
        let _icx = push_ctxt("foreign::foreign::build_rust_fn");
457 458
        let tcx = ccx.tcx;
        let t = ty::node_id_to_type(tcx, id);
459
        let ps = link::mangle_internal_name_by_path(
460
            ccx, vec::append_one((*path).clone(), ast_map::PathName(
461 462
                special_idents::clownshoe_abi
            )));
463

464 465 466
        // Compute the type that the function would have if it were just a
        // normal Rust function. This will be the type of the wrappee fn.
        let f = match ty::get(t).sty {
467 468
            ty::ty_bare_fn(ref f) => {
                assert!(!f.abis.is_rust() && !f.abis.is_intrinsic());
469
                f
470 471
            }
            _ => {
A
Alex Crichton 已提交
472
                ccx.sess.bug(format!("build_rust_fn: extern fn {} has ty {}, \
473 474 475 476 477 478
                                  expected a bare fn ty",
                                  path.repr(tcx),
                                  t.repr(tcx)));
            }
        };

479
        debug!("build_rust_fn: path={} id={:?} t={}",
480 481
               path.repr(tcx),
               id,
482
               t.repr(tcx));
483

484
        let llfndecl = base::decl_internal_rust_fn(ccx, None, f.sig.inputs, f.sig.output, ps);
485
        base::set_llvm_fn_attrs(attrs, llfndecl);
486 487 488 489 490
        base::trans_fn(ccx,
                       (*path).clone(),
                       decl,
                       body,
                       llfndecl,
491
                       None,
492 493 494
                       None,
                       id,
                       []);
B
Brian Anderson 已提交
495
        return llfndecl;
496 497
    }

498
    unsafe fn build_wrap_fn(ccx: @CrateContext,
499 500 501 502 503 504 505
                            llrustfn: ValueRef,
                            llwrapfn: ValueRef,
                            tys: &ForeignTypes) {
        let _icx = push_ctxt(
            "foreign::trans_rust_fn_with_foreign_abi::build_wrap_fn");
        let tcx = ccx.tcx;

506
        debug!("build_wrap_fn(llrustfn={}, llwrapfn={})",
507 508 509 510 511 512 513 514 515 516 517 518 519 520 521
               ccx.tn.val_to_str(llrustfn),
               ccx.tn.val_to_str(llwrapfn));

        // Avoid all the Rust generation stuff and just generate raw
        // LLVM here.
        //
        // We want to generate code like this:
        //
        //     S foo(T i) {
        //         S r;
        //         foo0(&r, NULL, i);
        //         return r;
        //     }

        let the_block =
522
            "the block".with_c_str(
523 524 525 526 527 528 529 530
                |s| llvm::LLVMAppendBasicBlockInContext(ccx.llcx, llwrapfn, s));

        let builder = ccx.builder.B;
        llvm::LLVMPositionBuilderAtEnd(builder, the_block);

        // Array for the arguments we will pass to the rust function.
        let mut llrust_args = ~[];
        let mut next_foreign_arg_counter: c_uint = 0;
531 532 533 534 535 536 537
        let next_foreign_arg: |pad: bool| -> c_uint = |pad: bool| {
            next_foreign_arg_counter += if pad {
                2
            } else {
                1
            };
            next_foreign_arg_counter - 1
538
        };
539

540 541
        // If there is an out pointer on the foreign function
        let foreign_outptr = {
J
Jyun-Yan You 已提交
542 543
            if tys.fn_ty.ret_ty.is_indirect() {
                Some(llvm::LLVMGetParam(llwrapfn, next_foreign_arg(false)))
544 545 546 547
            } else {
                None
            }
        };
548

549 550
        // Push Rust return pointer, using null if it will be unused.
        let rust_uses_outptr =
551
            type_of::return_uses_outptr(ccx, tys.fn_sig.output);
552 553 554 555 556 557 558
        let return_alloca: Option<ValueRef>;
        let llrust_ret_ty = tys.llsig.llret_ty;
        let llrust_retptr_ty = llrust_ret_ty.ptr_to();
        if rust_uses_outptr {
            // Rust expects to use an outpointer. If the foreign fn
            // also uses an outpointer, we can reuse it, but the types
            // may vary, so cast first to the Rust type. If the
559
            // foreign fn does NOT use an outpointer, we will have to
560 561 562
            // alloca some scratch space on the stack.
            match foreign_outptr {
                Some(llforeign_outptr) => {
563
                    debug!("out pointer, foreign={}",
564 565 566 567 568 569
                           ccx.tn.val_to_str(llforeign_outptr));
                    let llrust_retptr =
                        llvm::LLVMBuildBitCast(builder,
                                               llforeign_outptr,
                                               llrust_ret_ty.ptr_to().to_ref(),
                                               noname());
570
                    debug!("out pointer, foreign={} (casted)",
571 572 573
                           ccx.tn.val_to_str(llrust_retptr));
                    llrust_args.push(llrust_retptr);
                    return_alloca = None;
574 575
                }

576 577
                None => {
                    let slot = {
578
                        "return_alloca".with_c_str(
579 580 581 582
                            |s| llvm::LLVMBuildAlloca(builder,
                                                      llrust_ret_ty.to_ref(),
                                                      s))
                    };
583
                    debug!("out pointer, \
A
Alex Crichton 已提交
584 585 586
                            allocad={}, \
                            llrust_ret_ty={}, \
                            return_ty={}",
587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602
                           ccx.tn.val_to_str(slot),
                           ccx.tn.type_to_str(llrust_ret_ty),
                           tys.fn_sig.output.repr(tcx));
                    llrust_args.push(slot);
                    return_alloca = Some(slot);
                }
            }
        } else {
            // Rust does not expect an outpointer. If the foreign fn
            // does use an outpointer, then we will do a store of the
            // value that the Rust fn returns.
            return_alloca = None;
        };

        // Push an (null) env pointer
        let env_pointer = base::null_env_ptr(ccx);
603
        debug!("env pointer={}", ccx.tn.val_to_str(env_pointer));
604 605 606 607 608 609 610 611 612
        llrust_args.push(env_pointer);

        // Build up the arguments to the call to the rust function.
        // Careful to adapt for cases where the native convention uses
        // a pointer and Rust does not or vice versa.
        for i in range(0, tys.fn_sig.inputs.len()) {
            let rust_ty = tys.fn_sig.inputs[i];
            let llrust_ty = tys.llsig.llarg_tys[i];
            let rust_indirect = type_of::arg_is_indirect(ccx, rust_ty);
J
Jyun-Yan You 已提交
613 614 615 616 617
            let llforeign_arg_ty = tys.fn_ty.arg_tys[i];
            let foreign_indirect = llforeign_arg_ty.is_indirect();

            // skip padding
            let foreign_index = next_foreign_arg(llforeign_arg_ty.pad.is_some());
618 619
            let mut llforeign_arg = llvm::LLVMGetParam(llwrapfn, foreign_index);

620
            debug!("llforeign_arg \\#{}: {}",
621
                   i, ccx.tn.val_to_str(llforeign_arg));
622
            debug!("rust_indirect = {}, foreign_indirect = {}",
623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639
                   rust_indirect, foreign_indirect);

            // Ensure that the foreign argument is indirect (by
            // pointer).  It makes adapting types easier, since we can
            // always just bitcast pointers.
            if !foreign_indirect {
                let lltemp =
                    llvm::LLVMBuildAlloca(
                        builder, val_ty(llforeign_arg).to_ref(), noname());
                llvm::LLVMBuildStore(
                    builder, llforeign_arg, lltemp);
                llforeign_arg = lltemp;
            }

            // If the types in the ABI and the Rust types don't match,
            // bitcast the llforeign_arg pointer so it matches the types
            // Rust expects.
J
Jyun-Yan You 已提交
640
            if llforeign_arg_ty.cast.is_some() {
641 642 643 644
                assert!(!foreign_indirect);
                llforeign_arg = llvm::LLVMBuildBitCast(
                    builder, llforeign_arg,
                    llrust_ty.ptr_to().to_ref(), noname());
645 646
            }

647 648
            let llrust_arg = if rust_indirect {
                llforeign_arg
649
            } else {
650 651 652
                llvm::LLVMBuildLoad(builder, llforeign_arg, noname())
            };

653
            debug!("llrust_arg \\#{}: {}",
654 655 656 657 658
                   i, ccx.tn.val_to_str(llrust_arg));
            llrust_args.push(llrust_arg);
        }

        // Perform the call itself
659 660 661
        debug!("calling llrustfn = {}", ccx.tn.val_to_str(llrustfn));
        let llrust_ret_val = llvm::LLVMBuildCall(builder, llrustfn, llrust_args.as_ptr(),
                                                 llrust_args.len() as c_uint, noname());
662 663

        // Get the return value where the foreign fn expects it.
J
Jyun-Yan You 已提交
664 665 666 667
        let llforeign_ret_ty = match tys.fn_ty.ret_ty.cast {
            Some(ty) => ty,
            None => tys.fn_ty.ret_ty.ty
        };
668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731
        match foreign_outptr {
            None if !tys.ret_def => {
                // Function returns `()` or `bot`, which in Rust is the LLVM
                // type "{}" but in foreign ABIs is "Void".
                llvm::LLVMBuildRetVoid(builder);
            }

            None if rust_uses_outptr => {
                // Rust uses an outpointer, but the foreign ABI does not. Load.
                let llrust_outptr = return_alloca.unwrap();
                let llforeign_outptr_casted =
                    llvm::LLVMBuildBitCast(builder,
                                           llrust_outptr,
                                           llforeign_ret_ty.ptr_to().to_ref(),
                                           noname());
                let llforeign_retval =
                    llvm::LLVMBuildLoad(builder, llforeign_outptr_casted, noname());
                llvm::LLVMBuildRet(builder, llforeign_retval);
            }

            None if llforeign_ret_ty != llrust_ret_ty => {
                // Neither ABI uses an outpointer, but the types don't
                // quite match. Must cast. Probably we should try and
                // examine the types and use a concrete llvm cast, but
                // right now we just use a temp memory location and
                // bitcast the pointer, which is the same thing the
                // old wrappers used to do.
                let lltemp =
                    llvm::LLVMBuildAlloca(
                        builder, llforeign_ret_ty.to_ref(), noname());
                let lltemp_casted =
                    llvm::LLVMBuildBitCast(builder,
                                           lltemp,
                                           llrust_ret_ty.ptr_to().to_ref(),
                                           noname());
                llvm::LLVMBuildStore(
                    builder, llrust_ret_val, lltemp_casted);
                let llforeign_retval =
                    llvm::LLVMBuildLoad(builder, lltemp, noname());
                llvm::LLVMBuildRet(builder, llforeign_retval);
            }

            None => {
                // Neither ABI uses an outpointer, and the types
                // match. Easy peasy.
                llvm::LLVMBuildRet(builder, llrust_ret_val);
            }

            Some(llforeign_outptr) if !rust_uses_outptr => {
                // Foreign ABI requires an out pointer, but Rust doesn't.
                // Store Rust return value.
                let llforeign_outptr_casted =
                    llvm::LLVMBuildBitCast(builder,
                                           llforeign_outptr,
                                           llrust_retptr_ty.to_ref(),
                                           noname());
                llvm::LLVMBuildStore(
                    builder, llrust_ret_val, llforeign_outptr_casted);
                llvm::LLVMBuildRetVoid(builder);
            }

            Some(_) => {
                // Both ABIs use outpointers. Easy peasy.
                llvm::LLVMBuildRetVoid(builder);
732
            }
733
        }
734 735
    }
}
736

737 738 739 740 741 742
///////////////////////////////////////////////////////////////////////////
// General ABI Support
//
// This code is kind of a confused mess and needs to be reworked given
// the massive simplifications that have occurred.

743
pub fn link_name(ccx: &CrateContext, i: @ast::ForeignItem) -> @str {
744 745 746
     match attr::first_attr_value_str_by_name(i.attrs, "link_name") {
        None => ccx.sess.str_of(i.ident),
        Some(ln) => ln,
747
    }
748
}
749

750
fn foreign_signature(ccx: &CrateContext, fn_sig: &ty::FnSig, arg_tys: &[ty::t])
751 752 753 754 755 756 757 758
                     -> LlvmSignature {
    /*!
     * The ForeignSignature is the LLVM types of the arguments/return type
     * of a function.  Note that these LLVM types are not quite the same
     * as the LLVM types would be for a native Rust function because foreign
     * functions just plain ignore modes.  They also don't pass aggregate
     * values by pointer like we do.
     */
759

760
    let llarg_tys = arg_tys.map(|&arg| type_of(ccx, arg));
761 762 763 764
    let llret_ty = type_of::type_of(ccx, fn_sig.output);
    LlvmSignature {
        llarg_tys: llarg_tys,
        llret_ty: llret_ty,
765
        sret: type_of::return_uses_outptr(ccx, fn_sig.output),
766
    }
767
}
768

769
fn foreign_types_for_id(ccx: &CrateContext,
770 771
                        id: ast::NodeId) -> ForeignTypes {
    foreign_types_for_fn_ty(ccx, ty::node_id_to_type(ccx.tcx, id))
772 773
}

774
fn foreign_types_for_fn_ty(ccx: &CrateContext,
775 776 777 778 779
                           ty: ty::t) -> ForeignTypes {
    let fn_sig = match ty::get(ty).sty {
        ty::ty_bare_fn(ref fn_ty) => fn_ty.sig.clone(),
        _ => ccx.sess.bug("foreign_types_for_fn_ty called on non-function type")
    };
780
    let llsig = foreign_signature(ccx, &fn_sig, fn_sig.inputs);
781
    let ret_def = !type_is_voidish(ccx, fn_sig.output);
782 783 784 785
    let fn_ty = cabi::compute_abi_info(ccx,
                                       llsig.llarg_tys,
                                       llsig.llret_ty,
                                       ret_def);
786
    debug!("foreign_types_for_fn_ty(\
A
Alex Crichton 已提交
787 788 789 790
           ty={}, \
           llsig={} -> {}, \
           fn_ty={} -> {}, \
           ret_def={}",
791 792 793 794 795 796 797 798 799 800 801 802 803 804
           ty.repr(ccx.tcx),
           ccx.tn.types_to_str(llsig.llarg_tys),
           ccx.tn.type_to_str(llsig.llret_ty),
           ccx.tn.types_to_str(fn_ty.arg_tys.map(|t| t.ty)),
           ccx.tn.type_to_str(fn_ty.ret_ty.ty),
           ret_def);

    ForeignTypes {
        fn_sig: fn_sig,
        llsig: llsig,
        ret_def: ret_def,
        fn_ty: fn_ty
    }
}
805

806
fn lltype_for_fn_from_foreign_types(tys: &ForeignTypes) -> Type {
J
Jyun-Yan You 已提交
807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838
    let mut llargument_tys = ~[];

    let ret_ty = tys.fn_ty.ret_ty;
    let llreturn_ty = if ret_ty.is_indirect() {
        llargument_tys.push(ret_ty.ty.ptr_to());
        Type::void()
    } else {
        match ret_ty.cast {
            Some(ty) => ty,
            None => ret_ty.ty
        }
    };

    for &arg_ty in tys.fn_ty.arg_tys.iter() {
        // add padding
        match arg_ty.pad {
            Some(ty) => llargument_tys.push(ty),
            None => ()
        }

        let llarg_ty = if arg_ty.is_indirect() {
            arg_ty.ty.ptr_to()
        } else {
            match arg_ty.cast {
                Some(ty) => ty,
                None => arg_ty.ty
            }
        };

        llargument_tys.push(llarg_ty);
    }

839 840 841 842 843
    if tys.fn_sig.variadic {
        Type::variadic_func(llargument_tys, &llreturn_ty)
    } else {
        Type::func(llargument_tys, &llreturn_ty)
    }
844 845
}

846
pub fn lltype_for_foreign_fn(ccx: &CrateContext, ty: ty::t) -> Type {
847 848 849
    let fn_types = foreign_types_for_fn_ty(ccx, ty);
    lltype_for_fn_from_foreign_types(&fn_types)
}
850

851 852
fn add_argument_attributes(tys: &ForeignTypes,
                           llfn: ValueRef) {
J
Jyun-Yan You 已提交
853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873
    let mut i = 0;

    if tys.fn_ty.ret_ty.is_indirect() {
        match tys.fn_ty.ret_ty.attr {
            Some(attr) => {
                let llarg = get_param(llfn, i);
                unsafe {
                    llvm::LLVMAddAttribute(llarg, attr as c_uint);
                }
            }
            None => {}
        }

        i += 1;
    }

    for &arg_ty in tys.fn_ty.arg_tys.iter() {
        // skip padding
        if arg_ty.pad.is_some() { i += 1; }

        match arg_ty.attr {
874 875 876 877 878 879 880 881
            Some(attr) => {
                let llarg = get_param(llfn, i);
                unsafe {
                    llvm::LLVMAddAttribute(llarg, attr as c_uint);
                }
            }
            None => ()
        }
J
Jyun-Yan You 已提交
882 883

        i += 1;
884
    }
885
}