Skip to content

Represent TypedSOAC map destinations as inout - #192

Merged
whilo merged 1 commit into
mainfrom
codex/typed-soac-inout
Aug 30, 2026
Merged

Represent TypedSOAC map destinations as inout#192
whilo merged 1 commit into
mainfrom
codex/typed-soac-inout

Conversation

@whilo

@whilo whilo commented Aug 30, 2026

Copy link
Copy Markdown
Member

Summary

  • keep pointwise read/write map destinations on the direct analyzed-source to TypedSOAC to SegOp route
  • make KernelABI access kind orthogonal to semantic role and bind a destination once as an inout result
  • share readable/writable interpretation across composition and resident/staged runtimes
  • select the staged generic-map marker by backend so OpenCL programs do not call the Level Zero runtime

Verification

  • focused compiler/runtime gate: 53 tests, 267 assertions (five Level Zero device tests skipped because this host has no Level Zero device)
  • TypedSOAC route gate: 22 tests, 154 assertions
  • local Intel Arc OpenCL gate: 12 tests, 23 assertions, including resident replay and staged inout execution
  • targeted cljfmt and git diff check

The broader formatter reports pre-existing drift in untouched regions of segop_opencl.clj, core.clj, and kernel_abi_test.clj; this PR leaves those unrelated mechanical rewrites out.

@whilo
whilo merged commit 1b5e20c into main Aug 30, 2026
6 checks passed
@whilo
whilo deleted the codex/typed-soac-inout branch August 30, 2026 05:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant