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

[Florian Hahn via llvm-commits]

fhahn 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 ?

I don't think to underlying issue is with this patch. It looks like the test has undefined behavior (signed integer overflow):

```
llvm-test-suite/SingleSource/Regression/C/gcc-c-torture/execute/950704-1.c:9:9: runtime error: signed integer overflow: -9223372036854775808 + -9223372036854775808 cannot be represented in type 'long long'
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior llvm-test-suite/SingleSource/Regression/C/gcc-c-torture/execute/950704-1.c:9:9 in
```

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