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
dhartglassMSFT commentedon Jul 2, 2026
Have a fix locally, going through diffs
dotnet-policy-service commentedon Jul 2, 2026
Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch
See info in area-owners.md if you want to be subscribed.
Fix edge likelihoods out of optimize bools (#131356)