https://github.com/legrosbuffle commented: IIUC this comes mostly from existing implementations, but I can't easily wrap my head around this so I htink we should add a few tests for this... https://github.com/llvm/llvm-project/pull/65750