Commit Graph

2896 Commits

Author SHA1 Message Date
dzaima
8c111c2189 suppress clang vfor warnings on bootstrap build 2024-06-11 04:21:38 +03:00
dzaima
73123f5bde even faster »⎉1 & «⎉1 for narrow bitarr 𝕩 2024-06-06 23:36:45 +03:00
dzaima
cc3c6985ad faster unit»⎉1𝕩 / unit«⎉1𝕩 2024-06-05 13:53:09 +03:00
dzaima
17339eceae proper description of reshape_one 2024-06-05 13:52:25 +03:00
dzaima
b32f22ee89 fix MM=0 build 2024-06-05 03:32:41 +03:00
dzaima
ae3128c180 relax CHECK_IA in takedrop_highrank
future overflow in ria*elWidth when allocating shouldn't be a worry as all such calculations should be done in u64, and CHECK_IA(x, 1) guarantees that x is (much) less than 2^60 in both usz configurations
2024-06-05 02:30:00 +03:00
dzaima
e04819a28d make TYARR_SZ always operate in u64
shouldn't change anything on 64-bit platforms as the sizeof in fsizeof should already give size_t
2024-06-05 02:23:15 +03:00
dzaima
8761613899 don't require bash 2024-06-05 02:14:43 +03:00
dzaima
088a5b550d improve missing c++ message 2024-06-04 15:51:55 +03:00
dzaima
556082fd4b
Merge pull request #112 from vylsaz/develop
Fix profiler_getResults on windows
2024-06-04 15:48:46 +03:00
dzaima
784229e7ec more verbose warning on missing c++ 2024-06-04 15:34:42 +03:00
vylsaz
2a57022ccb no ENT_SP_GC if profiler is not supported 2024-06-04 06:04:08 +00:00
dzaima
8044c560a4 faster atom∾atom 2024-06-01 16:22:34 +03:00
dzaima
44af7d4980 separate GC time in )profile 2024-06-01 00:33:14 +03:00
dzaima
d161f93a38 more Singeli refactoring
makes some conditions more strict
removes wrong el_m & el_s definitions
2024-05-26 04:25:54 +03:00
dzaima
8c6e0c3720
Merge pull request #111 from mlochbaum/si-destructure
Singeli refactoring with type destructuring
2024-05-26 03:22:22 +03:00
Marshall Lochbaum
56944b8985 Minor Singeli simplifications 2024-05-25 18:31:47 -04:00
Marshall Lochbaum
90863851b7 Use new Singeli type destructuring (no change to generated C) 2024-05-25 18:31:47 -04:00
dzaima
05690c001a suppress false-positive gcc warnings 2024-05-24 04:01:05 +03:00
dzaima
5862c28c08 avoid conversion of i64 to ux for pointer offset 2024-05-22 20:41:40 +03:00
dzaima
f14583f995 faster ⍉ on large‿small⥊x 2024-05-22 20:07:48 +03:00
dzaima
f5e536aefe update bytecode submodule 2024-05-22 15:15:38 +03:00
dzaima
33f784106d actually properly mention reference counting in src/README.md 2024-05-20 01:39:26 +03:00
dzaima
f02f882801
Merge pull request #109 from ap29600/highrank_select_ucw
native path in `select_ucw` for high rank `𝕩`
2024-05-20 01:27:10 +03:00
dzaima
44c8da7dc7 add checks for l>0 on equal() impls
some Singeli `fn equal` paths already assumed such, this just makes the requirement properly checked for, benefited from, and documented
2024-05-20 01:03:57 +03:00
dzaima
52fb05fcd4 unify ⌾(a⊸⊏) typed array paths, fix csz==0 2024-05-20 01:03:57 +03:00
Andrea Piseri
60a28a40ca Clean up collision checking, use vector copy functions 2024-05-19 16:59:55 +02:00
dzaima
9f6151d92d expand ⌾(a⊸⊏) tests, stylistic changes/cleanup 2024-05-19 02:14:08 +03:00
Andrea Piseri
99a23a97d8 Fix typo in the error message 2024-05-19 00:10:28 +02:00
Andrea Piseri
e66443d19f update expected error messages in test/cases/under.bqn 2024-05-19 00:07:58 +02:00
Andrea Piseri
3738d0d65d Formatting 2024-05-18 23:58:11 +02:00
Andrea Piseri
93188a9f90 Use COPY_TO and EQFN in the typed array code path 2024-05-18 23:56:13 +02:00
Andrea Piseri
06808414da Separate code path for cxsz=1, fix out of bounds read for RNK(x)==0 2024-05-18 21:45:18 +02:00
Andrea Piseri
7f28308e44 native path in select_ucw for high rank 𝕩
`𝔽⌾(a⊸⊏)𝕩` now does not need to go through the self-hosted runtime if
`1<=𝕩`. Instead the `select_replace` helper function is parametrized
over the length of `𝕩` (`xl`) and item amount of the cell of `𝕩` (`xcia`).

- The `EQ` macro is modified to not immediately mark the cell as
  populated, so that multiple replacements can be done on the cell
  on the first assignment to it.

- The `DONE_CW` macro is invoked to mark the current cell as populated
  when every element in it has been assigned.

- A loop over the cell contents is introduced to copy the elements in
  `𝕩`. This should be fine as it is an easily predictable jump,
  but a performance regression is possible and a separate code path
  could be introduced in the future.

The change introduces more extensive checking on the shape of `𝔽`'s
result, as for high rank `𝕩` the requirement should be `(≢𝔽a⊏𝕩)≡(≢a)∾1↓≢𝕩`.

The old behaviour of `select_replace` is recovered by passing `xl=xia`
and `xcia=1` in the implementation of `pick_ucw`.
2024-05-18 12:12:17 +02:00
dzaima
4f898f38d2 various Singeli usage improvements and fixes 2024-05-11 05:57:30 +03:00
dzaima
b2eb26c2e7
Merge pull request #108 from mlochbaum/new-singeli
Singeli syntax updates
2024-05-10 20:56:17 +03:00
Marshall Lochbaum
b2e3a5ff74 Move from & to if/and for Singeli conditions 2024-05-10 10:26:28 -04:00
Marshall Lochbaum
4d6612cb16 Replace tuplen{} and tupsel{} with length{} and select{} 2024-05-10 09:49:58 -04:00
Marshall Lochbaum
12d7629f9c Replace top-level if with if_inline 2024-05-10 08:36:24 -04:00
Marshall Lochbaum
526d9bbebe Wrap non-destructuring type parameters in parens 2024-05-10 08:30:08 -04:00
dzaima
0b1ba06bc0 fix static-lib on macos 2024-05-09 20:27:37 +03:00
dzaima
604b751994 rearrange linker command generation 2024-05-09 20:14:25 +03:00
dzaima
4a40739398 use printf & fprintf instead of putchar & co 2024-05-05 01:07:47 +03:00
dzaima
b657778205 fix •file.MapBytes in debug builds 2024-04-20 23:25:47 +03:00
dzaima
ac405da3ab fix building after compilation error 2024-04-20 23:24:48 +03:00
dzaima
5600bb189a fix ⟨1,2⋆62⟩/2⥊<⋈0 2024-04-20 21:24:51 +03:00
dzaima
de529e483b make non-Singeli getRange_f64 check first element for integerness 2024-04-20 21:21:47 +03:00
dzaima
ce4461ff44 build/build: handle dry-run clangd 2024-04-20 21:20:59 +03:00
dzaima
d63e5ab714 build/build: dry → dry-run 2024-04-20 03:52:35 +03:00
dzaima
1f4d1fce0b build/build: warning caching 2024-04-20 03:38:51 +03:00