DianQK wrote: > I think we are better off expressing this more generically. Yeah, this should be a lot better. The test cases for this PR may be helpful. If you need. https://github.com/llvm/llvm-project/pull/69445