 nmzik
|
d7974dc763
|
Fix scalar buffer reads across sparse guest mappings
|
2026-10-16 18:20:31 +02:00 |
|
|
nmzik
|
c8caa27936
|
shader: preserve folded native constants for descriptor provenance
|
2026-10-15 23:22:30 +02:00 |
|
|
nmzik
|
d172ab75ca
|
shader: reuse selector domains proven by prior resource accesses
|
2026-10-15 22:28:01 +02:00 |
|
|
nmzik
|
bcf13e101e
|
shader: validate texture mip ranges and channel selectors
|
2026-10-15 22:28:01 +02:00 |
|
|
nmzik
|
2caf2f7e4e
|
shader: retain runtime count bounds for finite descriptor choices
|
2026-10-15 22:28:01 +02:00 |
|
|
nmzik
|
df92a08990
|
shader: report descriptor materialization rejection context
|
2026-10-15 22:28:01 +02:00 |
|
|
nmzik
|
e291589177
|
shader: resolve GPU-selected parent pointers and bounded child image tables
Co-authored-by: fxpw <fxpw@outlook.com>
|
2026-10-15 22:28:01 +02:00 |
|
|
nmzik
|
2285a25182
|
shader: prove narrowing loop masks through shared implication analysis
Co-authored-by: fxpw <fxpw@outlook.com>
|
2026-10-15 22:28:01 +02:00 |
|
|
nmzik
|
a50e4de389
|
shader: recognize reversed unsigned greater-than resource bounds
Co-authored-by: fxpw <fxpw@outlook.com>
|
2026-10-15 22:28:01 +02:00 |
|
|
nmzik
|
232e2f2593
|
shader: bound waterfall buffer descriptors with same-lane guards
Co-authored-by: fxpw <fxpw@outlook.com>
|
2026-10-15 22:28:01 +02:00 |
|
|
nmzik
|
2a4ccaa5d5
|
shader: share proven selector domains for paired images and samplers
|
2026-10-15 22:28:01 +02:00 |
|
|
nmzik
|
9c04abacc5
|
shader: resolve shared selector keys once per materialization
Co-authored-by: fxpw <fxpw@outlook.com>
|
2026-10-15 22:28:01 +02:00 |
|
|
nmzik
|
5916a184cc
|
shader: preserve affine image heap candidate domains
Co-authored-by: fxpw <fxpw@outlook.com>
|
2026-10-15 22:28:01 +02:00 |
|
|
nmzik
|
81169d77ea
|
shader: materialize compact image and paired sampler tables
Co-authored-by: fxpw <fxpw@outlook.com>
|
2026-10-15 22:28:01 +02:00 |
|
|
nmzik
|
65a6f30f51
|
shader: compare real nested descriptor pointer instructions
|
2026-10-15 22:28:01 +02:00 |
|
|
nmzik
|
6455546f26
|
shader: admit bounded multi-component formatted buffer loads
Co-authored-by: fxpw <fxpw@outlook.com>
|
2026-10-15 22:28:00 +02:00 |
|
|
nmzik
|
8b81f665a2
|
shader: separate indirect buffer candidates from tracked root limits
Co-authored-by: fxpw <fxpw@outlook.com>
|
2026-10-14 21:19:38 +02:00 |
|
|
nmzik
|
b24ce3440d
|
shader: track buffer liveness and offsets by resource count
Co-authored-by: fxpw <fxpw@outlook.com>
|
2026-10-14 21:11:14 +02:00 |
|
|
nmzik
|
5313181ecf
|
shader: bound workgroup selector prefixes from runtime starting indices
|
2026-10-14 20:39:25 +02:00 |
|
|
nmzik
|
ceccd746d8
|
shader: resolve workgroup-selected descriptor prefixes from dispatch arguments
Co-authored-by: fxpw <fxpw@outlook.com>
|
2026-10-14 20:29:48 +02:00 |
|
|
nmzik
|
c914435f20
|
shader: plan finite GPU-selected RGBA16 buffer stores
|
2026-10-14 19:13:16 +02:00 |
|
|
nmzik
|
b6da068313
|
shader: preserve typed candidates for unfiltered indirect image access
Co-authored-by: fxpw <fxpw@outlook.com>
|
2026-10-14 18:57:26 +02:00 |
|
|
nmzik
|
7c9da0e56f
|
shader: share finite texture selection through masked first-lane reads
Co-authored-by: fxpw <fxpw@outlook.com>
|
2026-10-14 17:29:49 +02:00 |
|
|
nmzik
|
6d6da57a95
|
shader: share formatted stores for GPU-selected signed byte records
|
2026-10-14 17:10:02 +02:00 |
|
|
nmzik
|
04cb4c6553
|
shader: separate exact descriptor row bounds from pointer offsets
|
2026-10-14 16:55:47 +02:00 |
|
|
nmzik
|
487bbf95fd
|
shader: share nested pointer-table image and sampler selection
Co-authored-by: fxpw <fxpw@outlook.com>
|
2026-10-14 16:40:15 +02:00 |
|
|
nmzik
|
4b549b9cb3
|
shader: prove constant post-tested image selector loops
Co-authored-by: fxpw <fxpw@outlook.com>
|
2026-10-14 15:11:12 +02:00 |
|
|
nmzik
|
9cc0bba80b
|
shader: bound GPU-selected record descriptors by scalar table geometry
|
2026-10-14 14:45:56 +02:00 |
|
|
nmzik
|
26d326d1b0
|
shader: share bounded record descriptors for packed loads and byte stores
Co-authored-by: fxpw <fxpw@outlook.com>
|
2026-10-14 05:07:24 +02:00 |
|
|
nmzik
|
8e4c3b5e14
|
shader: prove finite masked selectors for writable buffer tables
Co-authored-by: fxpw <fxpw@outlook.com>
|
2026-10-14 03:48:26 +02:00 |
|
|
nmzik
|
f57d2c0965
|
shader: keep unbounded material selectors on bounded GPU heaps
|
2026-10-13 21:33:50 +00:00 |
|
|
nmzik
|
f1577a5a94
|
shader: memoize bounded material record bit analysis
|
2026-10-13 21:33:50 +00:00 |
|
|
nmzik
|
d08a6cef64
|
shader: specialize guarded packed material selectors
|
2026-10-13 21:33:50 +00:00 |
|
|
nmzik
|
907c65f54c
|
shader: track material offsets scaled after lane selection
|
2026-10-13 21:33:50 +00:00 |
|
|
nmzik
|
fe6499b86e
|
shader: preserve clamped scalar material selector provenance
|
2026-10-13 21:33:50 +00:00 |
|
|
nmzik
|
6309ac838d
|
shader: restrict shared-list descriptor bounds to overlapping producers
|
2026-10-13 21:33:50 +00:00 |
|
|
nmzik
|
19799b3079
|
shader: simplify invariant execution masks in descriptor proofs
|
2026-10-13 21:33:50 +00:00 |
|
|
nmzik
|
4e16234d32
|
shader: bound signed image loops from their initial descriptor index
|
2026-10-13 21:33:50 +00:00 |
|
|
nmzik
|
5f6dc0a8d0
|
shader: stream tile bitmaps within their fixed descriptor domain
|
2026-10-13 21:33:50 +00:00 |
|
|
nmzik
|
34893dd8c8
|
shader: recognize unconditional predicates in implication proofs
|
2026-10-13 21:33:50 +00:00 |
|
|
nmzik
|
50595d1c13
|
shader: recover counted image rows through private LDS spills
|
2026-10-13 21:33:50 +00:00 |
|
|
nmzik
|
9a3aca963a
|
shader: combine image execution masks with descriptor branch bounds
|
2026-10-13 21:27:07 +00:00 |
|
|
nmzik
|
1fa79d5cac
|
shader: specialize bounded pointer and packed image tables
|
2026-10-13 21:27:07 +00:00 |
|
|
nmzik
|
c9ec82e32e
|
shader: factor live execution guards before resource planning
|
2026-10-13 21:27:07 +00:00 |
|
|
nmzik
|
7e884f55e0
|
shader: reuse dominating descriptor loads across image samples
|
2026-10-13 21:27:07 +00:00 |
|
|
nmzik
|
d70cbd4184
|
shader: bound descriptor worklists by their finite bit masks
|
2026-10-13 21:27:07 +00:00 |
|
|
nmzik
|
ed1195d1e7
|
shader: prove descriptor bounds from simplified image EXEC predicates
|
2026-10-13 21:27:07 +00:00 |
|
|
nmzik
|
25e1cc7ec9
|
shader: preserve descriptor bounds through guarded branch joins
|
2026-10-13 21:27:07 +00:00 |
|
|
nmzik
|
a287a54f26
|
shader: prove guarded descriptor counts for interleaved image records
|
2026-10-13 21:27:07 +00:00 |
|
|
nmzik
|
68d7bc94e2
|
shader: correlate masked first-lane material rows
|
2026-10-13 21:27:07 +00:00 |
|