.LCPI0_0:
        .long   0
        .long   1
        .long   2
        .long   3
.LCPI0_1:
        .long   4
        .long   4
        .long   4
        .long   4
.LCPI0_2:
        .long   8
        .long   8
        .long   8
        .long   8
.LCPI0_3:
        .long   12
        .long   12
        .long   12
        .long   12
.LCPI0_4:
        .long   16
        .long   16
        .long   16
        .long   16
.LCPI0_5:
        .long   20
        .long   20
        .long   20
        .long   20
.LCPI0_6:
        .long   24
        .long   24
        .long   24
        .long   24
.LCPI0_7:
        .long   28
        .long   28
        .long   28
        .long   28
.LCPI0_8:
        .long   32
        .long   32
        .long   32
        .long   32
example::vec:
        push    rbx
        mov     rbx, rdi
        mov     edi, 131072
        mov     esi, 4
        call    qword ptr [rip + __rust_alloc@GOTPCREL]
        test    rax, rax
        je      .LBB0_4
        movdqa  xmm0, xmmword ptr [rip + .LCPI0_0]
        mov     ecx, 28
        movdqa  xmm8, xmmword ptr [rip + .LCPI0_1]
        movdqa  xmm9, xmmword ptr [rip + .LCPI0_2]
        movdqa  xmm10, xmmword ptr [rip + .LCPI0_3]
        movdqa  xmm4, xmmword ptr [rip + .LCPI0_4]
        movdqa  xmm5, xmmword ptr [rip + .LCPI0_5]
        movdqa  xmm6, xmmword ptr [rip + .LCPI0_6]
        movdqa  xmm7, xmmword ptr [rip + .LCPI0_7]
        movdqa  xmm1, xmmword ptr [rip + .LCPI0_8]
.LBB0_2:
        movdqa  xmm2, xmm0
        paddd   xmm2, xmm8
        movdqu  xmmword ptr [rax + 4*rcx - 112], xmm0
        movdqu  xmmword ptr [rax + 4*rcx - 96], xmm2
        movdqa  xmm2, xmm0
        paddd   xmm2, xmm9
        movdqa  xmm3, xmm0
        paddd   xmm3, xmm10
        movdqu  xmmword ptr [rax + 4*rcx - 80], xmm2
        movdqu  xmmword ptr [rax + 4*rcx - 64], xmm3
        movdqa  xmm2, xmm0
        paddd   xmm2, xmm4
        movdqa  xmm3, xmm0
        paddd   xmm3, xmm5
        movdqu  xmmword ptr [rax + 4*rcx - 48], xmm2
        movdqu  xmmword ptr [rax + 4*rcx - 32], xmm3
        movdqa  xmm2, xmm0
        paddd   xmm2, xmm6
        movdqa  xmm3, xmm0
        paddd   xmm3, xmm7
        movdqu  xmmword ptr [rax + 4*rcx - 16], xmm2
        movdqu  xmmword ptr [rax + 4*rcx], xmm3
        paddd   xmm0, xmm1
        add     rcx, 32
        cmp     rcx, 32796
        jne     .LBB0_2
        mov     qword ptr [rbx], rax
        mov     qword ptr [rbx + 8], 32768
        mov     qword ptr [rbx + 16], 32768
        mov     rax, rbx
        pop     rbx
        ret
.LBB0_4:
        mov     edi, 131072
        mov     esi, 4
        call    qword ptr [rip + _ZN5alloc5alloc18handle_alloc_error17ha47010db164a19ccE@GOTPCREL]
        ud2