AZero13 wrote: Future PR: I don't want to have a situation where we jump via bls -> blo -> where we wanna go Instead we can just do blo (if bls is first) blo-loc then: bls bls-loc because one implies the other. https://github.com/llvm/llvm-project/pull/144380