[llvm] [ConstraintElim] Support adding facts from switch terminators. (PR #67061)

[Florian Hahn via llvm-commits]

fhahn wrote:

> LGTM, but can you please also add a negative test with a multi-edge from the switch? I.e. two cases going to the same block. I think the dominates query handles this correctly, but better be sure.

Thanks,  added in [0cb3530](https://github.com/llvm/llvm-project/commit/0cb353068056690dbe91c69336f7e6917f537b40)



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