Method initial_value

src/internal/move_optimizer.rs:520–532

Simpler version of `def_value` used for to set up the initial block entry state. This is always called on a clean state and therefore doesn't need to worry about overlaps or clobbering existing values. However it does need to handle the case where a value is in multiple allocations at once, which `def_value` doesn't need to.

(&mut self, value: Value, alloc: Allocation, reginfo: &impl RegInfo)

    /// However it does need to handle the case where a value is in multiple
    /// allocations at once, which `def_value` doesn't need to.
    fn initial_value(&mut self, value: Value, alloc: Allocation, reginfo: &impl RegInfo) {
        match alloc.kind() {
            AllocationKind::PhysReg(reg) => {
                for unit in reginfo.reg_units(reg) {
                    self.last_unit_write.insert_unique(unit, (reg, value));
                }
                self.value_regs.entry(value).or_default().insert(reg);
            }
            AllocationKind::SpillSlot(slot) => {
                self.spillslot_values.insert_unique(slot, value);
            }
        }
    }

    /// Calls `def_value` for each member of a group.
    fn def_value_group(