You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Similar to #73446. But it's more complicated.
This should be caused by KnownBits.
We know that this %bar can only be -1, 0 and 1. So we can transform the default branch to a branch with a specific value.
There are several variants of this issue, such as replacing -1 with some other value and increasing the number of cases.
I tried the following code, which I expect to be optimized.
Alive2: https://alive2.llvm.org/ce/z/zyMuXt
Similar to #73446. But it's more complicated.
This should be caused by KnownBits.
We know that this
%bar
can only be -1, 0 and 1. So we can transform the default branch to a branch with a specific value.There are several variants of this issue, such as replacing -1 with some other value and increasing the number of cases.
From: rust-lang/rust#119520.
The text was updated successfully, but these errors were encountered: