array.push(Foo { ... }) should construct Foo in-place

[pcwalton]

Right now when you push an immediate we construct a temporary copy on the stack and then move it into place on the heap. This is wasteful and results in a good deal of code bloat. Can we do better (with MIR perhaps)?

One possible sketch of a solution is to implement MIR inlining and then use some variant of #32966 that can prove that the construction of the argument to push() does not touch the vector, enabling us to forward the move from the stack to the destination of ptr::write().

An alternative would be to implement rust-lang/rfcs#1426.

cc @eddyb @nikomatsakis

[pcwalton]

See also #27779 and #30172

[eddyb]

A simple test I put together quickly results in IR that looks like this:

  %6 = getelementptr inbounds %Struct, %Struct* %.pre, i64 %.pre.i, i32 0
  store i64 %1, i64* %6, align 8
  %7 = getelementptr inbounds %Struct, %Struct* %.pre, i64 %.pre.i, i32 1
  store i64 %2, i64* %7, align 8

There %.pre is the data pointer loaded from the Vec itself.

@pcwalton The problem occurs in more complex cases, could you try adjusting the one I linked to be more like what you're seeing copies with?

[nikomatsakis]

I thought we had some initial impl of placement new?

[apasel422]

CC #32366.

[arielb1]

Is there a code example?

[ishitatsuyuki]

Bump; move elimination is one thing we want. @nikomatsakis MIR inlining is available today, what additionally do we need?