Skip to content

Commit 544f40b

Browse files
committed
MISC bugfixes
1 parent 2b26ee5 commit 544f40b

File tree

2 files changed

+7
-3
lines changed

2 files changed

+7
-3
lines changed

cilly/src/v2/asm.rs

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -494,9 +494,14 @@ impl Assembly {
494494
) -> Interned<StaticFieldDesc> {
495495
let main_module = self.main_module();
496496
let node = node.into_idx(self);
497-
let name = format!("n_{}", encode(node.as_bimap_index().get() as u64));
497+
498498
let sig = self.sig([], Type::Void);
499499
let tpe = self[node].clone().typecheck(sig, &[], self).unwrap();
500+
let name = format!(
501+
"n_{}_{}",
502+
encode(node.as_bimap_index().get() as u64),
503+
encode(self.alloc_type(tpe).as_bimap_index().get() as u64)
504+
);
500505
let name_idx = self.alloc_string(name.clone());
501506
let field = StaticFieldDesc::new(*main_module, name_idx, tpe);
502507
let field = self.alloc_sfld(field);

src/terminator/call.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ use crate::{
99
};
1010
use cilly::{
1111
call, call_virt,
12-
cil_node::{V1Node, CallOpArgs},
12+
cil_node::{CallOpArgs, V1Node},
1313
cil_root::CILRoot,
1414
cilnode::{IsPure, MethodKind},
1515
conv_usize, ld_field, ClassRef, Const, FieldDesc, FnSig, Int, IntoAsmIndex,
@@ -443,7 +443,6 @@ pub fn call_inner<'tcx>(
443443

444444
let function_name = function_name(ctx.tcx().symbol_name(instance));
445445
if matches!(instance.def, InstanceKind::Intrinsic(_)) {
446-
eprintln!("{:?} {:?}", instance, instance.def);
447446
return super::intrinsics::handle_intrinsic(
448447
&function_name,
449448
args,

0 commit comments

Comments
 (0)