Marshall Lochbaum
|
844b537593
|
Singeli 1-byte table implementations for generic architecture
|
2023-05-11 21:05:23 -04:00 |
|
Marshall Lochbaum
|
6c81fb3149
|
Make AVX2 deduplicate branchless
|
2023-05-11 21:04:58 -04:00 |
|
Marshall Lochbaum
|
1700d84740
|
AVX2 1-byte Deduplicate implementation
|
2023-05-11 21:04:58 -04:00 |
|
Marshall Lochbaum
|
9658104f3e
|
Unify AVX2 bit-table code between Member-of and Mark Firsts
|
2023-05-11 21:04:58 -04:00 |
|
Marshall Lochbaum
|
ba43dae908
|
Heuristic filtering when AVX2 Mark Firsts sees multiple new values
|
2023-05-11 21:04:58 -04:00 |
|
Marshall Lochbaum
|
9c7c6aabc5
|
AVX2 Mark Firsts implementation
|
2023-05-11 21:04:56 -04:00 |
|
Marshall Lochbaum
|
2fafe11d7c
|
Fix fill_bittab tail masking for t=0 and simplify
|
2023-05-11 20:59:53 -04:00 |
|
Marshall Lochbaum
|
017e2433fb
|
Fast paths for all empty-argument search cases
|
2023-05-11 20:59:53 -04:00 |
|
Marshall Lochbaum
|
e45231154c
|
Reverse lookup initialization for 1-byte Member-of
|
2023-05-11 20:59:53 -04:00 |
|
Marshall Lochbaum
|
0232f91582
|
AVX2 bit table Member-of
|
2023-05-11 20:59:52 -04:00 |
|
dzaima
|
03a28e4e34
|
fix float normalization from a •bit._cast result mutating the original
|
2023-05-11 22:39:59 +03:00 |
|
dzaima
|
53bacf00c8
|
native F⟜k⁼𝕩 & k⊸F⁼𝕩
|
2023-05-11 15:28:40 +03:00 |
|
dzaima
|
08b6ff77c4
|
c1G & c2G
|
2023-05-11 15:28:40 +03:00 |
|
dzaima
|
fa4aebbe9c
|
native dyadic inverses of F˜
|
2023-05-11 15:28:40 +03:00 |
|
dzaima
|
bae49543be
|
native F˜⁼ 𝕩
|
2023-05-11 15:28:40 +03:00 |
|
dzaima
|
d1a5ed3e00
|
err → fatal
|
2023-05-11 15:28:23 +03:00 |
|
dzaima
|
aa68ed0730
|
define single ICMP
|
2023-05-11 15:28:23 +03:00 |
|
dzaima
|
4b0cd3217f
|
proper statement definition of assert
|
2023-05-11 15:28:23 +03:00 |
|
dzaima
|
fe39fe1932
|
remove Md1H/MD2R
|
2023-05-11 15:28:23 +03:00 |
|
dzaima
|
e775202684
|
describe types in src/README.md
|
2023-05-10 00:05:29 +03:00 |
|
dzaima
|
a8738c68ed
|
update bytecode submodule
|
2023-05-09 21:54:01 +03:00 |
|
dzaima
|
5979c0fed9
|
pass fully native primitives to r1
|
2023-05-09 21:50:16 +03:00 |
|
dzaima
|
0f2ef4384c
|
don't inline groups_lt
|
2023-05-09 00:14:14 +03:00 |
|
dzaima
|
300d217ee8
|
move SIMD constrep functions to a table
|
2023-05-09 00:14:14 +03:00 |
|
dzaima
|
0598ce8357
|
use getFillQ less
|
2023-05-09 00:14:14 +03:00 |
|
dzaima
|
d62c77af41
|
add threshold for reshape-based ⎉+n path
|
2023-05-06 16:57:38 +03:00 |
|
dzaima
|
3dcb32a54a
|
fast Arith⎉+n where n is the rank of one argument
|
2023-05-06 16:28:41 +03:00 |
|
dzaima
|
56d1453185
|
use destructuring more in Singeli
|
2023-05-06 13:18:00 +03:00 |
|
dzaima
|
4ff4460d67
|
put logging behind the macro check
|
2023-05-06 02:05:38 +03:00 |
|
dzaima
|
f640767e97
|
increase JIT memory allocation size
virtual memory should make it not matter for memory usage, or maybe even very slightly improve it due to less page table fragmentation
|
2023-05-06 01:11:30 +03:00 |
|
dzaima
|
45cc672af1
|
move allocation log message to before allocating
and print result
|
2023-05-06 01:09:34 +03:00 |
|
dzaima
|
78159f4f04
|
check for the proper failure value in mmap_nvm
|
2023-05-05 23:04:22 +03:00 |
|
dzaima
|
8177b668f4
|
fix ∾𝕩 error checking
|
2023-05-05 19:54:43 +03:00 |
|
dzaima
|
cc94ec4cbc
|
move out another s+↕n loop
|
2023-05-05 13:28:58 +03:00 |
|
dzaima
|
14ca835fa2
|
don't unroll comparatively extremely tiny loop
|
2023-05-05 13:23:47 +03:00 |
|
dzaima
|
65d0b829bd
|
reuse range generation from ↕n for •rand.Deal
|
2023-05-05 12:41:36 +03:00 |
|
dzaima
|
1072d0bb9c
|
merge emptyIVec() case with bitUD[0]
|
2023-05-05 12:18:31 +03:00 |
|
Marshall Lochbaum
|
78eeaae762
|
Remove MergeShuffle: only used above 2⋆28 with split and not a huge speedup
|
2023-05-04 18:11:55 -04:00 |
|
Marshall Lochbaum
|
2b9c193f24
|
Outer split pass for large •rand.Deal
|
2023-05-04 14:28:32 -04:00 |
|
Marshall Lochbaum
|
a4f9d23709
|
Simplify merge-shuffle index usage
|
2023-05-04 10:18:38 -04:00 |
|
Marshall Lochbaum
|
6cc9d40490
|
Fast cases for short •rand.Deal𝕩
|
2023-05-04 09:10:29 -04:00 |
|
Marshall Lochbaum
|
8191aa6da2
|
Only iterate over set bits in random merge
|
2023-05-04 09:10:29 -04:00 |
|
Marshall Lochbaum
|
bc7275a91b
|
Basic MergeShuffle implementation (slow merge)
|
2023-05-04 09:10:29 -04:00 |
|
dzaima
|
9fd80e3193
|
split buckets above 2^20 bytes when possible
|
2023-05-04 12:28:47 +03:00 |
|
dzaima
|
1bd9467a2d
|
cleanup
|
2023-05-04 12:27:13 +03:00 |
|
dzaima
|
776b0b2b47
|
fix estimated UTF-8 length of codepoints 2047 and 65535
|
2023-05-02 10:49:11 +03:00 |
|
dzaima
|
352961a7eb
|
another ubsan complaint
|
2023-05-02 10:47:13 +03:00 |
|
dzaima
|
65e246774e
|
-mllvm --x86-cmov-converter=0
|
2023-04-30 20:03:09 +03:00 |
|
dzaima
|
0e79e9f868
|
fix ubsan notes
|
2023-04-30 19:50:24 +03:00 |
|
dzaima
|
cd40ec8117
|
fix ¯2e9‿2e9⍋0
|
2023-04-30 19:35:18 +03:00 |
|
dzaima
|
c567dff565
|
fix leading-axis operations on empty inputs
|
2023-04-30 19:15:46 +03:00 |
|
dzaima
|
93dd25e0e1
|
fast leading-axis for <>≤≥=≠
|
2023-04-30 19:00:56 +03:00 |
|
dzaima
|
c889a07d75
|
replicate-using leading axis arithmetic case
|
2023-04-30 18:46:41 +03:00 |
|
dzaima
|
1e11cf93c1
|
faster leading axis arithmetic
|
2023-04-30 17:27:07 +03:00 |
|
dzaima
|
048352f587
|
fix 0˝˘ 2‿2⥊0
|
2023-04-29 21:15:46 +03:00 |
|
dzaima
|
0a30c7b4e6
|
more generic n⊸↑⎉k & n⊸↓⎉k & n⊸⍉⎉k
|
2023-04-29 21:10:44 +03:00 |
|
dzaima
|
aae8651e8b
|
fix Arith⌜ with empty 𝕨
|
2023-04-29 20:11:24 +03:00 |
|
dzaima
|
518635d0b9
|
generic 𝕨 ≡⎉¯k 𝕩
|
2023-04-29 20:01:48 +03:00 |
|
dzaima
|
df613ad674
|
w⊸F⎉g x → w F⎉∞‿g x & F⟜x⎉g w → w F⎉g‿∞ x
|
2023-04-29 17:39:13 +03:00 |
|
dzaima
|
e40d056ee4
|
use err() for unexpected state
|
2023-04-29 17:39:13 +03:00 |
|
dzaima
|
5e29ec72ce
|
sanity test of mmap address top 16 bits being 0
|
2023-04-29 17:39:13 +03:00 |
|
dzaima
|
35786d4f5b
|
m_hVec\d → m_hvec\d
|
2023-04-29 17:39:13 +03:00 |
|
dzaima
|
e200bbc5f9
|
move ↕list to its own function
|
2023-04-29 17:39:13 +03:00 |
|
dzaima
|
bb7c37960e
|
a round of more incG/incByG
|
2023-04-29 17:39:13 +03:00 |
|
dzaima
|
a855d03b93
|
use %c in v_merge
|
2023-04-29 17:39:13 +03:00 |
|
dzaima
|
a0d384060a
|
unify implementations of m_vec1 and m_unit
|
2023-04-29 17:39:13 +03:00 |
|
dzaima
|
3b580cbd0c
|
rename unit creation methods
|
2023-04-29 17:39:13 +03:00 |
|
dzaima
|
88c19cedec
|
attempt at cleaning up mut.c a bit
|
2023-04-29 17:39:13 +03:00 |
|
dzaima
|
56e4863f66
|
typedef c8/c16/c32
|
2023-04-29 17:39:13 +03:00 |
|
dzaima
|
865257fdb6
|
more header file cleanup
|
2023-04-29 17:39:13 +03:00 |
|
dzaima
|
aa5ed7cc7a
|
BB2B & BBB2B → FC1 & FC2
|
2023-04-29 15:31:31 +03:00 |
|
dzaima
|
ca13fb567a
|
header file cleanup
|
2023-04-29 13:54:32 +03:00 |
|
dzaima
|
229a32237a
|
slice checking macro refactor
|
2023-04-29 13:24:20 +03:00 |
|
dzaima
|
ba1b853936
|
don't use the cell appender for Arith⌜
|
2023-04-29 13:13:58 +03:00 |
|
dzaima
|
62e2ea96ce
|
zsh needs to be kept alive even for zk==1
|
2023-04-28 21:04:30 +03:00 |
|
dzaima
|
7f0390be3f
|
more error messages
|
2023-04-28 20:49:34 +03:00 |
|
dzaima
|
7dd677a4e2
|
various fill improvements
|
2023-04-28 20:31:44 +03:00 |
|
dzaima
|
7a501ffbdf
|
use APD for ∾list
|
2023-04-28 20:17:44 +03:00 |
|
dzaima
|
5aa896ab38
|
use APD for Arith⌜
|
2023-04-28 19:30:54 +03:00 |
|
dzaima
|
b17d2010c2
|
better error messages
|
2023-04-28 19:25:42 +03:00 |
|
dzaima
|
38b2028374
|
use APD for ˘/⎉
|
2023-04-28 19:25:42 +03:00 |
|
dzaima
|
3761eafd0a
|
fix fills
|
2023-04-28 18:54:52 +03:00 |
|
dzaima
|
5c64c32aa9
|
allow GC between APD calls, delay shape errors
|
2023-04-28 18:54:52 +03:00 |
|
dzaima
|
7b877d368f
|
move fill handling to APD
|
2023-04-28 18:54:52 +03:00 |
|
dzaima
|
2f46b80b82
|
yet another mutable temporary array thing
|
2023-04-28 18:54:52 +03:00 |
|
dzaima
|
880efa38b4
|
better fill equality checking utilities
|
2023-04-28 18:51:41 +03:00 |
|
dzaima
|
d0e76ec436
|
better selfElType
|
2023-04-28 16:22:13 +03:00 |
|
dzaima
|
34a4d48d95
|
make singeli assertions checked in debug mode
|
2023-04-28 15:10:08 +03:00 |
|
dzaima
|
187eea1197
|
use memcpy for non-tiny equal-size copying
|
2023-04-26 20:19:05 +03:00 |
|
dzaima
|
d43ffd6b62
|
remove no longer needed E_SLICES
|
2023-04-25 22:13:41 +03:00 |
|
dzaima
|
037d36ddab
|
rework for_cells_AA
|
2023-04-25 22:13:13 +03:00 |
|
dzaima
|
586aeaea2d
|
HARR_FP
|
2023-04-25 21:44:55 +03:00 |
|
dzaima
|
23737cc458
|
proper error messages for ⎉ vs ˘
|
2023-04-24 19:43:04 +03:00 |
|
dzaima
|
77154be2a8
|
testing setup for ˘ & ⎉
incl. toggleable fill testing for !CATCH_ERRORS
|
2023-04-24 19:43:04 +03:00 |
|
dzaima
|
6d33018788
|
merge dyadic ˘ & ⎉
|
2023-04-24 19:43:04 +03:00 |
|
dzaima
|
e11d5dd31d
|
•internal.HasFill
|
2023-04-24 19:43:04 +03:00 |
|
dzaima
|
0b2ed69fba
|
add a NOGC_E in mut_pfree
fixes >⟨"ab"‿1,"a"⟩ in debug builds unnecessarily breaking
|
2023-04-24 01:01:35 +03:00 |
|
dzaima
|
b4a207a924
|
better fix for in-place 𝔽¨𝕩 on fillslice 𝕩
|
2023-04-23 22:49:19 +03:00 |
|
dzaima
|
927814d182
|
fix ⊢¨ {a←𝕩 ⋄ ⥊𝕩} 2‿3⥊<"a"
|
2023-04-23 22:17:32 +03:00 |
|
dzaima
|
2259e7b6a9
|
fix ↕1‿0‿1e9‿1e9‿1e9 incorrectly erroring
|
2023-04-23 22:17:32 +03:00 |
|