Skip to content

Commit ac80d41

Browse files
michaelwoeristermichaelwoerister
committed
trans: Remove tracking of translation item state.
The data tracked here was meant to compare the output of the translation item collector to the set of translation items found by the on-demand translator.
1 parent b149b9d commit ac80d41

File tree

6 files changed

+8
-149
lines changed

6 files changed

+8
-149
lines changed

‎src/librustc_trans/base.rs‎

Lines changed: 2 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -58,7 +58,7 @@ use callee::{Callee, CallArgs, ArgExprs, ArgVals};
5858
use cleanup::{self, CleanupMethods, DropHint};
5959
use closure;
6060
use common::{Block, C_bool, C_bytes_in_context, C_i32, C_int, C_uint, C_integral};
61-
use collector::{self, TransItemState, TransItemCollectionMode};
61+
use collector::{self, TransItemCollectionMode};
6262
use common::{C_null, C_struct_in_context, C_u64, C_u8, C_undef};
6363
use common::{CrateContext, DropFlagHintsMap, Field, FunctionContext};
6464
use common::{Result, NodeIdAndSpan, VariantInfo};
@@ -1830,10 +1830,6 @@ pub fn trans_closure<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>,
18301830
closure_env: closure::ClosureEnv) {
18311831
ccx.stats().n_closures.set(ccx.stats().n_closures.get() + 1);
18321832

1833-
if collector::collecting_debug_information(ccx.shared()) {
1834-
ccx.record_translation_item_as_generated(TransItem::Fn(instance));
1835-
}
1836-
18371833
let _icx = push_ctxt("trans_closure");
18381834
if !ccx.sess().no_landing_pads() {
18391835
attributes::emit_uwtable(llfndecl, true);
@@ -2661,7 +2657,6 @@ pub fn trans_crate<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
26612657
}
26622658
}
26632659

2664-
collector::print_collection_results(&shared_ccx);
26652660
symbol_names_test::report_symbol_names(&shared_ccx);
26662661

26672662
{
@@ -2881,7 +2876,7 @@ fn collect_and_partition_translation_items<'a, 'tcx>(scx: &SharedCrateContext<'a
28812876
let mut ccx_map = scx.translation_items().borrow_mut();
28822877

28832878
for trans_item in items.iter().cloned() {
2884-
ccx_map.insert(trans_item, TransItemState::PredictedButNotGenerated);
2879+
ccx_map.insert(trans_item);
28852880
}
28862881
}
28872882

‎src/librustc_trans/collector.rs‎

Lines changed: 0 additions & 109 deletions
Original file line numberDiff line numberDiff line change
@@ -1271,112 +1271,3 @@ fn visit_mir_and_promoted<'tcx, V: MirVisitor<'tcx>>(mut visitor: V, mir: &mir::
12711271
visitor.visit_mir(promoted);
12721272
}
12731273
}
1274-
1275-
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
1276-
pub enum TransItemState {
1277-
PredictedAndGenerated,
1278-
PredictedButNotGenerated,
1279-
NotPredictedButGenerated,
1280-
}
1281-
1282-
pub fn collecting_debug_information(scx: &SharedCrateContext) -> bool {
1283-
return cfg!(debug_assertions) &&
1284-
scx.sess().opts.debugging_opts.print_trans_items.is_some();
1285-
}
1286-
1287-
pub fn print_collection_results<'a, 'tcx>(scx: &SharedCrateContext<'a, 'tcx>) {
1288-
use std::hash::{Hash, SipHasher, Hasher};
1289-
1290-
if !collecting_debug_information(scx) {
1291-
return;
1292-
}
1293-
1294-
fn hash<T: Hash>(t: &T) -> u64 {
1295-
let mut s = SipHasher::new();
1296-
t.hash(&mut s);
1297-
s.finish()
1298-
}
1299-
1300-
let trans_items = scx.translation_items().borrow();
1301-
1302-
{
1303-
// Check for duplicate item keys
1304-
let mut item_keys = FnvHashMap();
1305-
1306-
for (item, item_state) in trans_items.iter() {
1307-
let k = item.to_string(scx.tcx());
1308-
1309-
if item_keys.contains_key(&k) {
1310-
let prev: (TransItem, TransItemState) = item_keys[&k];
1311-
debug!("DUPLICATE KEY: {}", k);
1312-
debug!(" (1) {:?}, {:?}, hash: {}, raw: {}",
1313-
prev.0,
1314-
prev.1,
1315-
hash(&prev.0),
1316-
prev.0.to_raw_string());
1317-
1318-
debug!(" (2) {:?}, {:?}, hash: {}, raw: {}",
1319-
*item,
1320-
*item_state,
1321-
hash(item),
1322-
item.to_raw_string());
1323-
} else {
1324-
item_keys.insert(k, (*item, *item_state));
1325-
}
1326-
}
1327-
}
1328-
1329-
let mut predicted_but_not_generated = FnvHashSet();
1330-
let mut not_predicted_but_generated = FnvHashSet();
1331-
let mut predicted = FnvHashSet();
1332-
let mut generated = FnvHashSet();
1333-
1334-
for (item, item_state) in trans_items.iter() {
1335-
let item_key = item.to_string(scx.tcx());
1336-
1337-
match *item_state {
1338-
TransItemState::PredictedAndGenerated => {
1339-
predicted.insert(item_key.clone());
1340-
generated.insert(item_key);
1341-
}
1342-
TransItemState::PredictedButNotGenerated => {
1343-
predicted_but_not_generated.insert(item_key.clone());
1344-
predicted.insert(item_key);
1345-
}
1346-
TransItemState::NotPredictedButGenerated => {
1347-
not_predicted_but_generated.insert(item_key.clone());
1348-
generated.insert(item_key);
1349-
}
1350-
}
1351-
}
1352-
1353-
debug!("Total number of translation items predicted: {}", predicted.len());
1354-
debug!("Total number of translation items generated: {}", generated.len());
1355-
debug!("Total number of translation items predicted but not generated: {}",
1356-
predicted_but_not_generated.len());
1357-
debug!("Total number of translation items not predicted but generated: {}",
1358-
not_predicted_but_generated.len());
1359-
1360-
if generated.len() > 0 {
1361-
debug!("Failed to predict {}% of translation items",
1362-
(100 * not_predicted_but_generated.len()) / generated.len());
1363-
}
1364-
if generated.len() > 0 {
1365-
debug!("Predict {}% too many translation items",
1366-
(100 * predicted_but_not_generated.len()) / generated.len());
1367-
}
1368-
1369-
debug!("");
1370-
debug!("Not predicted but generated:");
1371-
debug!("============================");
1372-
for item in not_predicted_but_generated {
1373-
debug!(" - {}", item);
1374-
}
1375-
1376-
debug!("");
1377-
debug!("Predicted but not generated:");
1378-
debug!("============================");
1379-
for item in predicted_but_not_generated {
1380-
debug!(" - {}", item);
1381-
}
1382-
}

‎src/librustc_trans/consts.rs‎

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,6 @@ use rustc::hir::map as hir_map;
2121
use {abi, adt, closure, debuginfo, expr, machine};
2222
use base::{self, push_ctxt};
2323
use callee::Callee;
24-
use collector;
2524
use trans_item::TransItem;
2625
use common::{type_is_sized, C_nil, const_get_elt};
2726
use common::{CrateContext, C_integral, C_floating, C_bool, C_str_slice, C_bytes, val_ty};
@@ -1140,11 +1139,6 @@ pub fn trans_static(ccx: &CrateContext,
11401139
id: ast::NodeId,
11411140
attrs: &[ast::Attribute])
11421141
-> Result<ValueRef, ConstEvalErr> {
1143-
1144-
if collector::collecting_debug_information(ccx.shared()) {
1145-
ccx.record_translation_item_as_generated(TransItem::Static(id));
1146-
}
1147-
11481142
unsafe {
11491143
let _icx = push_ctxt("trans_static");
11501144
let def_id = ccx.tcx().map.local_def_id(id);

‎src/librustc_trans/context.rs‎

Lines changed: 5 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,6 @@ use mir::CachedMir;
2828
use monomorphize::Instance;
2929

3030
use partitioning::CodegenUnit;
31-
use collector::TransItemState;
3231
use trans_item::TransItem;
3332
use type_::{Type, TypeNames};
3433
use rustc::ty::subst::{Substs, VecPerParamSpace};
@@ -37,7 +36,7 @@ use session::config::NoDebugInfo;
3736
use session::Session;
3837
use symbol_map::SymbolMap;
3938
use util::sha2::Sha256;
40-
use util::nodemap::{NodeMap, NodeSet, DefIdMap, FnvHashMap};
39+
use util::nodemap::{NodeMap, NodeSet, DefIdMap, FnvHashMap, FnvHashSet};
4140

4241
use std::ffi::{CStr, CString};
4342
use std::cell::{Cell, RefCell};
@@ -85,7 +84,7 @@ pub struct SharedCrateContext<'a, 'tcx: 'a> {
8584

8685
use_dll_storage_attrs: bool,
8786

88-
translation_items: RefCell<FnvHashMap<TransItem<'tcx>, TransItemState>>,
87+
translation_items: RefCell<FnvHashSet<TransItem<'tcx>>>,
8988
trait_cache: RefCell<DepTrackingMap<TraitSelectionCache<'tcx>>>,
9089
}
9190

@@ -419,7 +418,7 @@ impl<'b, 'tcx> SharedCrateContext<'b, 'tcx> {
419418
check_overflow: check_overflow,
420419
check_drop_flag_for_sanity: check_drop_flag_for_sanity,
421420
use_dll_storage_attrs: use_dll_storage_attrs,
422-
translation_items: RefCell::new(FnvHashMap()),
421+
translation_items: RefCell::new(FnvHashSet()),
423422
trait_cache: RefCell::new(DepTrackingMap::new(tcx.dep_graph.clone())),
424423
}
425424
}
@@ -482,7 +481,7 @@ impl<'b, 'tcx> SharedCrateContext<'b, 'tcx> {
482481
}
483482
}
484483

485-
pub fn translation_items(&self) -> &RefCell<FnvHashMap<TransItem<'tcx>, TransItemState>> {
484+
pub fn translation_items(&self) -> &RefCell<FnvHashSet<TransItem<'tcx>>> {
486485
&self.translation_items
487486
}
488487

@@ -902,24 +901,10 @@ impl<'b, 'tcx> CrateContext<'b, 'tcx> {
902901
&*self.local().symbol_map
903902
}
904903

905-
pub fn translation_items(&self) -> &RefCell<FnvHashMap<TransItem<'tcx>, TransItemState>> {
904+
pub fn translation_items(&self) -> &RefCell<FnvHashSet<TransItem<'tcx>>> {
906905
&self.shared.translation_items
907906
}
908907

909-
pub fn record_translation_item_as_generated(&self, cgi: TransItem<'tcx>) {
910-
if self.sess().opts.debugging_opts.print_trans_items.is_none() {
911-
return;
912-
}
913-
914-
let mut codegen_items = self.translation_items().borrow_mut();
915-
916-
if codegen_items.contains_key(&cgi) {
917-
codegen_items.insert(cgi, TransItemState::PredictedAndGenerated);
918-
} else {
919-
codegen_items.insert(cgi, TransItemState::NotPredictedButGenerated);
920-
}
921-
}
922-
923908
/// Given the def-id of some item that has no type parameters, make
924909
/// a suitable "empty substs" for it.
925910
pub fn empty_substs_for_def_id(&self, item_def_id: DefId) -> &'tcx Substs<'tcx> {

‎src/librustc_trans/glue.rs‎

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,6 @@ use build::*;
2727
use callee::{Callee, ArgVals};
2828
use cleanup;
2929
use cleanup::CleanupMethods;
30-
use collector;
3130
use common::*;
3231
use debuginfo::DebugLoc;
3332
use expr;
@@ -482,11 +481,6 @@ pub fn size_and_align_of_dst<'blk, 'tcx>(bcx: &BlockAndBuilder<'blk, 'tcx>,
482481

483482
fn make_drop_glue<'blk, 'tcx>(bcx: Block<'blk, 'tcx>, v0: ValueRef, g: DropGlueKind<'tcx>)
484483
-> Block<'blk, 'tcx> {
485-
if collector::collecting_debug_information(bcx.ccx().shared()) {
486-
bcx.ccx()
487-
.record_translation_item_as_generated(TransItem::DropGlue(g));
488-
}
489-
490484
let t = g.ty();
491485

492486
let skip_dtor = match g { DropGlueKind::Ty(_) => false, DropGlueKind::TyContents(_) => true };

‎src/librustc_trans/monomorphize.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -123,7 +123,7 @@ pub fn monomorphic_fn<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>,
123123
}) => {
124124
let trans_item = TransItem::Fn(instance);
125125

126-
if ccx.shared().translation_items().borrow().contains_key(&trans_item) {
126+
if ccx.shared().translation_items().borrow().contains(&trans_item) {
127127
attributes::from_fn_attrs(ccx, attrs, lldecl);
128128
llvm::SetLinkage(lldecl, llvm::ExternalLinkage);
129129
} else {

0 commit comments

Comments
 (0)