Skip to content

Optimize bools miscalculates edge likelihoods #130150

Closed

Description

@dhartglassMSFT

Example

We have (note BB03->BB06 likelihood of 0.96)

------------ BB03 [0002] [016..022) -> BB06(0.9697322),BB04(0.03026775) (cond), preds={BB02} succs={BB04,BB06}

and

------------ BB04 [0003] [022..02B) -> BB06(0),BB05(1) (cond), preds={BB03} succs={BB05,BB06}

Optimize bools combines them this, with a BB3->BB06 likelihood that's much lower than it should be:

------------ BB03 [0002] [016..02B) -> BB06(0),BB05(1) (cond), preds={BB02} succs={BB05,BB06}

Activity

  1. added this to the 11.0.0 milestone on Jul 2, 2026
  2. added
    area-CodeGen-coreclrCLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI
    on Jul 2, 2026
  3. dhartglassMSFT commented on Jul 2, 2026

    @dhartglassMSFT
    ContributorAuthor

    Have a fix locally, going through diffs

  4. dotnet-policy-service commented on Jul 2, 2026

    @dotnet-policy-service
    Contributor

    Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch
    See info in area-owners.md if you want to be subscribed.

  5. added
    Priority:2Work that is important, but not critical for the release
    on Jul 9, 2026
  6. added a commit that references this issue on Aug 14, 2026
    f11b245
  7. locked and limited conversation to collaborators on Sep 14, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Labels

Priority:2Work that is important, but not critical for the releasearea-CodeGen-coreclrCLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI

Type

No type

Projects

No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions