Skip to content

Commit

Permalink
Just pass in NodeId to FunctionContext::new instead of looking it up.
Browse files Browse the repository at this point in the history
  • Loading branch information
luqmana committed Jul 5, 2016
1 parent 0f4c4f8 commit fd3b464
Show file tree
Hide file tree
Showing 3 changed files with 54 additions and 10 deletions.
21 changes: 11 additions & 10 deletions src/librustc_trans/base.rs
Expand Up @@ -75,7 +75,6 @@ use debuginfo::{self, DebugLoc, ToDebugLoc};
use declare;
use expr;
use glue;
use inline;
use machine;
use machine::{llalign_of_min, llsize_of, llsize_of_real};
use meth;
Expand Down Expand Up @@ -1407,19 +1406,17 @@ impl<'blk, 'tcx> FunctionContext<'blk, 'tcx> {
pub fn new(ccx: &'blk CrateContext<'blk, 'tcx>,
llfndecl: ValueRef,
fn_ty: FnType,
definition: Option<(Instance<'tcx>, &ty::FnSig<'tcx>, Abi)>,
definition: Option<(Instance<'tcx>, &ty::FnSig<'tcx>, Abi, ast::NodeId)>,
block_arena: &'blk TypedArena<common::BlockS<'blk, 'tcx>>)
-> FunctionContext<'blk, 'tcx> {
let (param_substs, def_id) = match definition {
Some((instance, _, _)) => {
let (param_substs, def_id, inlined_id) = match definition {
Some((instance, _, _, inlined_id)) => {
common::validate_substs(instance.substs);
(instance.substs, Some(instance.def))
(instance.substs, Some(instance.def), Some(inlined_id))
}
None => (ccx.tcx().mk_substs(Substs::empty()), None)
None => (ccx.tcx().mk_substs(Substs::empty()), None, None)
};

let inlined_did = def_id.and_then(|def_id| inline::get_local_instance(ccx, def_id));
let inlined_id = inlined_did.and_then(|id| ccx.tcx().map.as_local_node_id(id));
let local_id = def_id.and_then(|id| ccx.tcx().map.as_local_node_id(id));

debug!("FunctionContext::new({})",
Expand Down Expand Up @@ -1454,7 +1451,7 @@ impl<'blk, 'tcx> FunctionContext<'blk, 'tcx> {
};

let debug_context = if let (false, Some(definition)) = (no_debug, definition) {
let (instance, sig, abi) = definition;
let (instance, sig, abi, _) = definition;
debuginfo::create_function_debug_context(ccx, instance, sig, abi, llfndecl)
} else {
debuginfo::empty_function_debug_context(ccx)
Expand Down Expand Up @@ -1850,7 +1847,11 @@ pub fn trans_closure<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>,

let (arena, fcx): (TypedArena<_>, FunctionContext);
arena = TypedArena::new();
fcx = FunctionContext::new(ccx, llfndecl, fn_ty, Some((instance, sig, abi)), &arena);
fcx = FunctionContext::new(ccx,
llfndecl,
fn_ty,
Some((instance, sig, abi, inlined_id)),
&arena);

if fcx.mir.is_some() {
return mir::trans_mir(&fcx);
Expand Down
26 changes: 26 additions & 0 deletions src/test/run-pass/auxiliary/xcrate_generic_fn_nested_return.rs
@@ -0,0 +1,26 @@
// Copyright 2016 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.

pub struct Request {
pub id: String,
pub arg: String,
}

pub fn decode<T>() -> Result<Request, ()> {
(|| {
Ok(Request {
id: "hi".to_owned(),
arg: match Err(()) {
Ok(v) => v,
Err(e) => return Err(e)
},
})
})()
}
17 changes: 17 additions & 0 deletions src/test/run-pass/xcrate_generic_fn_nested_return.rs
@@ -0,0 +1,17 @@
// Copyright 2016 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.

// aux-build:xcrate_generic_fn_nested_return.rs

extern crate xcrate_generic_fn_nested_return as test;

pub fn main() {
assert!(test::decode::<()>().is_err());
}

0 comments on commit fd3b464

Please sign in to comment.