Bit stream copy performance question

A bit stream needs to be copied to bit vector.
Source type: bit bits[];
destination type: bit [8095:0] bit_vec;

The copy is kind of like bit stream casting in that bits[0] is the MSB and need to get copied to bit_vec[8095]. Then bits[1] to bit_vec[8094], and so on.

during simulation size of the bit stream varies considerably, from 1 to 4K+.

What would be the highest performant copy algorithm in general ?

In reply to robert.liu:

The best way of writing this is using the streaming operator

bit_vec = {>>{bits}};

If that doesn’t give you the best performance versus using any kind of for/foreach loop, I would report that to your tool vendor