WARNING! Access to this system is limited to authorised users only.
Unauthorised users may be subject to prosecution.
Unauthorised access to this system is a criminal offence under Australian law (Federal Crimes Act 1914 Part VIA)
It is a criminal offence to:
(1) Obtain access to data without authority. -Penalty 2 years imprisonment.
(2) Damage, delete, alter or insert data without authority. -Penalty 10 years imprisonment.
User activity is monitored and recorded. Anyone using this system expressly consents to such monitoring and recording.

To protect your data, the CISO officer has suggested users to enable 2FA as soon as possible.
Currently 2.7% of users enabled 2FA.

Commit 08f432b0 authored by qinsoon's avatar qinsoon
Browse files

remove warnings

parent 9bea1c6c
......@@ -16,7 +16,6 @@ use runtime::ValueLocation;
use utils::vec_utils;
use utils::string_utils;
use utils::LinkedHashMap;
use utils::LinkedHashSet;
use ast::ptr::P;
use ast::ir::*;
......
......@@ -40,11 +40,9 @@ impl RegisterAllocation {
if !vm.vm_options.flag_disable_regalloc_validate {
let reg_assignment = coloring.get_assignments();
let reg_spilled = coloring.get_spill_history();
let reg_coalesced = coloring.get_coalesced();
let spill_scratch_temps = coloring.get_spill_scratch_temps();
validate::validate_regalloc(&coloring.cf, &coloring.func, reg_assignment, reg_spilled, spill_scratch_temps);
validate::validate_regalloc(&coloring.cf, reg_assignment, spill_scratch_temps);
}
// replace regs
......
......@@ -157,7 +157,7 @@ impl AliveEntries {
let entry_exists = self.has_entries_for_temp(temp);
if entry_exists {
let mut entries = self.find_entries_for_temp_mut(temp);
let entries = self.find_entries_for_temp_mut(temp);
for entry in entries {
entry.add_real_reg(reg);
}
......@@ -179,7 +179,7 @@ impl AliveEntries {
let entry_exists = self.has_entries_for_temp(temp);
if entry_exists {
let mut entries = self.find_entries_for_temp_mut(temp);
let entries = self.find_entries_for_temp_mut(temp);
for entry in entries {
entry.add_stack_loc(mem.clone());
}
......@@ -235,11 +235,9 @@ impl AliveEntries {
}
pub fn intersect(&mut self, another: &Self) -> bool {
let mut entries_to_delete : Vec<EntryID> = vec![];
let mut changed = false;
for (index, entry) in self.inner.iter_mut() {
for (_, entry) in self.inner.iter_mut() {
if entry.has_temp() {
let temp = entry.get_temp().unwrap();
......
......@@ -12,9 +12,7 @@ mod exact_liveness;
use compiler::backend::reg_alloc::validate::exact_liveness::*;
pub fn validate_regalloc(cf: &CompiledFunction,
func: &MuFunctionVersion,
reg_assigned: LinkedHashMap<MuID, MuID>,
reg_spilled: LinkedHashMap<MuID, P<Value>>,
spill_scratch_regs: LinkedHashMap<MuID, MuID>)
{
debug!("---Validating register allocation results---");
......@@ -77,7 +75,7 @@ pub fn validate_regalloc(cf: &CompiledFunction,
let source_temp = get_source_temp_for_scratch(scratch_temp, &spill_scratch_regs);
// we check if source_temp are alive, and if it is alive in the designated location
validate_spill_load(scratch_temp, source_temp, spill_loc, &reg_spilled, &mut alive);
validate_spill_load(scratch_temp, source_temp, spill_loc, &mut alive);
} else if let Some(spill_loc) = mc.is_spill_store(i) {
// spill store is a move from scratch temp to mem
......@@ -99,7 +97,7 @@ pub fn validate_regalloc(cf: &CompiledFunction,
let source_temp = get_source_temp_for_scratch(scratch_temp, &spill_scratch_regs);
// we add both scratch_temp, and source_temp as alive
add_spill_store(scratch_temp, source_temp, spill_loc, &reg_spilled, &mut alive);
add_spill_store(scratch_temp, source_temp, spill_loc, &mut alive);
}
// validate uses of registers
......@@ -110,7 +108,7 @@ pub fn validate_regalloc(cf: &CompiledFunction,
// remove registers that die at this instruction from alive entries
if let Some(kills) = liveness.get_kills(i) {
for reg in kills.iter() {
kill_reg(*reg, &reg_assigned, &mut alive);
kill_reg(*reg, &mut alive);
}
}
......@@ -125,7 +123,7 @@ pub fn validate_regalloc(cf: &CompiledFunction,
} else {
// we need to kill the reg, so that other temps cannot use it
// (its value has been defined)
kill_reg(reg_def, &reg_assigned, &mut alive);
kill_reg(reg_def, &mut alive);
}
}
......@@ -263,7 +261,7 @@ fn validate_use(reg: MuID, reg_assigned: &LinkedHashMap<MuID, MuID>, alive: &Ali
}
}
fn kill_reg(reg: MuID, reg_assigned: &LinkedHashMap<MuID, MuID>, alive: &mut AliveEntries) {
fn kill_reg(reg: MuID, alive: &mut AliveEntries) {
if reg < MACHINE_ID_END {
if alive.has_entries_for_reg(reg) {
alive.remove_reg(reg);
......@@ -335,7 +333,6 @@ fn add_def(reg: MuID, reg_assigned: &LinkedHashMap<MuID, MuID>, is_mov: bool, al
}
fn add_spill_store(scratch_temp: MuID, source_temp: MuID, spill_loc: P<Value>,
reg_spilled: &LinkedHashMap<MuID, P<Value>>,
alive: &mut AliveEntries) {
// add source_temp with mem loc
alive.add_temp_in_mem(source_temp, spill_loc.clone());
......@@ -345,7 +342,6 @@ fn add_spill_store(scratch_temp: MuID, source_temp: MuID, spill_loc: P<Value>,
}
fn validate_spill_load(scratch_temp: MuID, source_temp: MuID, spill_loc: P<Value>,
reg_spilled: &LinkedHashMap<MuID, P<Value>>,
alive: &mut AliveEntries) {
// verify its correct: the source temp should be alive with the mem location
if alive.has_entries_for_temp(source_temp) {
......
......@@ -15,7 +15,6 @@ use utils::mem::memmap;
use utils::mem::memsec;
use std::ptr;
use std::mem;
use std::thread;
use std::thread::JoinHandle;
use std::sync::Arc;
......
......@@ -6,7 +6,6 @@ use mu::ast::inst::*;
use mu::ast::op::*;
use mu::vm::*;
use mu::compiler::*;
use mu::runtime::mm::objectmodel::OBJECT_HEADER_OFFSET;
use mu::utils::LinkedHashMap;
use std::sync::Arc;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment