rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix unecessary reference/dereference

Browse Source
This commit is contained in:
Bennet Bleßmann
2025-07-31 21:31:34 +02:00
committed by Bennet Bleßmann
parent 72631b3e0b
commit ae3019d923
9 changed files with 16 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/machine/dispatch.rs
View File

@@ -3277,7 +3277,7 @@ impl Machine {
&Instruction::PutPartialString(_, ref string, reg) => {
self.machine_st[reg] = backtrack_on_resource_error!(
self.machine_st,
self.machine_st.heap.allocate_pstr(&string)
self.machine_st.heap.allocate_pstr(string)
);
self.machine_st.p += 1;

2
src/machine/heap.rs
View File

@@ -1009,7 +1009,7 @@ impl<'a> PStrSegmentIter<'a> {
let string_buf = unsafe {
let char_ptr = heap.inner.ptr.add(pstr_loc);
let slice = std::slice::from_raw_parts(char_ptr, heap.inner.byte_len - pstr_loc);
std::str::from_utf8_unchecked(&slice)
std::str::from_utf8_unchecked(slice)
};
PStrSegmentIter { string_buf }

8
src/machine/system_calls.rs
View File

@@ -2327,7 +2327,7 @@ impl Machine {
let cell = step_or_resource_error!(
self.machine_st,
self.machine_st.heap.allocate_cstr(&*name.as_str())
self.machine_st.heap.allocate_cstr(&name.as_str())
);
unify!(self.machine_st, self.machine_st.registers[2], cell);
@@ -2386,7 +2386,7 @@ impl Machine {
self.machine_st,
sized_iter_to_heap_list(
&mut self.machine_st.heap,
(&*name).chars().count(),
name.chars().count(),
iter,
)
);
@@ -7637,7 +7637,7 @@ impl Machine {
let buffer = git_version!(cargo_prefix = "cargo:", fallback = "unknown");
let cstr_cell =
step_or_resource_error!(self.machine_st, self.machine_st.heap.allocate_cstr(&buffer));
step_or_resource_error!(self.machine_st, self.machine_st.heap.allocate_cstr(buffer));
unify!(self.machine_st, cstr_cell, self.machine_st.registers[1]);
}
@@ -8719,7 +8719,7 @@ impl Machine {
Ok(result)
}
scraper::Node::Comment(comment) => {
let comment = self.machine_st.heap.allocate_cstr(&comment)?;
let comment = self.machine_st.heap.allocate_cstr(comment)?;
let result = str_loc_as_cell!(self.machine_st.heap.cell_len());
let mut writer = self.machine_st.heap.reserve(2)?;

2
src/machine/unify.rs
View File

@@ -290,7 +290,7 @@ pub(crate) trait Unifier: DerefMut<Target = MachineState> {
let machine_st = self.deref_mut();
let f1 = machine_st.arena.f64_tbl.get_entry(f1);
let f2 = machine_st.arena.f64_tbl.get_entry(f2.into());
let f2 = machine_st.arena.f64_tbl.get_entry(f2);
self.fail = f1 != f2;
}