2 write_shared_A(3, ((t1 + 3) % 4) + 1, ((t2 + 31) % 32) + 1);
3 if (t1 % 3 == 0 && t2 >= 1 && t2 <= 2)
4 write_shared_A(3, (-t1 + 12) / 3, t2 + 32);
6 int c3 = ((t1 + 3) % 4) + 1 >= t2 && t2 >= 2 && t2 <= 33 ? t2 + 32 : ((t2 + 30) % 32) + 2;
7 if (c3 == t2 + 32 || (c3 == t2 && ((-t1 + 8) % 4) + t2 >= ((t2 + 1) % 2) + 5))
8 write_shared_A(3, ((t1 + 3) % 4) + 5, c3);
10 if (t2 >= t1 + 1 && t2 <= 4 && t1 >= 1)
11 write_shared_A(3, t1 + 4, t2 + 32);
12 write_shared_A(4, ((t1 + 3) % 4) + 1, ((t2 + 31) % 32) + 1);
13 if (t1 % 3 == 0 && t2 >= 1 && t2 <= 2)
14 write_shared_A(4, (-t1 + 12) / 3, t2 + 32);
16 int c3 = ((t1 + 3) % 4) + 1 >= t2 && t2 >= 2 && t2 <= 33 ? t2 + 32 : ((t2 + 30) % 32) + 2;
17 if (c3 == t2 + 32 || (c3 == t2 && ((-t1 + 8) % 4) + t2 >= ((t2 + 1) % 2) + 5))
18 write_shared_A(4, ((t1 + 3) % 4) + 5, c3);
20 if (t2 >= t1 + 1 && t2 <= 4 && t1 >= 1)
21 write_shared_A(4, t1 + 4, t2 + 32);