> -----Original Message-----
> From: Cui, Lili <lili....@intel.com>
> Sent: Monday, June 23, 2025 8:38 PM
> To: Uros Bizjak <ubiz...@gmail.com>
> Cc: gcc-patches@gcc.gnu.org; Liu, Hongtao <hongtao....@intel.com>
> Subject: RE: [PATCH] Fix shrink wrap separate ICE for mingw [PR120741]
>
> > On Mon, Jun 23, 2025 at 1:19 PM Cui, Lili <lili....@intel.com> wrote:
> > >
> > > From: Lili Cui <lili....@intel.com>
> > >
> > > Hi Uros,
> > >
> > > I need to remove another assertion in the shrink wrap separate patch.
> > Added two cases for changing the CHECK_STACK_LIMIT value.
> > >
> > > The default values for CHECK_STACK_LIMIT for target wingw and option
> > > -
> > mstack-arg-probe are 4000 and (-1) respectively. In this case, shrink
> > wrap separate will go to the branch. This assertion needs to be removed.
> > >
> > > Sergei verified the patch in his environment, and it passed the test.
> > > Bootstrapped & regtested on x86-64-pc-linux-gnu.
> > >
> > > Ok for master?
> > >
> > > Thanks,
> > > Lili.
> > >
> > >
> > > gcc/ChangeLog:
> > >
> > > PR target/120741
> > > * config/i386/i386.cc (ix86_expand_prologue):
> > > Remove 1 assertions.
> > >
> > > gcc/testsuite/ChangeLog:
> > >
> > > PR target/120741
> > > * gcc.target/i386/pr120741.c: New test.
> > > * gcc.target/i386/shrink-wrap-separate-mingw.c: Likewise.
> >
> >
> > OK if the tests also pass for i?86-*-*.
Yes, they are. I committed this patch.
Thanks,
Lili.
> >
>
> For gcc.target/i386/pr120741.c : It can pass.
> For gcc.target/i386/shrink-wrap-separate-mingw.c : My locally compiled gcc
> with "--target=i686-w64-mingw32" can pass this test case. If no target is
> configured, it shows that this test is unsupported. I created it based on
> stack-
> realign-win.c.
>
> Thanks,
> Lili.
>
>
> > Thanks,
> > Uros.
> >
> > >
> > > ---
> > > gcc/config/i386/i386.cc | 2 --
> > > gcc/testsuite/gcc.target/i386/pr120741.c | 22 +++++++++++++++++++
> > > .../i386/shrink-wrap-separate-mingw.c | 22 +++++++++++++++++++
> > > 3 files changed, 44 insertions(+), 2 deletions(-) create mode
> > > 100644 gcc/testsuite/gcc.target/i386/pr120741.c
> > > create mode 100644
> > > gcc/testsuite/gcc.target/i386/shrink-wrap-separate-mingw.c
> > >
> > > diff --git a/gcc/config/i386/i386.cc b/gcc/config/i386/i386.cc index
> > > fc3105919f4..84081ab1267 100644
> > > --- a/gcc/config/i386/i386.cc
> > > +++ b/gcc/config/i386/i386.cc
> > > @@ -9443,8 +9443,6 @@ ix86_expand_prologue (void)
> > > }
> > > else
> > > {
> > > - gcc_assert (!crtl->shrink_wrapped_separate);
> > > -
> > > rtx eax = gen_rtx_REG (Pmode, AX_REG);
> > > rtx r10 = NULL;
> > > const bool sp_is_cfa_reg = (m->fs.cfa_reg ==
> > > stack_pointer_rtx); diff --git
> > > a/gcc/testsuite/gcc.target/i386/pr120741.c
> > > b/gcc/testsuite/gcc.target/i386/pr120741.c
> > > new file mode 100644
> > > index 00000000000..b59a58c48b8
> > > --- /dev/null
> > > +++ b/gcc/testsuite/gcc.target/i386/pr120741.c
> > > @@ -0,0 +1,22 @@
> > > +/* { dg-do compile } */
> > > +/* { dg-options "-O2 -mstack-arg-probe" } */
> > > +
> > > +short __mingw_swformat_format;
> > > +__builtin_va_list __mingw_swformat_arg; int __mingw_swformat_fc;
> > > +typedef struct {
> > > + void *fp;
> > > + int bch[1024];
> > > +} _IFP;
> > > +void __mingw_swformat(_IFP *s) {
> > > + if (s->fp)
> > > + while (__mingw_swformat_format)
> > > + if (__mingw_swformat_fc == 'A')
> > > + *__builtin_va_arg(__mingw_swformat_arg, double *) = 0; }
> > > +void __mingw_vswscanf (void) {
> > > + _IFP ifp;
> > > + __mingw_swformat(&ifp);
> > > +}
> > > diff --git
> > > a/gcc/testsuite/gcc.target/i386/shrink-wrap-separate-mingw.c
> > > b/gcc/testsuite/gcc.target/i386/shrink-wrap-separate-mingw.c
> > > new file mode 100644
> > > index 00000000000..58635e49647
> > > --- /dev/null
> > > +++ b/gcc/testsuite/gcc.target/i386/shrink-wrap-separate-mingw.c
> > > @@ -0,0 +1,22 @@
> > > +/* { dg-do compile { target *-*-mingw* *-*-cygwin* } } */
> > > +/* { dg-options "-std=gnu99 -O2" } */
> > > +
> > > +short __mingw_swformat_format;
> > > +__builtin_va_list __mingw_swformat_arg; int __mingw_swformat_fc;
> > > +typedef struct {
> > > + void *fp;
> > > + int bch[1024];
> > > +} _IFP;
> > > +void __mingw_swformat(_IFP *s) {
> > > + if (s->fp)
> > > + while (__mingw_swformat_format)
> > > + if (__mingw_swformat_fc == 'A')
> > > + *__builtin_va_arg(__mingw_swformat_arg, double *) = 0; }
> > > +void __mingw_vswscanf (void) {
> > > + _IFP ifp;
> > > + __mingw_swformat(&ifp);
> > > +}
> > > --
> > > 2.34.1
> > >
