nikic wrote: I think we should at least try to solve this by breaking up the GEPs first. If that is not feasible without a lot of effort right now (because too many other opts depend on the status quo), then we can consider this direction. https://github.com/llvm/llvm-project/pull/85090