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

Revert "improve performance of lower_bound_of_target_clause (#1598)"

Browse Source 
This reverts commit 8938331915.
This commit is contained in:
Mark
2023-12-15 00:42:58 -07:00
parent 8938331915
commit e5ea95db8d
2 changed files with 26 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

48
src/machine/compile.rs
View File

@@ -42,38 +42,42 @@ pub(super) fn bootstrapping_compile(
Ok(())
}
fn lower_bound_of_target_clause(skeleton: &mut PredicateSkeleton, target_pos: usize) -> usize {
fn lower_bound_of_target_clause(skeleton: &PredicateSkeleton, target_pos: usize) -> usize {
if target_pos == 0 {
return 0;
}
let index = target_pos - 1;
let arg_num = skeleton.clauses[index].opt_arg_index_key.arg_num();
let arg_num = skeleton.clauses[target_pos - 1].opt_arg_index_key.arg_num();
if arg_num == 0 {
return index;
return target_pos - 1;
}
skeleton
.clauses[target_pos]
.opt_arg_index_key
.switch_on_term_loc()
.map(|index_loc| {
let search_result = skeleton.clauses.make_contiguous()
[0 .. skeleton.core.clause_assert_margin]
.partition_point(|clause_index_info| {
clause_index_info.clause_start > index_loc
});
let mut index_loc_opt = None;
if search_result < skeleton.core.clause_assert_margin {
search_result
} else {
skeleton.clauses.make_contiguous()[skeleton.core.clause_assert_margin ..]
.partition_point(|clause_index_info| {
clause_index_info.clause_start < index_loc
}) + skeleton.core.clause_assert_margin
for index in (0..target_pos).rev() {
let current_arg_num = skeleton.clauses[index].opt_arg_index_key.arg_num();
if current_arg_num == 0 || current_arg_num != arg_num {
return index + 1;
}
if let Some(index_loc) = index_loc_opt {
let current_index_loc = skeleton.clauses[index]
.opt_arg_index_key
.switch_on_term_loc();
if Some(index_loc) != current_index_loc {
return index + 1;
}
}).unwrap_or(index)
} else {
index_loc_opt = skeleton.clauses[index]
.opt_arg_index_key
.switch_on_term_loc();
}
}
0
}
fn derelictize_try_me_else(