Skip to content

Fix assume and assert in jump threading#120171

Merged
bors merged 3 commits into
rust-lang:masterfrom
cjgillot:jump-threading-assume-assert
Jan 24, 2024
Merged

Fix assume and assert in jump threading#120171
bors merged 3 commits into
rust-lang:masterfrom
cjgillot:jump-threading-assume-assert

Conversation

@cjgillot

Copy link
Copy Markdown
Contributor

@rustbot rustbot added 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. T-libs Relevant to the library team, which will review and decide on the PR/issue. labels Jan 20, 2024
@rustbot

rustbot commented Jan 20, 2024

Copy link
Copy Markdown
Collaborator

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

Comment thread tests/mir-opt/jump_threading.assume.JumpThreading.panic-unwind.diff
@tmiasko

tmiasko commented Jan 20, 2024

Copy link
Copy Markdown
Contributor

@bors r+

@bors

bors commented Jan 20, 2024

Copy link
Copy Markdown
Collaborator

📌 Commit a0a7173 has been approved by tmiasko

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jan 20, 2024
@cjgillot cjgillot added the A-mir-opt Area: MIR optimizations label Jan 21, 2024
@cjgillot cjgillot force-pushed the jump-threading-assume-assert branch from a0a7173 to afaac75 Compare January 23, 2024 00:00
@cjgillot

Copy link
Copy Markdown
Contributor Author

Rebased.
@bors r=tmiasko

@bors

bors commented Jan 23, 2024

Copy link
Copy Markdown
Collaborator

📌 Commit afaac75 has been approved by tmiasko

It is now in the queue for this repository.

@bors bors merged commit 6cca9b3 into rust-lang:master Jan 24, 2024
@rustbot rustbot added this to the 1.77.0 milestone Jan 24, 2024
@cjgillot cjgillot deleted the jump-threading-assume-assert branch January 24, 2024 01:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-mir-opt Area: MIR optimizations S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-libs Relevant to the library team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants