Skip to content

[BACKEND] Add Tsingmicro backend integration (Triton 3.6) - #1071

Open
tsingmicro-public-e wants to merge 7 commits into
flagos-ai:mainfrom
tsingmicro-public-e:backend/tsingmicro-v3.6
Open

[BACKEND] Add Tsingmicro backend integration (Triton 3.6)#1071
tsingmicro-public-e wants to merge 7 commits into
flagos-ai:mainfrom
tsingmicro-public-e:backend/tsingmicro-v3.6

Conversation

@tsingmicro-public-e

@tsingmicro-public-e tsingmicro-public-e commented Aug 31, 2026

Copy link
Copy Markdown
Collaborator

Summary

Add the Tsingmicro backend integration based on Triton 3.6.

Changes

  • Add third_party/tsingmicro/ backend: compiler/driver, Tx81 CRuntime, MLIR conversion
    passes, and the tsingmicro-opt tool.
  • Add TLE-Struct DSA support: tle.language.dsa primitives, the tle-dsa dialect
    (DsaDialect, DsaToCore conversion) and its pybind (triton_tle_dsa.cc).
  • Register dsa.* primitives in TLE_PRIMITIVES and add
    third_party/tsingmicro/backend/tle_supported.py for the TLE primitive whitelist.
  • Add dsa integration tests under python/test/tle/integration/.

@CLAassistant

CLAassistant commented Aug 31, 2026

Copy link
Copy Markdown

CLA assistant check
All committers have signed the CLA.

@github-actions github-actions Bot added DOC Improvements or additions to documentation tle tsingmicro CORE main labels Aug 31, 2026
@sunnycase

Copy link
Copy Markdown
Collaborator

Hi @tsingmicro-public-e, thank you for contributing the Tsingmicro backend integration.

Could you please update the PR description with implementation and evaluation details similar to PR #843, including:

  • A complete list or status table of the TLE primitives implemented and supported by this backend, including the new tle.language.dsa primitives.
  • Known limitations, constraints, and currently unsupported TLE primitives or features.
  • Performance data for representative workloads, with comparison baselines where available. Please also include the relevant hardware, software, input shapes, and benchmark configuration so that the results are reproducible.

This information would help reviewers assess the current feature coverage, usability, and performance of the backend. Thank you!

copy,
memory_space,
local_ptr,
cumsum,

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

cumsum should be a tle-lite primitive.

Comment on lines +19 to +20
extract_tile,
insert_tile,

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

extract/insert_tile should be tle-lite primitives.

@sunnycase

sunnycase commented Sep 1, 2026

Copy link
Copy Markdown
Collaborator

One more suggestion: for this PR, could you please place randgen, rand, and randn under tle.dsa.tsingmicro for now? We would like to further evaluate whether these primitives are sufficiently generic across backends. If they prove to be broadly applicable, we can consider moving them to tle-lite in a follow-up.

@tsingmicro-public-e

Copy link
Copy Markdown
Collaborator Author

One more suggestion: for this PR, could you please place randgen, rand, and randn under tle.dsa.tsingmicro for now? We would like to further evaluate whether these primitives are sufficiently generic across backends. If they prove to be broadly applicable, we can consider moving them to tle-lite in a follow-up.

Hi @sunnycase, thank you for the review and the suggestion!

Just to make sure we implement it correctly: when you say placing randgen/rand/randn under tle.dsa.tsingmicro, do you mean:

  1. A real namespace change — users would call them as tle.dsa.tsingmicro.randgen(...) (similar to tle.dsa.ascend.UB on Ascend), and tle.dsa.randgen would be removed; or
  2. Only a code-organization change — the implementations move into a separate tsingmicro module for easier maintenance, but the public API remains tle.dsa.randgen(...).

We are assuming (1), since it matches the existing dsa.ascend pattern, but we'd like to confirm before refactoring. Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CORE DOC Improvements or additions to documentation main tle tsingmicro

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants