Conversation
Pure rename of extensions/riscv/circuit/cuda/include/rv32im/ to extensions/riscv/circuit/cuda/include/riscv/ with matching updates to #include paths in src/*.cu. No content changes.
|
Claude encountered an error —— View job I'll analyze this and get back to you. |
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
|
Claude encountered an error —— View job I'll analyze this and get back to you. |
|
Claude encountered an error —— View job I'll analyze this and get back to you. |
shuklaayush
left a comment
There was a problem hiding this comment.
approved with some comments
| uint32_t *__restrict__ d_range_checker, | ||
| uint32_t range_checker_num_bins, | ||
| uint32_t *__restrict__ d_bitwise_lookup, | ||
| uint32_t bitwise_num_bits, |
There was a problem hiding this comment.
this is unrelated but can you do a cleanup in a follow-up pr to remove this argument and use a constant instead? we're passing RV64_CELL_BITS as u32 as bitwise_num_bits from rust and it doesn't make sense to use a runtime value here. also do a sweep for other kernels so we don't pass constants as arguments
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
|
Claude finished @876pol's task in 1m 24s —— View job Code Review: rv64 cuda hintstore
This PR ports the CUDA Overall: Looks good. The RV32→RV64 rename is consistent and the key arithmetic matches the Rust side. Verified correctness
Minor notes
No correctness issues found. |
ff9047b to
e24c55e
Compare
e24c55e to
ff9047b
Compare
|
Claude finished @876pol's task in 2m 3s —— View job Code Review: rv64 cuda hintstore
This PR ports the CUDA Overall: Looks good. The RV32→RV64 rename is consistent, constants are correct, and the key arithmetic matches the Rust side. Verified correctness
Style nit
Notes on existing review comments
No correctness issues found. |
|
Claude finished @876pol's task in 1m 30s —— View job Code Review: rv64 cuda hintstore
This PR ports the CUDA Overall: Looks correct. The RV32→RV64 rename is consistent and the key arithmetic matches the Rust side. No correctness issues found. Verified correctness
Minor notes (non-blocking)
No correctness issues found. LGTM. |
|
Claude finished @876pol's task in 1m 46s —— View job Code Review: rv64 cuda hintstore
This PR ports the CUDA Overall: Looks correct. No issues found. Verified correctness
Notes on existing review comments
LGTM — no correctness issues found. |
|
Claude finished @876pol's task in 1m 31s —— View job Code Review: rv64 cuda hintstore
This PR ports the CUDA Overall: Looks correct. No issues found. Verified correctness
Notes on existing review comments
LGTM — no correctness issues found. |
Resolves INT-7554.