Closed chenxiao2402 closed 4 months ago
Update the code that checks storeInst is executed each iteration.
The previous naive logic only checks that storeInst is in the loop header.
The updated logic uses dominance trees also to handle the case where storeInst is in the loop body.
Update the code that checks storeInst is executed each iteration.
The previous naive logic only checks that storeInst is in the loop header.
The updated logic uses dominance trees also to handle the case where storeInst is in the loop body.