 nmzik
|
bb505a3ae8
|
Recognize packed descriptor keys in GPU sampler waterfalls
|
2026-10-19 02:34:25 +02:00 |
|
|
nmzik
|
b2d3ce6dfc
|
shader: size expanded sampler bindings independently of native roots
|
2026-10-19 02:34:25 +02:00 |
|
|
nmzik
|
09c993dfe0
|
shader: query dimensions through shared indirect image selection
|
2026-10-19 02:34:25 +02:00 |
|
|
nmzik
|
de81300b28
|
shader: bound indexed material image selectors before heap expansion
|
2026-10-19 02:34:25 +02:00 |
|
|
nmzik
|
ac3711ce7c
|
shader: select the primary mip for linear explicit-LOD gathers
|
2026-10-19 02:34:24 +02:00 |
|
|
nmzik
|
e9bcc77e0b
|
shader: retain resource guards for 64-bit scalar comparisons
|
2026-10-18 20:22:54 +02:00 |
|
|
nmzik
|
33208a545a
|
shader: remove artificial sampled image and sampler pair limit
|
2026-10-18 03:20:38 +02:00 |
|
|
nmzik
|
d01633e18e
|
Revert "Fix scalar buffer reads across sparse guest mappings"
This reverts commit d7974dc763.
|
2026-10-16 19:13:36 +02:00 |
|
|
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 |
|