joker-eph wrote: @jaredhoberock I suspect you didn't expect this cost, while the current PR avoids it in some cases, I wonder if there isn't something we can do about optimizing this verification cost in general? https://github.com/llvm/llvm-project/pull/212160