`"a" is "b"` is true about ldc HOT 2 CLOSED

Related LLVM change: https://reviews.llvm.org/D87123

from ldc.

This bug is not related to LLVM or wrong optimization by LLVM. The generated code does not even contain an icmp because LDC recognizes that the condition is a compile-time constant and thus is known to be either true or false at compile-time and no branching is needed. (#3134, since 1.19)
The bug arises since 1.25, where for some reason "a" is "b" evaluates to true (when it is the condition of if).

Edit: Actually this is related to LLVM. The bug shows up since LLVM 11.0.1, not with 11.0.0. LDC 1.25 happens to be released with LLVM 11.0.1, LDC 1.24 with LLVM 11.0.0.

Reproducer for change of LLVM behavior: https://llvm.godbolt.org/z/T4G9jcs1e
Notice how 11.0.0 folds the icmp to false, but 11.0.1 does not constfold the if-condition at all.

from ldc.