haopliu wrote: Thank you all! Here is the follow-up DSE commit for reference (https://github.com/llvm/llvm-project/commit/58dd8a440343055b1a4929d72317218e912c16fd). Will merge this refactoring PR this week if no other comments. https://github.com/llvm/llvm-project/pull/100956