Inconsistent behaviour between using logical and bitwise `and`/`or` on `smin`/`smax`

[Kmeakin]

GCC recognises all these functions as equivalent, but LLVM doesn't:

int32_t smin(int32_t x, int32_t y) { return x < y ? x : y; }
int32_t smax(int32_t x, int32_t y) { return x < y ? x : y; }

bool smin_or_bitwise(int32_t x) { return (x < 0) | (smin(x, 1) < 0); }
bool smin_or_logical(int32_t x) { return (x < 0) || (smin(x, 1) < 0); }

bool smin_and_bitwise(int32_t x) { return (x < 0) & (smin(x, 1) < 0); }
bool smin_and_logical(int32_t x) { return (x < 0) && (smin(x, 1) < 0); }

bool smax_or_bitwise(int32_t x) { return (x < 0) | (smax(x, 1) < 0); }
bool smax_or_logical(int32_t x) { return (x < 0) || (smax(x, 1) < 0); }

bool smax_and_bitwise(int32_t x) { return (x < 0) & (smax(x, 1) < 0); }
bool smax_and_logical(int32_t x) { return (x < 0) && (smax(x, 1) < 0); }

https://godbolt.org/z/9caPKxz9h

[junaire]

https://alive2.llvm.org/ce/z/v273Hu

[nikic]

We should probably start by implementing (a generalization of) this fold: https://alive2.llvm.org/ce/z/G5A2sM

[dtcxzyw]

Candidate patch (Part I): https://reviews.llvm.org/D156238