[llvm] ValueTracking: strip stray break in recur-match (PR #109794)

Ramkumar Ramachandra via llvm-commits llvm-commits at lists.llvm.org
Thu Oct 3 01:01:01 PDT 2024


artagnon wrote:

Investigating it this morning, and I see the code guarded by:

```
if (Depth < MaxAnalysisRecursionDepth - 1 && Known.isUnknown())
```

Doesn't this mean that any inserted `break` is redundant, and that we were actually breaking in more cases than necessary previously? Otherwise, how can Known be Unknown?

https://github.com/llvm/llvm-project/pull/109794


More information about the llvm-commits mailing list