XChy wrote: > @XChy It's not possible to query DT during JumpThreading, because flushing updates is too expensive. You are right. It's similar to SimplifyCFG's case. We still need to maintain the backedges by ourselves. https://github.com/llvm/llvm-project/pull/70664