https://github.com/matthias-springer commented: Thx for adding the test cases. I think these show that there is still something wrong. Can we give the implementation that I commented a try? https://github.com/llvm/llvm-project/pull/179684