Based on discourse discussion, fix the doc string and remove examples with wrong semantic. Also fix insert_map semantic by adding missing operand for vector we are inserting into.
Actually let's simplify this too:
Takes an 1-D vector and extract a sub-part of the vector starting at `id` with a size of `vector size / multiplicity`.
No need to speculate on all the things that %id will represent in the op definition.
Same here please.
Note this is missing the vector to insert into.
%n = constant dense<x> : vector<4xi32> %3 = vector.insert_map %1, %n[%idx0: 2] : vector<2xi32> to vector<4xi32>
Ah that changes quite the picture!
But why do we need a multiplicity attribute now? We have the type of the vector we insert into: don't we need only the index?
Good point, this is redundant right now. I think there was some ideas behind it to be able to handle non aligned cases but this is definitely premature at this point. Removing it to make things clearer for now.