On 9/26/26 6:47 PM, Andrea Pinski wrote:
So currently we only allow deriving other operands from comparisons on the edges using singleton. That is `a == CST` and only on the true edge there. This means in some cases like when we know that `a != 0`, we don't derive information from `a = b - c` where we notice that `b != c` on that edge too. I have not measued the compile time or how efficient this is though. But since most of the time was already added with the r17-4663-gbddea69ee406a change in register_outgoing_edges; this instead of bypassing for the singleton case.
Performance run indicates no issues at all, so I'm OK with this. Andrew
