search for: loop_amount

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); >>...