The following addresses a miscompilation by RTL scheduling related
to the representation of masked stores. For that we have
(insn 38 35 39 3 (set (mem:V16SI (plus:DI (reg:DI 40 r12 [orig:90 _22 ] [90])
(const:DI (plus:DI (symbol_ref:DI ("b") [flags 0x2] )
On 6/21/23 01:49, Richard Biener via Gcc-patches wrote:
The following addresses a miscompilation by RTL scheduling related
to the representation of masked stores. For that we have
(insn 38 35 39 3 (set (mem:V16SI (plus:DI (reg:DI 40 r12 [orig:90 _22 ] [90])
(const:DI (plus:D
On Wed, 21 Jun 2023, Jeff Law wrote:
>
>
> On 6/21/23 01:49, Richard Biener via Gcc-patches wrote:
> > The following addresses a miscompilation by RTL scheduling related
> > to the representation of masked stores. For that we have
> >
> > (insn 38 35 39 3 (set (mem:V16SI (plus:DI (reg:DI 40 r1
On 6/22/23 00:39, Richard Biener wrote:
I suspect there's no way to specify the desired semantics? OTOH
code that looks at the MEM operand only and not the insn (which
should have some UNSPEC wrapped) needs to be conservative, so maybe
the alias code shouldn't assume that a (mem:V16SI ..)
On Wed, Jun 21, 2023 at 3:49 PM Richard Biener via Gcc-patches
wrote:
>
> The following addresses a miscompilation by RTL scheduling related
> to the representation of masked stores. For that we have
>
> (insn 38 35 39 3 (set (mem:V16SI (plus:DI (reg:DI 40 r12 [orig:90 _22 ] [90])
>
On Mon, 26 Jun 2023, Hongtao Liu wrote:
> On Wed, Jun 21, 2023 at 3:49?PM Richard Biener via Gcc-patches
> wrote:
> >
> > The following addresses a miscompilation by RTL scheduling related
> > to the representation of masked stores. For that we have
> >
> > (insn 38 35 39 3 (set (mem:V16SI (plus
> The easiest way to avoid running into the alias analysis problem is
> to scrap the MEM_EXPR when we expand the internal functions for
> partial loads/stores. That avoids the disambiguation we run into
> which is realizing that we store to an object of less size as
> the size of the mode we appea
On 11/27/23 05:39, Robin Dapp wrote:
The easiest way to avoid running into the alias analysis problem is
to scrap the MEM_EXPR when we expand the internal functions for
partial loads/stores. That avoids the disambiguation we run into
which is realizing that we store to an object of less size
On Mon, 27 Nov 2023, Jeff Law wrote:
>
>
> On 11/27/23 05:39, Robin Dapp wrote:
> >> The easiest way to avoid running into the alias analysis problem is
> >> to scrap the MEM_EXPR when we expand the internal functions for
> >> partial loads/stores. That avoids the disambiguation we run into
> >
Richard Biener writes:
> On Mon, 27 Nov 2023, Jeff Law wrote:
>
>>
>>
>> On 11/27/23 05:39, Robin Dapp wrote:
>> >> The easiest way to avoid running into the alias analysis problem is
>> >> to scrap the MEM_EXPR when we expand the internal functions for
>> >> partial loads/stores. That avoids t
On Tue, 28 Nov 2023, Richard Sandiford wrote:
> Richard Biener writes:
> > On Mon, 27 Nov 2023, Jeff Law wrote:
> >
> >>
> >>
> >> On 11/27/23 05:39, Robin Dapp wrote:
> >> >> The easiest way to avoid running into the alias analysis problem is
> >> >> to scrap the MEM_EXPR when we expand the in
Richard Biener writes:
> On Tue, 28 Nov 2023, Richard Sandiford wrote:
>
>> Richard Biener writes:
>> > On Mon, 27 Nov 2023, Jeff Law wrote:
>> >
>> >>
>> >>
>> >> On 11/27/23 05:39, Robin Dapp wrote:
>> >> >> The easiest way to avoid running into the alias analysis problem is
>> >> >> to scrap
On Tue, 28 Nov 2023, Richard Sandiford wrote:
> Richard Biener writes:
> > On Tue, 28 Nov 2023, Richard Sandiford wrote:
> >
> >> Richard Biener writes:
> >> > On Mon, 27 Nov 2023, Jeff Law wrote:
> >> >
> >> >>
> >> >>
> >> >> On 11/27/23 05:39, Robin Dapp wrote:
> >> >> >> The easiest way to
On 11/28/23 00:50, Richard Biener wrote:
There's no way to distinguish a partial vs. non-partial MEM on RTL and
while without the bogus MEM_ATTR the alias oracle pieces that
miscompiled the original case are fended off we still see the load/store
as full given they have a mode with a size -
On Tue, 28 Nov 2023, Jeff Law wrote:
>
>
> On 11/28/23 00:50, Richard Biener wrote:
>
> >
> > There's no way to distinguish a partial vs. non-partial MEM on RTL and
> > while without the bogus MEM_ATTR the alias oracle pieces that
> > miscompiled the original case are fended off we still see t
15 matches
Mail list logo
