This informs the optimization passeoperand bundle on an assume informs alias analysis that the
arguments point to regions of memory that were allocated separately (i.e. different heap allocations, different allocas, or different globals)
(i.e. As an annoying bit of complexitydifferent heap allocations, it requires a stateful iteration over the whole function to cache intrinsic calls.different allocas, This is inefficient for now, but there's ways we can fix it. or different
As a safety measure, we leave the analysis as a no-op by default. (So, e.g. if someone is bisecting a huge compiler slowdown, it'll blame to a flag-switch diff rather than a compiler upgrade)we leave the analysis flag-disabled by default.