https://github.com/aeubanks commented: aside from one comment, lgtm. do you have a followup DSE commit you could reference in this commit's description? https://github.com/llvm/llvm-project/pull/100956