vporpo wrote: > I'm not clear if there should be another union method API returning two intervals when there is no overlap (minimal instruction coverage vs maximal). We can add one once it's needed. https://github.com/llvm/llvm-project/pull/111455