Change Details

This informs the optimization passes that the arguments point to regions of memory that were allocated separately (i.e. different heap allocations, different allocas, or different globals). As an annoying bit of complexity, it requires a stateful iteration over the whole function to cache intrinsic calls. This is inefficient for now, but there's ways we can fix it. 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).

This operand 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). As a safety measure, we leave the analysis flag-disabled by default.

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 globals). 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.