On Tue, Aug 24, 2021 at 5:40 PM Hongtao Liu <crazy...@gmail.com> wrote:
>
> On Tue, Aug 17, 2021 at 9:52 AM Hongtao Liu <crazy...@gmail.com> wrote:
> >
> > On Mon, Aug 9, 2021 at 4:34 PM Hongtao Liu <crazy...@gmail.com> wrote:
> > >
> > > On Fri, Aug 6, 2021 at 7:27 PM Richard Biener via Gcc-patches
> > > <gcc-patches@gcc.gnu.org> wrote:
> > > >
> > > > On Fri, Aug 6, 2021 at 11:05 AM Richard Sandiford
> > > > <richard.sandif...@arm.com> wrote:
> > > > >
> > > > > Richard Biener via Gcc-patches <gcc-patches@gcc.gnu.org> writes:
> > > > > > On Fri, Aug 6, 2021 at 5:32 AM liuhongt <hongtao....@intel.com>
> > > > > > wrote:
> > > > > >>
> > > > > >> Hi:
> > > > > >> ---
> > > > > >> OK, I think sth is amiss here upthread. insv/extv do look like
> > > > > >> they
> > > > > >> are designed
> > > > > >> to work on integer modes (but docs do not say anything about this
> > > > > >> here).
> > > > > >> In fact the caller of extract_bit_field_using_extv is named
> > > > > >> extract_integral_bit_field. Of course nothing seems to check what
> > > > > >> kind of
> > > > > >> modes we're dealing with, but we're for example happily doing
> > > > > >> expand_shift in 'mode'. In the extract_integral_bit_field call
> > > > > >> 'mode' is
> > > > > >> some integer mode and op0 is HFmode? From the above I get it's
> > > > > >> the other way around? In that case we should wrap the
> > > > > >> call to extract_integral_bit_field, extracting in an integer mode
> > > > > >> with the
> > > > > >> same size as 'mode' and then converting the result as (subreg:HF
> > > > > >> (reg:HI ...)).
> > > > > >> ---
> > > > > >> This is a separate patch as a follow up of upper comments.
> > > > > >>
> > > > > >> gcc/ChangeLog:
> > > > > >>
> > > > > >> * expmed.c (extract_bit_field_1): Wrap the call to
> > > > > >> extract_integral_bit_field, extracting in an integer mode
> > > > > >> with
> > > > > >> the same size as 'tmode' and then converting the result
> > > > > >> as (subreg:tmode (reg:imode)).
> > > > > >>
> > > > > >> gcc/testsuite/ChangeLog:
> > > > > >> * gcc.target/i386/float16-5.c: New test.
> > > > > >> ---
> > > > > >> gcc/expmed.c | 19 +++++++++++++++++++
> > > > > >> gcc/testsuite/gcc.target/i386/float16-5.c | 12 ++++++++++++
> > > > > >> 2 files changed, 31 insertions(+)
> > > > > >> create mode 100644 gcc/testsuite/gcc.target/i386/float16-5.c
> > > > > >>
> > > > > >> diff --git a/gcc/expmed.c b/gcc/expmed.c
> > > > > >> index 3143f38e057..72790693ef0 100644
> > > > > >> --- a/gcc/expmed.c
> > > > > >> +++ b/gcc/expmed.c
> > > > > >> @@ -1850,6 +1850,25 @@ extract_bit_field_1 (rtx str_rtx,
> > > > > >> poly_uint64 bitsize, poly_uint64 bitnum,
> > > > > >> op0_mode = opt_scalar_int_mode ();
> > > > > >> }
> > > > > >>
> > > > > >> + /* Make sure we are playing with integral modes. Pun with
> > > > > >> subregs
> > > > > >> + if we aren't. When tmode is HFmode, op0 is SImode, there
> > > > > >> will be ICE
> > > > > >> + in extract_integral_bit_field. */
> > > > > >> + if (int_mode_for_mode (tmode).exists (&imode)
> > > > > >
> > > > > > check !INTEGRAL_MODE_P (tmode) before, that should be slightly
> > > > > > cheaper. Then imode should always be != tmode. Maybe
> > > > > > even GET_MDOE_CLASS (tmode) != MODE_INT since I'm not sure
> > > > > > how it behaves for composite modes.
> > > > > >
> > > > > > Of course the least surprises would happen when we restrict this
> > > > > > to FLOAT_MODE_P (tmode).
> > > > > >
> > > > > > Richard - any preferences?
> > > > >
> > > > > If the bug is that extract_integral_bit_field is being called with
> > > > > a non-integral mode parameter, then it looks odd that we can still
> > > > > fall through to it without an integral mode (when exists is false).
> > > > >
> > > > > If calling extract_integral_bit_field without an integral mode is
> > > > > a bug then I think we should have:
> > > > >
> > > > > int_mode_for_mode (mode).require ()
> > > > >
> > > > > whenever mode is not already SCALAR_INT_MODE_P/is_a<scalar_int_mode>.
> > > > > Ideally we'd make the mode parameter scalar_int_mode too.
> > > > >
> > > > > extract_integral_bit_field currently has:
> > > > >
> > > > > /* Find a correspondingly-sized integer field, so we can apply
> > > > > shifts and masks to it. */
> > > > > scalar_int_mode int_mode;
> > > > > if (!int_mode_for_mode (tmode).exists (&int_mode))
> > > > > /* If this fails, we should probably push op0 out to memory and
> > > > > then
> > > > > do a load. */
> > > > > int_mode = int_mode_for_mode (mode).require ();
> > > > >
> > > > > which would seem to be redundant after this change.
> > > >
> > > > I'm not sure what exactly the bug is, but extract_integral_bit_field
> > > > ends
> > > > up creating a lowpart subreg that's not allowed and that ICEs (and I
> > > > can't see a way to check beforehand). So it seems to me at least
> > > > part of that function doesn't expect non-integral extraction modes.
> > > >
> > > > But who knows - the code is older than I am (OK, not, but older than
> > > > my involvment in GCC ;))
> > > >
> > > How about attached patch w/ below changelog
> > >
> > > gcc/ChangeLog:
> > >
> > > * expmed.c (extract_bit_field_1): Make sure we're playing with
> > > integral modes before call extract_integral_bit_field.
> > > (extract_integral_bit_field): Add a parameter of type
> > > scalar_int_mode which corresponds to of tmode.
> > > And call extract_and_convert_fixed_bit_field instead of
> > > extract_fixed_bit_field and convert_extracted_bit_field.
> > > (extract_and_convert_fixed_bit_field): New function, it's a
> > > combination of extract_fixed_bit_field and
> > > convert_extracted_bit_field.
> > >
> > > gcc/testsuite/ChangeLog:
> > > * gcc.target/i386/float16-5.c: New test.
> > >
> > I'd like to ping this patch, or maybe we can use the patch before with
> > richi's comments.
> > >
>
> Rebased and ping^2, there are plenty of avx512fp16 patches blocked by
> this patch, i'd like someone to help review this patch.
>
Please ignore the former attached patch, should be the patch attached here.
> > > > Richard.
> > > >
> > > > > >> + && imode != tmode
> > > > > >> + && imode != GET_MODE (op0))
> > > > > >> + {
> > > > > >> + rtx ret = extract_integral_bit_field (op0, op0_mode,
> > > > > >> + bitsize.to_constant (),
> > > > > >> + bitnum.to_constant (),
> > > > > >> unsignedp,
> > > > > >> + NULL, imode, imode,
> > > > > >> + reverse, fallback_p);
> > > > > >> + gcc_assert (ret);
> > > > > >> +
> > > > > >> + if (!REG_P (ret))
> > > > > >> + ret = force_reg (imode, ret);
> > > > > >> + return gen_lowpart_SUBREG (tmode, ret);
> > > > > >> + }
> > > > > >> +
> > > > > >> /* It's possible we'll need to handle other cases here for
> > > > > >> polynomial bitnum and bitsize. */
> > > > >
> > > > > Minor nit, but since the code is using to_constant, it should go after
> > > > > this comment rather than before it.
> > > > >
> > > > > Thanks,
> > > > > Richard
> > > > >
> > > > > >>
> > > > > >> diff --git a/gcc/testsuite/gcc.target/i386/float16-5.c
> > > > > >> b/gcc/testsuite/gcc.target/i386/float16-5.c
> > > > > >> new file mode 100644
> > > > > >> index 00000000000..ebc0af1490b
> > > > > >> --- /dev/null
> > > > > >> +++ b/gcc/testsuite/gcc.target/i386/float16-5.c
> > > > > >> @@ -0,0 +1,12 @@
> > > > > >> +/* { dg-do compile } */
> > > > > >> +/* { dg-options "-msse2 -O2" } */
> > > > > >> +_Float16
> > > > > >> +foo (int a)
> > > > > >> +{
> > > > > >> + union {
> > > > > >> + int a;
> > > > > >> + _Float16 b;
> > > > > >> + }c;
> > > > > >> + c.a = a;
> > > > > >> + return c.b;
> > > > > >> +}
> > > > > >> --
> > > > > >> 2.27.0
> > > > > >>
> > >
> > >
> > >
> > > --
> > > BR,
> > > Hongtao
> >
> >
> >
> > --
> > BR,
> > Hongtao
>
>
>
> --
> BR,
> Hongtao
--
BR,
Hongtao
From 9c77ac15e69b567156a82debe45e3ced10df1110 Mon Sep 17 00:00:00 2001
From: liuhongt <hongtao....@intel.com>
Date: Fri, 6 Aug 2021 10:18:43 +0800
Subject: [PATCH] Make sure we're playing with integral modes before call
extract_integral_bit_field.
gcc/ChangeLog:
* expmed.c (extract_bit_field_1): Make sure we're playing with
integral modes before call extract_integral_bit_field.
(extract_integral_bit_field): Add a parameter of type
scalar_int_mode which corresponds to of tmode.
And call extract_and_convert_fixed_bit_field instead of
extract_fixed_bit_field and convert_extracted_bit_field.
(extract_and_convert_fixed_bit_field): New function, it's a
combination of extract_fixed_bit_field and
convert_extracted_bit_field.
gcc/testsuite/ChangeLog:
* gcc.target/i386/float16-5.c: New test.
---
gcc/expmed.c | 103 ++++++++++++++++------
gcc/testsuite/gcc.target/i386/float16-5.c | 12 +++
2 files changed, 90 insertions(+), 25 deletions(-)
create mode 100644 gcc/testsuite/gcc.target/i386/float16-5.c
diff --git a/gcc/expmed.c b/gcc/expmed.c
index 3143f38e057..f083d6e86d0 100644
--- a/gcc/expmed.c
+++ b/gcc/expmed.c
@@ -71,7 +71,14 @@ static void store_split_bit_field (rtx, opt_scalar_int_mode,
static rtx extract_integral_bit_field (rtx, opt_scalar_int_mode,
unsigned HOST_WIDE_INT,
unsigned HOST_WIDE_INT, int, rtx,
- machine_mode, machine_mode, bool, bool);
+ machine_mode, machine_mode,
+ scalar_int_mode, bool, bool);
+static rtx extract_and_convert_fixed_bit_field (scalar_int_mode,
+ machine_mode, machine_mode,
+ rtx, opt_scalar_int_mode,
+ unsigned HOST_WIDE_INT,
+ unsigned HOST_WIDE_INT, rtx,
+ int, bool);
static rtx extract_fixed_bit_field (machine_mode, rtx, opt_scalar_int_mode,
unsigned HOST_WIDE_INT,
unsigned HOST_WIDE_INT, rtx, int, bool);
@@ -1632,6 +1639,7 @@ extract_bit_field_1 (rtx str_rtx, poly_uint64 bitsize, poly_uint64 bitnum,
{
rtx op0 = str_rtx;
machine_mode mode1;
+ scalar_int_mode int_tmode;
if (tmode == VOIDmode)
tmode = mode;
@@ -1853,10 +1861,46 @@ extract_bit_field_1 (rtx str_rtx, poly_uint64 bitsize, poly_uint64 bitnum,
/* It's possible we'll need to handle other cases here for
polynomial bitnum and bitsize. */
+ /* Make sure we are playing with integral modes. Pun with subregs
+ if we aren't. When tmode is HFmode, op0 is SImode, there will be ICE
+ in extract_integral_bit_field. */
+ opt_scalar_int_mode target_imode = int_mode_for_mode (tmode);
+ if (!target_imode.exists (&int_tmode) || int_tmode != tmode)
+ {
+ if (target_imode.exists (&int_tmode))
+ {
+ rtx ret = extract_integral_bit_field (op0, op0_mode,
+ bitsize.to_constant (),
+ bitnum.to_constant (),
+ unsignedp, NULL, int_tmode,
+ int_tmode, int_tmode,
+ reverse, fallback_p);
+ gcc_assert (ret);
+
+ if (!REG_P (ret))
+ ret = force_reg (int_tmode, ret);
+ return gen_lowpart_SUBREG (tmode, ret);
+ }
+ else
+ {
+ if (!fallback_p)
+ return NULL;
+
+ int_tmode = int_mode_for_mode (mode).require ();
+ return extract_and_convert_fixed_bit_field (int_tmode, tmode, mode,
+ op0, op0_mode,
+ bitsize.to_constant (),
+ bitnum.to_constant (),
+ target, unsignedp,
+ reverse);
+ }
+ }
+
/* From here on we need to be looking at a fixed-size insertion. */
return extract_integral_bit_field (op0, op0_mode, bitsize.to_constant (),
bitnum.to_constant (), unsignedp,
- target, mode, tmode, reverse, fallback_p);
+ target, mode, tmode,
+ int_tmode, reverse, fallback_p);
}
/* Subroutine of extract_bit_field_1, with the same arguments, except
@@ -1869,6 +1913,7 @@ extract_integral_bit_field (rtx op0, opt_scalar_int_mode op0_mode,
unsigned HOST_WIDE_INT bitsize,
unsigned HOST_WIDE_INT bitnum, int unsignedp,
rtx target, machine_mode mode, machine_mode tmode,
+ scalar_int_mode int_tmode,
bool reverse, bool fallback_p)
{
/* Handle fields bigger than a word. */
@@ -2035,29 +2080,10 @@ extract_integral_bit_field (rtx op0, opt_scalar_int_mode op0_mode,
if (!fallback_p)
return NULL;
- /* Find a correspondingly-sized integer field, so we can apply
- shifts and masks to it. */
- scalar_int_mode int_mode;
- if (!int_mode_for_mode (tmode).exists (&int_mode))
- /* If this fails, we should probably push op0 out to memory and then
- do a load. */
- int_mode = int_mode_for_mode (mode).require ();
-
- target = extract_fixed_bit_field (int_mode, op0, op0_mode, bitsize,
- bitnum, target, unsignedp, reverse);
-
- /* Complex values must be reversed piecewise, so we need to undo the global
- reversal, convert to the complex mode and reverse again. */
- if (reverse && COMPLEX_MODE_P (tmode))
- {
- target = flip_storage_order (int_mode, target);
- target = convert_extracted_bit_field (target, mode, tmode, unsignedp);
- target = flip_storage_order (tmode, target);
- }
- else
- target = convert_extracted_bit_field (target, mode, tmode, unsignedp);
-
- return target;
+ return extract_and_convert_fixed_bit_field (int_tmode, tmode, mode,
+ op0, op0_mode, bitsize,
+ bitnum, target, unsignedp,
+ reverse);
}
/* Generate code to extract a byte-field from STR_RTX
@@ -2129,6 +2155,33 @@ extract_bit_field (rtx str_rtx, poly_uint64 bitsize, poly_uint64 bitnum,
return extract_bit_field_1 (str_rtx, bitsize, bitnum, unsignedp,
target, mode, tmode, reverse, true, alt_rtl);
}
+
+/* Combination of extract_fixed_bit_field and convert_extracted_bit_field. */
+static rtx
+extract_and_convert_fixed_bit_field (scalar_int_mode int_tmode,
+ machine_mode tmode, machine_mode mode,
+ rtx op0, opt_scalar_int_mode op0_mode,
+ unsigned HOST_WIDE_INT bitsize,
+ unsigned HOST_WIDE_INT bitnum,
+ rtx target, int unsignedp, bool reverse)
+{
+ target = extract_fixed_bit_field (int_tmode, op0, op0_mode, bitsize,
+ bitnum, target, unsignedp, reverse);
+
+ /* Complex values must be reversed piecewise, so we need to undo the global
+ reversal, convert to the complex mode and reverse again. */
+ if (reverse && COMPLEX_MODE_P (tmode))
+ {
+ target = flip_storage_order (int_tmode, target);
+ target = convert_extracted_bit_field (target, mode, tmode, unsignedp);
+ target = flip_storage_order (tmode, target);
+ }
+ else
+ target = convert_extracted_bit_field (target, mode, tmode, unsignedp);
+
+ return target;
+}
+
/* Use shifts and boolean operations to extract a field of BITSIZE bits
from bit BITNUM of OP0. If OP0_MODE is defined, it is the mode of OP0,
diff --git a/gcc/testsuite/gcc.target/i386/float16-5.c b/gcc/testsuite/gcc.target/i386/float16-5.c
new file mode 100644
index 00000000000..ebc0af1490b
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/float16-5.c
@@ -0,0 +1,12 @@
+/* { dg-do compile } */
+/* { dg-options "-msse2 -O2" } */
+_Float16
+foo (int a)
+{
+ union {
+ int a;
+ _Float16 b;
+ }c;
+ c.a = a;
+ return c.b;
+}
--
2.27.0
