summary refs log tree commit diff
path: root/src/librustc/middle/trans/cabi_x86.rs
blob: de53d8dd3dadae71f7733b150e7090f14cbce6a9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
// Copyright 2013 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.


use driver::session::{OsWin32, OsMacos};
use lib::llvm::*;
use super::cabi::*;
use super::common::*;
use super::machine::*;
use middle::trans::type_::Type;

pub fn compute_abi_info(ccx: &mut CrateContext,
                        atys: &[Type],
                        rty: Type,
                        ret_def: bool) -> FnType {
    let mut arg_tys = ~[];
    let mut attrs = ~[];

    let ret_ty;
    let sret;
    if !ret_def {
        ret_ty = LLVMType {
            cast: false,
            ty: Type::void(),
        };
        sret = false;
    } else if rty.kind() == Struct {
        // Returning a structure. Most often, this will use
        // a hidden first argument. On some platforms, though,
        // small structs are returned as integers.
        //
        // Some links:
        // http://www.angelcode.com/dev/callconv/callconv.html
        // Clang's ABI handling is in lib/CodeGen/TargetInfo.cpp

        enum Strategy { RetValue(Type), RetPointer }
        let strategy = match ccx.sess.targ_cfg.os {
            OsWin32 | OsMacos => {
                match llsize_of_alloc(ccx, rty) {
                    1 => RetValue(Type::i8()),
                    2 => RetValue(Type::i16()),
                    4 => RetValue(Type::i32()),
                    8 => RetValue(Type::i64()),
                    _ => RetPointer
                }
            }
            _ => {
                RetPointer
            }
        };

        match strategy {
            RetValue(t) => {
                ret_ty = LLVMType {
                    cast: true,
                    ty: t
                };
                sret = false;
            }
            RetPointer => {
                arg_tys.push(LLVMType {
                    cast: false,
                    ty: rty.ptr_to()
                });
                attrs.push(Some(StructRetAttribute));

                ret_ty = LLVMType {
                    cast: false,
                    ty: Type::void(),
                };
                sret = true;
            }
        }
    } else {
        ret_ty = LLVMType {
            cast: false,
            ty: rty
        };
        sret = false;
    }

    for &a in atys.iter() {
        arg_tys.push(LLVMType { cast: false, ty: a });
        attrs.push(None);
    }

    return FnType {
        arg_tys: arg_tys,
        ret_ty: ret_ty,
        attrs: attrs,
        sret: sret
    };
}