[Bug target/102197] New: ABI to pass and return 32-bit FP vectors

[Bug target/102197] New: ABI to pass and return 32-bit FP vectors

[hjl.tools at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102197

            Bug ID: 102197
           Summary: ABI to pass and return 32-bit FP vectors
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hjl.tools at gmail dot com
                CC: crazylht at gmail dot com, ubizjak at gmail dot com
  Target Milestone: ---
            Target: x86-64

[hjl@gnu-cfl-2 pr102143]$ cat v1sf.c
typedef float __v1sf __attribute__ ((__vector_size__ (4)));

struct s1sf
{
  float f;
};

extern __v1sf v1sf;
extern struct s1sf s1sf;

extern void foo1 (__v1sf);
extern void bar1 (struct s1sf);

__v1sf
foo2 (void)
{
  foo1 (v1sf);
  return v1sf;
}

struct s1sf
bar2 (void)
{
  bar1 (s1sf);
  return s1sf;
}
[hjl@gnu-cfl-2 pr102143]$ make v1sf.s
/export/build/gnu/tools-build/gcc-gitlab-debug/build-x86_64-linux/gcc/xgcc
-B/export/build/gnu/tools-build/gcc-gitlab-debug/build-x86_64-linux/gcc/ -O2 -S
v1sf.c
[hjl@gnu-cfl-2 pr102143]$ cat v1sf.s
        .file   "v1sf.c"
        .text
        .p2align 4
        .globl  foo2
        .type   foo2, @function
foo2:
.LFB0:
        .cfi_startproc
        pushq   %r12
        .cfi_def_cfa_offset 16
        .cfi_offset 12, -16
        movq    %rdi, %r12
        subq    $32, %rsp
        .cfi_def_cfa_offset 48
        movl    v1sf(%rip), %eax
        movl    %eax, (%rsp)
        call    foo1
        movl    v1sf(%rip), %eax
        movl    %eax, (%r12)
        addq    $32, %rsp
        .cfi_def_cfa_offset 16
        movq    %r12, %rax
        popq    %r12
        .cfi_def_cfa_offset 8
        ret
        .cfi_endproc
.LFE0:
        .size   foo2, .-foo2
        .p2align 4
        .globl  bar2
        .type   bar2, @function
bar2:
.LFB1:
        .cfi_startproc
        subq    $8, %rsp
        .cfi_def_cfa_offset 16
        movss   s1sf(%rip), %xmm0
        call    bar1
        movss   s1sf(%rip), %xmm0
        addq    $8, %rsp
        .cfi_def_cfa_offset 8
        ret
        .cfi_endproc
.LFE1:
        .size   bar2, .-bar2
        .ident  "GCC: (GNU) 12.0.0 20210902 (experimental)"
        .section        .note.GNU-stack,"",@progbits
[hjl@gnu-cfl-2 pr102143]$ 

Should __v1sf be passed and returned like struct s1sf?