Re: Add an empty constructor shortcut to build_vector_from_ctor

2019-11-16 Thread Jeff Law
On 11/16/19 6:55 AM, Richard Sandiford wrote: > Empty vector constructors are equivalent to zero vectors. If we handle > that case directly, we can support it for variable-length vectors and > can hopefully make things more efficient for fixed-length vectors. > > This is needed by a later C++ pat

Add an empty constructor shortcut to build_vector_from_ctor

2019-11-16 Thread Richard Sandiford
Empty vector constructors are equivalent to zero vectors. If we handle that case directly, we can support it for variable-length vectors and can hopefully make things more efficient for fixed-length vectors. This is needed by a later C++ patch. Tested on aarch64-linux-gnu and x86_64-linux-gnu.