urbit/ares
1
1
Fork 0
mirror of https://github.com/urbit/ares.git synced 2024-11-26 09:57:56 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #24 from urbit/philip/equal

Browse Source 
[ares] fix a couple bugs in unifying equality
This commit is contained in:
Edward Amsden 2023-02-13 20:00:59 -06:00 committed by GitHub
commit 82a08d878e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 11 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
rust/ares/src/mem.rs
View File

@ -777,21 +777,14 @@ unsafe fn senior_pointer_first<T>(
),
};
loop {
if a < high_pointer && a >= low_pointer {
// a is in the current frame
if b < high_pointer && b >= low_pointer {
// so is b, pick arbitrarily
break (a, b);
} else {
// b is not, so b must be further up, b is senior
break (b, a);
}
} else {
// a is not in the current frame
if b < high_pointer && b >= low_pointer {
// b is, a is senior
break (a, b);
} else {
match (
a < high_pointer && a >= low_pointer,
b < high_pointer && b >= low_pointer,
) {
(true, true) => break (a, b), // both pointers are in the same frame, pick arbitrarily
(true, false) => break (b, a), // a is in the frame, b is not, so b is senior
(false, true) => break (a, b), // b is in the frame, a is not, so a is senior
(false, false) => {
// chase up the stack
if (frame_pointer as *const u64) == stack.start {
// we found the top of the stack!
@ -801,15 +794,15 @@ unsafe fn senior_pointer_first<T>(
Polarity::East => {
high_pointer = *(frame_pointer.sub(2)) as *const T;
low_pointer = *(frame_pointer.sub(1)) as *const T;
frame_pointer = *(frame_pointer.sub(1)) as *const u64;
frame_pointer = *(frame_pointer.sub(2)) as *const u64;
polarity = Polarity::West;
continue;
}
Polarity::West => {
high_pointer = *frame_pointer as *const T;
low_pointer = *(frame_pointer.add(1)) as *const T;
frame_pointer = *frame_pointer as *const u64;
polarity = Polarity::West;
frame_pointer = *(frame_pointer.add(1)) as *const u64;
polarity = Polarity::East;
continue;
}
}