squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Implement expr_put. Un-XFAIL foreach-simple.rs; iters w/o env access work.

Browse source
This commit is contained in:
Graydon Hoare 2011-02-18 18:52:16 -08:00
parent 5508c28ff0
commit b0c7439d77
2 changed files with 30 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/Makefile
View file

@ -475,6 +475,7 @@ TEST_XFAILS_RUSTC := $(filter-out \
else-if.rs \
fact.rs \
fn-lval.rs \
foreach-simple.rs \
fun-call-variants.rs \
fun-indirect-call.rs \
generic-derived-type.rs \

31
src/comp/middle/trans.rs
View file

@ -3454,8 +3454,35 @@ fn trans_fail(@block_ctxt cx, common.span sp, str fail_str) -> result {
}
fn trans_put(@block_ctxt cx, &option.t[@ast.expr] e) -> result {
cx.fcx.ccx.sess.unimpl("put expr");
fail;
auto llcallee = C_nil();
auto llenv = C_nil();
alt (cx.fcx.lliterbody) {
case (some[ValueRef](?lli)) {
auto slot = cx.build.Alloca(val_ty(lli));
cx.build.Store(lli, slot);
llcallee = cx.build.GEP(slot, vec(C_int(0),
C_int(abi.fn_field_code)));
llcallee = cx.build.Load(llcallee);
llenv = cx.build.GEP(slot, vec(C_int(0),
C_int(abi.fn_field_box)));
llenv = cx.build.Load(llenv);
}
}
auto bcx = cx;
auto dummy_retslot = bcx.build.Alloca(T_nil());
let vec[ValueRef] llargs = vec(dummy_retslot, cx.fcx.lltaskptr, llenv);
alt (e) {
case (none[@ast.expr]) { }
case (some[@ast.expr](?x)) {
auto r = trans_expr(bcx, x);
llargs += r.val;
bcx = r.bcx;
}
}
ret res(bcx, bcx.build.FastCall(llcallee, llargs));
}
fn trans_ret(@block_ctxt cx, &option.t[@ast.expr] e) -> result {