dtcxzyw wrote: > I don't see any overflow checks here... is there some reason you can't overflow a uint64_t? I think it overflows when there are more than 2^64 instructions in the IR. Can you provide a counterexample? https://github.com/llvm/llvm-project/pull/94232