https://github.com/antoniofrighetto commented: I wonder if we should try to address this first in DSE, by implementing the new semantics (instead of forwarding the store i1 value to the load i8 here). https://github.com/llvm/llvm-project/pull/192604