[Bug target/113880] New: V2SF->V2DF conversion pattern seems to be missing

[Bug target/113880] New: V2SF->V2DF conversion pattern seems to be missing

[pinskia at gcc dot gnu.org]

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

            Bug ID: 113880
           Summary: V2SF->V2DF conversion pattern seems to be missing
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Keywords: missed-optimization
          Severity: enhancement
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
  Target Milestone: ---
            Target: aarch64-*-*

Take:
```
void f(float *a, double *b)
{
        b[0] = a[0];
        b[1] = a[1];
}
```

This should be optimized to:
```
        ldr     d31, [x0]
        fcvt    v31.2d, v31.2s
        stp     q31, [x1]
        ret
```

But V2SF->V2DF conversion does not exist.

This is in a similar way V4HF->V4SF is missing (PR 113869).

[Bug target/113880] V2SF->V2DF conversion pattern seems to be missing

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2024-05-11
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |pinskia at gcc dot gnu.org

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I have someone working on this.

[Bug target/113880] V2SF->V2DF conversion pattern seems to be missing

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Pengxuan Zheng <pzheng@gcc.gnu.org>:

https://gcc.gnu.org/g:230d62a2cdd16c1ec8fe87998ec01081503f010d

commit r15-1079-g230d62a2cdd16c1ec8fe87998ec01081503f010d
Author: Pengxuan Zheng <quic_pzheng@quicinc.com>
Date:   Thu May 30 17:53:23 2024 -0700

    aarch64: Add vector floating point extend pattern [PR113880, PR113869]

    This patch adds vector floating point extend pattern for V2SF->V2DF and
    V4HF->V4SF conversions by renaming the existing
aarch64_float_extend_lo_<Vwide>
    pattern to the standard optab one, i.e., extend<mode><Vwide>2. This allows
the
    vectorizer to vectorize certain floating point widening operations for the
    aarch64 target.

            PR target/113880
            PR target/113869

    gcc/ChangeLog:

            * config/aarch64/aarch64-builtins.cc (VAR1): Remap float_extend_lo_
            builtin codes to standard optab ones.
            * config/aarch64/aarch64-simd.md (aarch64_float_extend_lo_<Vwide>):
Rename
            to...
            (extend<mode><Vwide>2): ... This.

    gcc/testsuite/ChangeLog:

            * gcc.target/aarch64/extend-vec.c: New test.

    Signed-off-by: Pengxuan Zheng <quic_pzheng@quicinc.com>

[Bug target/113880] V2SF->V2DF conversion pattern seems to be missing

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |15.0
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fixed. Note V2DF->V2SF was added with
r15-1182-ge7cd8ea1fa3e48404954bb7c06e9bcd603f132dd.

https://gcc.gnu.org/pipermail/gcc-cvs/2024-June/404047.html