Fix slamp bug (show up in 179.art):
shadow memory iteration count only record one byte, so after several invocations it just won't match the current one. There is a check in the dependence logger that if the store is in a different loop invocation, do not record it because it's not a dependence related to this loop. 179.art has a dependence that only happens after several loop invocations. SLAMP was not recording them.
Fix slamp bug (show up in 179.art): shadow memory iteration count only record one byte, so after several invocations it just won't match the current one. There is a check in the dependence logger that if the store is in a different loop invocation, do not record it because it's not a dependence related to this loop. 179.art has a dependence that only happens after several loop invocations. SLAMP was not recording them.