joker-eph wrote: It is a bit tricky because that would belong to the verifier I believe, however, the semantic of this discardable attribute is tied to the lowering... https://github.com/llvm/llvm-project/pull/205035