language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-27 05:49:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

block broken case for now

Browse source
This commit is contained in:
Brendan Hansknecht 2024-07-24 20:26:26 -07:00
parent 2bbb17c1de
commit 1e7a03ef12
No known key found for this signature in database
GPG key ID: 0EA784685083E75B
1 changed files with 14 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

27
crates/compiler/builtins/bitcode/src/sort.zig
View file

@ -76,11 +76,11 @@ fn quadsort_direct(
} else if (quad_swap(arr_ptr, len, cmp, cmp_data, element_width, copy) != .sorted) {
var swap_size = len;
// for crazy large arrays, limit swap.
if (len > 4194304) {
swap_size = 4194304;
while (swap_size * 8 <= len) : (swap_size *= 4) {}
}
// This is optional, for about 5% perf hit, lower memory usage on large arrays.
// if (len > 4194304) {
// swap_size = 4194304;
// while (swap_size * 8 <= len) : (swap_size *= 4) {}
// }
if (utils.alloc(swap_size * element_width, alignment)) |swap| {
const block_len = quad_merge(arr_ptr, len, swap, swap_size, 32, cmp, cmp_data, element_width, copy);
@ -1006,14 +1006,15 @@ fn quad_swap(
arr_ptr += 8 * element_width;
continue :outer;
},
15 => {
// potentially already reverse ordered, check rest!
if (compare(cmp, cmp_data, arr_ptr + 1 * element_width, arr_ptr + 2 * element_width) == GT and compare(cmp, cmp_data, arr_ptr + 3 * element_width, arr_ptr + 4 * element_width) == GT and compare(cmp, cmp_data, arr_ptr + 5 * element_width, arr_ptr + 6 * element_width) == GT) {
reverse_head = arr_ptr;
break :switch_state .reversed;
}
break :switch_state .not_ordered;
},
// TODO: Figure out why the reversed case below is broken in some cases.
// 15 => {
// // potentially already reverse ordered, check rest!
// if (compare(cmp, cmp_data, arr_ptr + 1 * element_width, arr_ptr + 2 * element_width) == GT and compare(cmp, cmp_data, arr_ptr + 3 * element_width, arr_ptr + 4 * element_width) == GT and compare(cmp, cmp_data, arr_ptr + 5 * element_width, arr_ptr + 6 * element_width) == GT) {
// reverse_head = arr_ptr;
// break :switch_state .reversed;
// }
// break :switch_state .not_ordered;
// },
else => {
break :switch_state .not_ordered;
},