Skip to content

Version 13: Add tl.dot semantics - #9

Merged
pbelevich merged 1 commit into
mainfrom
version-13-dot-semantics
Aug 22, 2026
Merged

Version 13: Add tl.dot semantics#9
pbelevich merged 1 commit into
mainfrom
version-13-dot-semantics

Conversation

@pbelevich

Copy link
Copy Markdown
Owner

Summary

  • add public tl.dot with rank-2 f32 shape and type semantics
  • lower dot to typed SSA and verify rank, dtype, contraction, and result shape
  • classify dot as pure for CSE/DCE and explicitly defer CUDA lowering

Tests

  • make (259 passed)

@pbelevich
pbelevich merged commit f208b2a into main Aug 22, 2026
4 checks passed
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