serge-sans-paille wrote: @hvdijk : Are you fine with me landing this as part of https://github.com/llvm/llvm-project/pull/115522 ? We can elaborate on the negative gep composition aspects in a later patch. https://github.com/llvm/llvm-project/pull/115504