Skip to content

[mlir] Sanitize identifiers with leading symbol.#94795

Merged
dtzSiFive merged 1 commit intollvm:mainfrom
dtzSiFive:fix/mlir-id-sanitization-leading-sym
Jun 11, 2024
Merged

[mlir] Sanitize identifiers with leading symbol.#94795
dtzSiFive merged 1 commit intollvm:mainfrom
dtzSiFive:fix/mlir-id-sanitization-leading-sym

Commits

Commits on Jun 7, 2024