Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Implement jump threading MIR opt #107009

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 16 commits into from
Oct 23, 2023
Merged

Implement jump threading MIR opt #107009

Changes from 1 commit
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
8252ad0
Extract cost checker from inliner.
cjgillot Jan 17, 2023
3cb0c2e
Make instance an option in CostChecker.
cjgillot Feb 3, 2023
751a079
Implement JumpThreading pass.
cjgillot Jan 16, 2023
0d0a536
Do not thread through loop headers.
cjgillot Apr 20, 2023
df9e5ee
Handle more terminators.
cjgillot Feb 7, 2023
4abea83
Improve naming and comments.
cjgillot Oct 14, 2023
b5aa1ef
Document mutated_statement.
cjgillot Oct 17, 2023
4705624
Make polarity an enum.
cjgillot Oct 17, 2023
98b86fa
Document Condition.
cjgillot Oct 17, 2023
6abd8f1
Rebase fallout.
cjgillot Oct 18, 2023
d5b21ef
Explicit notation.
cjgillot Oct 18, 2023
66ec098
Simplify static if handling.
cjgillot Oct 19, 2023
54b61d6
Reword TO application comments.
cjgillot Oct 19, 2023
8fb99af
Correct loop_headers logic.
cjgillot Oct 20, 2023
a845bac
FileCheck annotations.
cjgillot Oct 20, 2023
dd08dd4
Expand comment on disappearing edge.
cjgillot Oct 20, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Simplify static if handling.
  • Loading branch information
@cjgillot
cjgillot committed Oct 21, 2023
commit 66ec098ea7804ce8d02275cd754ccdcd7813bfdf
10 changes: 6 additions & 4 deletions compiler/rustc_mir_transform/src/jump_threading.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -571,12 +571,14 @@ impl<'tcx, 'a> TOFinder<'tcx, 'a> {
debug!(?target_bb, ?c.target, "register");
self.opportunities.push(ThreadingOpportunity { chain: vec![], target: c.target });
}
} else if target_bb == targets.otherwise() {
let (value, _, _) = targets.as_static_if()?;
} else if let Some((value, _, else_bb)) = targets.as_static_if()
&& target_bb == else_bb
{
let value = ScalarInt::try_from_uint(value, discr_layout.size)?;

// Likewise, we know that `discr != value`. That's a must weaker information,
// so we can only match the exact same condition.
// We only know that `discr != value`. That's much weaker information than
// the equality we had in the previous arm. All we can conclude is that
// the replacement condition `discr != value` can be threaded, and nothing else.
for c in conditions.iter() {
if c.value == value && c.polarity == Polarity::Ne {
debug!(?target_bb, ?c.target, "register");
Expand Down