https://github.com/nikic commented: This looks good to me as well, but I have one note on the test. I don't think your "commutative" tests are testing what you think they are... https://github.com/llvm/llvm-project/pull/73990