Skip to content

autodiff - typtree cleanups#158278

Open
ZuseZ4 wants to merge 2 commits into
rust-lang:mainfrom
ZuseZ4:typetrees-for-enzyme2
Open

autodiff - typtree cleanups#158278
ZuseZ4 wants to merge 2 commits into
rust-lang:mainfrom
ZuseZ4:typetrees-for-enzyme2

Conversation

@ZuseZ4

@ZuseZ4 ZuseZ4 commented Jun 23, 2026

Copy link
Copy Markdown
Member

In some recent experiments I managed to lower more MIR information to LLVM to help Enzyme compile a test case that was previously failing.

That PR became a little bigger, and we might want to add even more code. To get started I split it out of mod.rs, since that file is already 2.4k loc. In the process, I also fix some checks and deleted typetree_from_ty_impl and typetree_from_ty_inner, since they don't do much.

r? oli-obk

(noticed a regression in a test, marking as draft for now.)

@ZuseZ4 ZuseZ4 added the F-autodiff `#![feature(autodiff)]` label Jun 23, 2026
@rustbot rustbot added A-LLVM Area: Code generation parts specific to LLVM. Both correctness bugs and optimization-related issues. S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Jun 23, 2026
@ZuseZ4 ZuseZ4 marked this pull request as draft June 23, 2026 00:34
@rustbot rustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jun 23, 2026
@rust-log-analyzer

This comment has been minimized.

@ZuseZ4 ZuseZ4 force-pushed the typetrees-for-enzyme2 branch from 81fe112 to 8698ac6 Compare June 23, 2026 08:07
@ZuseZ4 ZuseZ4 marked this pull request as ready for review June 23, 2026 08:11
@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Jun 23, 2026
@ZuseZ4

ZuseZ4 commented Jun 23, 2026

Copy link
Copy Markdown
Member Author

Ok, the test was failing on main, regardless of the refactoring. Slightly concerning, but I'll fix it along with the logic updates in the follow-up pr.

Comment thread compiler/rustc_middle/src/ty/typetree.rs Outdated
Comment thread compiler/rustc_middle/src/ty/typetree.rs Outdated
@rustbot rustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jun 23, 2026
@ZuseZ4 ZuseZ4 force-pushed the typetrees-for-enzyme2 branch from 8698ac6 to d9038db Compare June 23, 2026 15:20
@ZuseZ4

ZuseZ4 commented Jun 23, 2026

Copy link
Copy Markdown
Member Author

@bors review

@rust-bors

rust-bors Bot commented Jun 23, 2026

Copy link
Copy Markdown
Contributor

Unknown command "review". Run @bors help or go to https://bors.rust-lang.org/help to see available commands.

@ZuseZ4 ZuseZ4 added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Jun 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-LLVM Area: Code generation parts specific to LLVM. Both correctness bugs and optimization-related issues. F-autodiff `#![feature(autodiff)]` S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants