kazutakahirata wrote: > Perhaps add an assertion check that ValueSites.size() == Site + 1 ? OK. I've added an assertion `ValueSites.size() == Site` before adding a value. Please take a look. Thanks! https://github.com/llvm/llvm-project/pull/96233