[llvm] [clang] [ValueTracking] Add dominating condition support in computeKnownBits() (PR #73662)

[via cfe-commits]

yonghong-song wrote:

> @yonghong-song I think it may be possible to improve CVP to handle this better, in which case we won't need BPF workarounds. I'll look into it.

@nikic and @bjope. Indeed, https://github.com/llvm/llvm-project/pull/75039 didn't resolve the issue and the generated bpf code is the same as without this patch, so some more works are needed. Thank you both for looking at the issue!

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