@@ -52,6 +52,12 @@ void main()
v1[6] <= v0[6] && v1[7] != v0[7])
passed = false;
+ /* Skip one decrement since it may be the 0 => 0xffffffff
+ * transition.
+ */
+ atomicCounterDecrement(a1[0][1][1]);
+ atomicCounterDecrement(a1[2][0][1]);
+
/* Get all initail values of a1 */
v0[0] = atomicCounter(a1[0][0][0]);
v0[1] = atomicCounter(a1[0][0][1]);
@@ -66,11 +72,6 @@ void main()
v0[10] = atomicCounter(a1[2][0][1]);
v0[11] = atomicCounter(a1[2][1][0]);
- /* Skip one decrement since it may be the 0 => 0xffffffff
- * transition.
- */
- atomicCounterDecrement(a1[2][0][1]);
-
/* Test that a decrement of an atomic
* counter results in a smaller value.
* Also test that all other array elements are unaffected.