joker-eph wrote: > You can write down the same example with transpose / shape_cast inverted and come to the opposite conclusion. Are you saying that there are sequences of transposes that can't be all shape_casts that would fold themselves? https://github.com/llvm/llvm-project/pull/140583