[llvm] [ConstraintElim] Extend AND implication logic to support OR as well. (PR #76044)

[antoine moynault via llvm-commits]

antmox wrote:

Hi,

It looks like this commit broke some bots:
- https://lab.llvm.org/buildbot/#/builders/198/builds/7506
- https://lab.llvm.org/buildbot/#/builders/176/builds/7471
- https://lab.llvm.org/buildbot/#/builders/197/builds/11521
- https://lab.llvm.org/buildbot/#/builders/184/builds/8685

Failed Tests (1):
  test-suite :: SingleSource/Regression/C/gcc-c-torture/execute/GCC-C-execute-950704-1.test

Could you please look at this ?


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