OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

rustc: Stub support for Rust intrinsics

Browse Source
This commit is contained in:
Patrick Walton 2011-05-03 18:03:59 -07:00
parent 2bc17adc29
commit ac8eb20224
4 changed files with 61 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/comp/front/ast.rs
View File

@ -380,6 +380,7 @@ tag native_abi {
native_abi_rust;
native_abi_cdecl;
native_abi_llvm;
native_abi_rust_intrinsic;
}
type native_mod = rec(str native_name,

2
src/comp/front/parser.rs
View File

@ -2015,6 +2015,8 @@ fn parse_item_native_mod(parser p) -> @ast.item {
abi = ast.native_abi_rust;
} else if (_str.eq(t, "llvm")) {
abi = ast.native_abi_llvm;
} else if (_str.eq(t, "rust-intrinsic")) {
abi = ast.native_abi_rust_intrinsic;
} else {
p.err("unsupported abi: " + t);
fail;

59
src/comp/middle/trans.rs
View File

@ -6737,6 +6737,10 @@ fn decl_native_fn_and_pair(@crate_ctxt ccx,
arg_n += 1u;
}
}
case (ast.native_abi_rust_intrinsic) {
pass_task = true;
call_args += vec(lltaskptr);
}
case (ast.native_abi_cdecl) {
pass_task = false;
}
@ -6772,28 +6776,49 @@ fn decl_native_fn_and_pair(@crate_ctxt ccx,
args += vec(vp2i(cx, v));
}
auto r;
auto rptr;
auto args = ty.ty_fn_args(ccx.tcx, fn_type);
if (abi == ast.native_abi_llvm) {
let vec[ValueRef] call_args = vec();
fn trans_simple_native_abi(@block_ctxt bcx,
str name,
vec[ty.arg] args,
&mutable vec[ValueRef] call_args,
ty.t fn_type) -> tup(ValueRef, ValueRef) {
let vec[TypeRef] call_arg_tys = vec();
auto i = 0u;
while (i < _vec.len[ty.arg](args)) {
auto call_arg = llvm.LLVMGetParam(fcx.llfn, i + 3u);
auto call_arg = llvm.LLVMGetParam(bcx.fcx.llfn, i + 3u);
call_args += vec(call_arg);
call_arg_tys += vec(val_ty(call_arg));
i += 1u;
}
auto llnativefnty = T_fn(call_arg_tys,
type_of(ccx,
ty.ty_fn_ret(ccx.tcx, fn_type)));
auto llnativefn = get_extern_fn(ccx.externs, ccx.llmod, name,
lib.llvm.LLVMCCallConv, llnativefnty);
r = bcx.build.Call(llnativefn, call_args);
rptr = fcx.llretptr;
} else {
auto llnativefnty =
T_fn(call_arg_tys,
type_of(bcx.fcx.lcx.ccx,
ty.ty_fn_ret(bcx.fcx.lcx.ccx.tcx, fn_type)));
auto llnativefn = get_extern_fn(bcx.fcx.lcx.ccx.externs,
bcx.fcx.lcx.ccx.llmod,
name,
lib.llvm.LLVMCCallConv,
llnativefnty);
auto r = bcx.build.Call(llnativefn, call_args);
auto rptr = bcx.fcx.llretptr;
ret tup(r, rptr);
}
auto r;
auto rptr;
auto args = ty.ty_fn_args(ccx.tcx, fn_type);
alt (abi) {
case (ast.native_abi_llvm) {
auto result = trans_simple_native_abi(bcx, name, args, call_args,
fn_type);
r = result._0; rptr = result._1;
}
case (ast.native_abi_rust_intrinsic) {
auto result = trans_simple_native_abi(bcx, name, args, call_args,
fn_type);
r = result._0; rptr = result._1;
}
case (_) {
let vec[tup(ValueRef, ty.t)] drop_args = vec();
for (ty.arg arg in args) {
@ -6806,14 +6831,16 @@ fn decl_native_fn_and_pair(@crate_ctxt ccx,
arg_n += 1u;
}
r = trans_native_call(bcx.build, ccx.glues, lltaskptr, ccx.externs,
ccx.tn, ccx.llmod, name, pass_task, call_args);
r = trans_native_call(bcx.build, ccx.glues, lltaskptr,
ccx.externs, ccx.tn, ccx.llmod, name,
pass_task, call_args);
rptr = bcx.build.BitCast(fcx.llretptr, T_ptr(T_i32()));
for (tup(ValueRef, ty.t) d in drop_args) {
bcx = drop_ty(bcx, d._0, d._1).bcx;
}
}
}
// We don't store the return value if it's nil, to avoid stomping on a nil
// pointer. This is the only concession made to non-i32 return values. See

3
src/comp/pretty/pprust.rs
View File

@ -230,6 +230,9 @@ fn print_item(ps s, @ast.item item) {
alt (nmod.abi) {
case (ast.native_abi_rust) {wrd1(s, "\"rust\"");}
case (ast.native_abi_cdecl) {wrd1(s, "\"cdecl\"");}
case (ast.native_abi_rust_intrinsic) {
wrd1(s, "\"rust-intrinstic\"");
}
}
wrd1(s, "mod");
wrd1(s, id);