Displaying 2 results from an estimated 2 matches for "loop_amount".
2017 Jan 13
4
Wrong code bug after GVN/PRE?
...algorithm in SinkThenElseCodeToEnd
2016-09-01, but that commit doesn't change GVN/MemoryDependenceResults
so I suppose it just changes the input to GVN so the problem suddenly
surfaces.
Finally, the problem that I see is:
In the input we have something like
for (int step1 = 0; step1 < LOOP_AMOUNT; step1++)
{
lb[step1] = step1 + 7;
ub[step1] = (step1 == 0 ? 10: ub[step1-1]*10);
switch(lb[step1]) {
case 7: CVAL_VERIFY(step1 == 0);
CVAL_VERIFY(ub[step1] == 10);
__label(511);
break;
case 8: CVAL_VERIFY(step1 == 1);
CVAL_VERIFY(ub[step1] == 100);...
2017 Jan 13
2
Wrong code bug after GVN/PRE?
...it doesn't change GVN/MemoryDependenceResults so
>> I suppose it just changes the input to GVN so the problem suddenly surfaces.
>>
>> Finally, the problem that I see is:
>>
>> In the input we have something like
>>
>> for (int step1 = 0; step1 < LOOP_AMOUNT; step1++)
>> {
>> lb[step1] = step1 + 7;
>> ub[step1] = (step1 == 0 ? 10: ub[step1-1]*10);
>>
>> switch(lb[step1]) {
>> case 7: CVAL_VERIFY(step1 == 0);
>> CVAL_VERIFY(ub[step1] == 10);
>>...