matthias-springer wrote: Can you share some more details about your use case? Note that "entry block arguments" are special (semantics defined by the operation) and not blindly eliminated. Is that not sufficient? https://github.com/llvm/llvm-project/pull/210435