On 1 March 2018 at 20:57, Dibyendu Majumdar <mobile@xxxxxxxxxxxxxxx> wrote:
> On 27 February 2018 at 01:12, Luc Van Oostenryck
> <luc.vanoostenryck@xxxxxxxxx> wrote:
>> On Mon, Feb 26, 2018 at 03:36:38PM -0800, Christopher Li wrote:
>>>
>>> You said you did not found crash in your first round testing.
>>> However there is some regression of the IR. Can you share
>>> the regression test case you found?
>>
>> I didn't spend much time at it but a typical small example
>> of what I've seen is:
>> void a(void) {
>> long b;
>> unsigned c = 0;
>> for (;;)
>> if (c)
>> c = b;
>> }
>>
>
> I am curious what is happening here.
> If I print off the value pseudos that are created then I get this:
>
> pseudo type = 3, size = 32, value = 0
> pseudo type = 3, size = 32, value = 0
> pseudo type = 3, size = 64, value = 0
>
> Now where is the value pseudo of size 64 coming from as it is not in
> the code above?
>
Okay it seems to come from flow.c in find_dominating_stores() - in the
call to convert_load_instruction(). Any explanation of what this is
doing?
Btw there are only two value pseudos created above - not three - that
is just a typo.
Thanks and Regards
Dibyendu
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
