rengolin wrote: We need this implementation agreed and merged so we can start adding actual properties and change the upstream passes to use them, and show the real value from this work. https://github.com/llvm/llvm-project/pull/92138