Chris Tate
a23ce3043c
Keep loop-carried locals written from int32 element reads int32
...
The int32 array proof assumes its candidates' elements are int32 and
asks the integer range analysis whether every stored value is one. A
local assigned in a loop from an element read of a candidate array
(`const t = next[at]!; next[at] = at; at = t`) never closed under the
int32 bound, because the loop-carried closure had no case for element
reads, so arrays that store such cursors kept double slots and every
index converted from a double. Element reads now take the slot range in
that closure, as field reads and calls already did.
The index-cursors runtime workload walks an array of indices with such a
cursor.
2026-10-23 09:53:05 -05:00
..
2026-10-20 18:08:10 -05:00
2026-10-08 09:38:23 -07:00
2026-10-20 18:08:10 -05:00
2026-10-08 09:38:23 -07:00
2026-10-20 18:08:10 -05:00
2026-10-08 09:38:23 -07:00
2026-10-20 18:08:10 -05:00
2026-10-16 00:06:31 -05:00
2026-10-20 18:08:10 -05:00
2026-10-19 23:24:56 -05:00
2026-10-20 18:08:10 -05:00
2026-10-08 15:33:00 -05:00
2026-10-20 18:08:10 -05:00
2026-10-08 09:38:23 -07:00
2026-10-20 18:08:10 -05:00
2026-10-15 18:26:48 -05:00
2026-10-22 13:49:49 -05:00
2026-10-22 13:49:49 -05:00
2026-10-22 23:52:25 -05:00
2026-10-22 23:52:25 -05:00
2026-10-20 18:08:10 -05:00
2026-10-08 09:38:23 -07:00
2026-10-20 18:08:10 -05:00
2026-10-08 15:33:00 -05:00
2026-10-23 09:53:05 -05:00
2026-10-23 09:53:05 -05:00
2026-10-20 18:08:10 -05:00
2026-10-20 18:08:10 -05:00
2026-10-20 18:08:10 -05:00
2026-10-20 18:08:10 -05:00
2026-10-15 19:59:56 -05:00
2026-10-20 18:08:10 -05:00
2026-10-20 18:08:10 -05:00
2026-10-08 09:38:23 -07:00
2026-10-20 18:08:10 -05:00
2026-10-08 15:51:42 -05:00
2026-10-20 18:08:10 -05:00
2026-10-20 18:08:10 -05:00
2026-10-15 17:47:34 -05:00
2026-10-20 18:08:10 -05:00
2026-10-08 09:38:23 -07:00
2026-10-20 18:08:10 -05:00
2026-10-14 13:02:38 -05:00
2026-10-20 18:08:10 -05:00
2026-10-15 22:19:05 -05:00
2026-10-20 18:08:10 -05:00
2026-10-14 21:07:40 -05:00
2026-10-20 18:08:10 -05:00
2026-10-08 09:38:23 -07:00
2026-10-20 18:08:10 -05:00
2026-10-08 09:38:23 -07:00
2026-10-20 18:08:10 -05:00
2026-10-15 22:22:32 -05:00
2026-10-20 18:08:10 -05:00
2026-10-08 09:38:23 -07:00
2026-10-20 18:08:10 -05:00
2026-10-20 18:08:10 -05:00
2026-10-18 04:11:02 -05:00
2026-10-22 01:11:37 -05:00
2026-10-22 08:31:12 -05:00
2026-10-15 14:19:47 -05:00
2026-10-20 18:08:10 -05:00
2026-10-15 14:19:47 -05:00
2026-10-20 18:08:10 -05:00
2026-10-15 14:19:47 -05:00
2026-10-20 18:08:10 -05:00
2026-10-20 14:11:26 -05:00
2026-10-20 18:08:10 -05:00
2026-10-08 09:38:23 -07:00
2026-10-20 18:08:10 -05:00
2026-10-14 02:44:11 -05:00
2026-10-20 18:08:10 -05:00
2026-10-17 12:07:26 -07:00
2026-10-20 18:08:10 -05:00
2026-10-08 09:38:23 -07:00
2026-10-20 19:05:22 -05:00
2026-10-19 07:46:06 -05:00