On Tue, Aug 27, 2024 at 12:25 PM Richard Biener
wrote:
> On Mon, Aug 26, 2024 at 5:26 PM Matevos Mehrabyan
> wrote:
> >
> >
> >
> > On Mon, Aug 26, 2024 at 2:44 AM Jeff Law wrote:
> >>
> >>
> >>
> >> On 8/20/24 5:41 AM, Richard Biener wrote:
> >>
> >> >
> >> > So the store-merging variant IIRC
On Mon, Aug 26, 2024 at 5:26 PM Matevos Mehrabyan
wrote:
>
>
>
> On Mon, Aug 26, 2024 at 2:44 AM Jeff Law wrote:
>>
>>
>>
>> On 8/20/24 5:41 AM, Richard Biener wrote:
>>
>> >
>> > So the store-merging variant IIRC tracks a single overall source
>> > only (unless it was extended and I missed that)
On Mon, Aug 26, 2024 at 2:44 AM Jeff Law wrote:
>
>
> On 8/20/24 5:41 AM, Richard Biener wrote:
>
> >
> > So the store-merging variant IIRC tracks a single overall source
> > only (unless it was extended and I missed that) and operates at
> > a byte granularity. I did want to extend it to suppor
On 8/20/24 5:41 AM, Richard Biener wrote:
So the store-merging variant IIRC tracks a single overall source
only (unless it was extended and I missed that) and operates at
a byte granularity. I did want to extend it to support vector shuffles
at one point (with two sources then), but didn't
On Fri, Aug 16, 2024 at 4:33 PM Jeff Law wrote:
>
>
>
> On 8/12/24 5:13 AM, Matevos Mehrabyan wrote:
> >
> > On Fri, Aug 2, 2024, 14:25 Richard Biener
> > mailto:richard.guent...@gmail.com>> wrote:
> > > On Wed, Jul 31, 2024 at 12:42 PM Mariam Arutunian
> > > mailto:mariamarutun.
On 8/12/24 5:13 AM, Matevos Mehrabyan wrote:
On Fri, Aug 2, 2024, 14:25 Richard Biener
mailto:richard.guent...@gmail.com>> wrote:
> On Wed, Jul 31, 2024 at 12:42 PM Mariam Arutunian
> mailto:mariamarutun...@gmail.com>> wrote:
>
> Gives an opportunity to execute
>
>
> On Fri, Aug 2, 2024, 14:25 Richard Biener
> wrote:
> > On Wed, Jul 31, 2024 at 12:42 PM Mariam Arutunian
> > wrote:
> >
> > Gives an opportunity to execute the code on bit level,
> >assigning symbolic values to the variables which don't have initial
> values.
> >Supports only CR
On Thu, Aug 1, 2024, 00:38 Andrew Pinski wrote:
> On Wed, Jul 31, 2024 at 3:42 AM Mariam Arutunian
> wrote:
> >
> > Gives an opportunity to execute the code on bit level,
> >assigning symbolic values to the variables which don't have initial
> values.
> >Supports only CRC specific ope
On Wed, Jul 31, 2024 at 12:42 PM Mariam Arutunian
wrote:
>
> Gives an opportunity to execute the code on bit level,
>assigning symbolic values to the variables which don't have initial values.
>Supports only CRC specific operations.
>
>Example:
>
>uint8_t crc;
>uint8_t pol
On Wed, Jul 31, 2024 at 3:42 AM Mariam Arutunian
wrote:
>
> Gives an opportunity to execute the code on bit level,
>assigning symbolic values to the variables which don't have initial values.
>Supports only CRC specific operations.
>
>Example:
>
>uint8_t crc;
>uint8_t pol =
Gives an opportunity to execute the code on bit level,
assigning symbolic values to the variables which don't have initial
values.
Supports only CRC specific operations.
Example:
uint8_t crc;
uint8_t pol = 1;
crc = crc ^ pol;
during symbolic execution crc's value will be
11 matches
Mail list logo
