matthias-springer wrote: That being said, don't throw this code away yet, if the consensus is that folding/canonicalization should create poison values, we probably need exactly the code that you wrote here. https://github.com/llvm/llvm-project/pull/68519