https://github.com/jeanPerier commented: This looks great, I have little to say on the lowering and made a few questions/comments inline https://github.com/llvm/llvm-project/pull/113504