Compiler not detecting 'known pattern'

[AnthonV]

Hi, I would appreciate some help on the following: why does the attached diagram result in a buffer allocation?  The known pattern of unbundle-operation-bundle' is detected properly, but the 'index-operation-replace subset' results in a buffer allocation.  Both of these should be known to the compiler and not result in a buffer allocation.   The structure is:  cluster of arrays of clusters (the cluster in the array only consists of scalars).

Any clues will be appreciated.

Thanks.

[tst]

You should not start different threads all over the place. It is best to keep the discussion to a single place, even if the original title is not fully descriptive.

[AnthonV]

In my mind this was a different issue though, but I take your point.