Skip to content

Move tsl/platform/* interface headers and source files to xla/tsl/platform/*.#3551

Open
copybara-service[bot] wants to merge 1 commit into
mainfrom
test_910851800
Open

Move tsl/platform/* interface headers and source files to xla/tsl/platform/*.#3551
copybara-service[bot] wants to merge 1 commit into
mainfrom
test_910851800

Conversation

@copybara-service
Copy link
Copy Markdown

@copybara-service copybara-service Bot commented May 5, 2026

Move tsl/platform/* interface headers and source files to xla/tsl/platform/*.

This is to fix a layering issue without introducing circular dependencies
when using bzlmod. The implementations in xla/tsl/platform/default
need direct access to the interface headers from the same repository
(i.e. not from TSL exports_files) in order to propagate the correct
CcInfo for determining proper include paths. Adding a direct dep
back into tsl/platform would introduce a circular dependency.

Left behind forwarding headers and libraries to reduce churn for now.
Can be removed as a follow-up.

@copybara-service copybara-service Bot force-pushed the test_910851800 branch 4 times, most recently from 790b4e2 to 1722f7c Compare May 7, 2026 22:44
@copybara-service copybara-service Bot changed the title Move tsl/platform/* interface headers to xla/tsl/platform/*. Move tsl/platform/* interface headers and source files to xla/tsl/platform/*. May 7, 2026
@copybara-service copybara-service Bot force-pushed the test_910851800 branch 7 times, most recently from c4b3d8d to 1dbe609 Compare May 8, 2026 16:45
…tform/*.

This is to fix a layering issue without introducing circular dependencies
when using bzlmod.  The implementations in xla/tsl/platform/default
need direct access to the interface headers from the same repository
(i.e. not from TSL `exports_files`) in order to propagate the correct
`CcInfo` for determining proper include paths.  Adding a direct dep
back into `tsl/platform` would introduce a circular dependency.

Left behind forwarding headers and libraries to reduce churn for now.
Can be removed as a follow-up.

PiperOrigin-RevId: 910851800
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