Repository navigation
Conversation
Create a host-only Cargo workspace that specializes selected CUB forms through NVRTC and reports exact scratch layouts with their LTO output. Bind specialization identities to source, headers and toolkit bytes. Include a runnable provider example, Rust guide and CPU checks. Signed-off-by: Trent Nelson <trent@trent.me>
Install the pinned toolchain without updating rustup itself. Signed-off-by: Trent Nelson <trent@trent.me>
Serve native specialization batches through the versioned Oxide boundary and exercise Load and Store through a standalone Cargo consumer with a generic helper dependency. Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Reuse the same helper sites with 64- and 128-thread kernels and retain one device static across their emitted bodies. Check each launch plan and preserve fixed external-symbol diagnostics. Signed-off-by: Trent Nelson <trent@trent.me>
Select fixture output locations from raw CUDA coordinates and exercise payload initialization, access and copying at both item counts. Annotate compile-fail examples and clarify hierarchy ordering in the guide. Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me> # Conflicts: # rust/Cargo.lock
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Use the current compiler diagnostic for the original case. Keep its program body and all other expectations unchanged. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Use the current compiler diagnostic for the original case. Keep its program body and all other expectations unchanged. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Use the scoped barrier diagnostic for conflicting Warp accesses. Accept the two finite sibling-warp read loops after reconvergence, matching the migrated checker and existing logical-warp policy. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
Merge the corrected prerequisite while preserving this owner. Signed-off-by: Trent Nelson <trent@trent.me>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Superseded by #12117, which now owns this implementation within its complete feature family. The original commits, branch and validation evidence remain available. This draft is closed unmerged.
Historical scope and validation below refer to the original source heads.
group_by_non_exhaustive::<N>()now carries recognized prefix membership through generic helpers for Warp widths 17–31. It preserves the existing low-lane membership result while letting the compiler prove participation in checked collectives. This step changes only three lines ingroup.rs; the public Reduce API follows separately.This draft follows #12117 and uses Oxide #1593. Its immutable owning diff isolates those three lines; the PR against
mainincludes its prerequisites.Validation with the pinned compiler passes formatting, 49 host tests/doctests, strict Clippy and rustdoc, and all 172 existing compiler controls (75 accepts, 97 rejects). Both original release consumers build with line information. Artifact inspection accounts for their typed ABI, launch facts, scratch layout and executable call targets. GPU checks pass all five private prefix cases (2,560 observations), the public Scan example (1,906 prefixes), and prefix memcheck, racecheck and synccheck.
Host CI passes on this commit. No timing or historical code-equality claim is made.