[ConstraintElim] Add test for mis-compile with adjacent loops.
In the added test case, the AddRec from the first loop is used incorrectly in the second loop.
Loading
Please sign in to comment
In the added test case, the AddRec from the first loop is used incorrectly in the second loop.