[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