You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
SysY2022/test_cases/hidden_functional/30_many_dimensions.sy

129 lines
5.2 KiB

int sum(int a0[], int a1[][2], int a2[][2][2], int a3[][2][2][2], int a4[][2][2][2][2],
int a5[][2][2][2][2][2], int a6[][2][2][2][2][2][2], int a7[][2][2][2][2][2][2][2],
int a8[][2][2][2][2][2][2][2][2], int a9[][2][2][2][2][2][2][2][2][2], int a10[][2][2][2][2][2][2][2][2][2][2],
int a11[][2][2][2][2][2][2][2][2][2][2][2], int a12[][2][2][2][2][2][2][2][2][2][2][2][2], int a13[][2][2][2][2][2][2][2][2][2][2][2][2][2],
int a14[][2][2][2][2][2][2][2][2][2][2][2][2][2][2], int a15[][2][2][2][2][2][2][2][2][2][2][2][2][2][2][2], int a16[][2][2][2][2][2][2][2][2][2][2][2][2][2][2][2][2],
int a17[][2][2][2][2][2][2][2][2][2][2][2][2][2][2][2][2][2], int a18[][2][2][2][2][2][2][2][2][2][2][2][2][2][2][2][2][2][2]) {
return a0[0] +
a1[1][0] +
a2[0][0][1] +
a3[1][0][1][0] +
a4[0][0][1][1][0] +
a5[1][1][1][0][0][1] +
a6[0][0][0][1][1][1][0] +
a7[1][1][1][1][0][0][0][1] +
a8[0][0][0][1][1][1][0][0][0] +
a9[0][0][1][1][0][0][1][0][0][1] +
a10[0][0][1][1][1][1][1][0][0][1][1] +
a11[0][0][1][1][0][0][1][0][0][1][1][0] +
a12[1][1][0][0][1][1][1][0][0][1][0][0][0] +
a13[0][0][0][0][0][0][0][1][1][1][1][1][1][1] +
a14[0][0][0][0][0][0][0][0][0][0][1][1][1][1][1]+
a15[1][1][1][1][0][0][0][0][1][1][1][0][0][1][0][0] +
a16[0][0][0][0][0][1][1][1][1][1][0][0][1][0][1][0][1] +
a17[1][1][0][0][1][0][1][0][0][0][1][1][1][1][0][0][1][1] +
a18[0][0][1][0][0][0][1][0][0][1][1][0][0][0][0][0][0][0][0];
}
int main() {
int array[2][2][2][2][2][2][2][2][2][2][2][2][2][2][2][2][2][2][2] = {0};
int count = 0;
int i0 = 0;
while (i0 < 2) {
int i1 = 0;
while (i1 < 2) {
int i2 = 0;
while (i2 < 2) {
int i3 = 0;
while (i3 < 2) {
int i4 = 0;
while (i4 < 2) {
int i5 = 0;
while (i5 < 2) {
int i6 = 0;
while (i6 < 2) {
int i7 = 0;
while (i7 < 2) {
int i8 = 0;
while (i8 < 2) {
int i9 = 0;
while (i9 < 2) {
int i10 = 0;
while (i10 < 2) {
int i11 = 0;
while (i11 < 2) {
int i12 = 0;
while (i12 < 2) {
int i13 = 0;
while (i13 < 2) {
int i14 = 0;
while (i14 < 2) {
int i15 = 0;
while (i15 < 2) {
int i16 = 0;
while (i16 < 2) {
int i17 = 0;
while (i17 < 2) {
int i18 = 0;
while (i18 < 2) {
array[i0][i1][i2][i3][i4][i5][i6][i7][i8][i9][i10][i11][i12][i13][i14][i15][i16][i17][i18] = count;
count = count + 1;
i18 = i18 + 1;
}
i17 = i17 + 1;
}
i16 = i16 + 1;
}
i15 = i15 + 1;
}
i14 = i14 + 1;
}
i13 = i13 + 1;
}
i12 = i12 + 1;
}
i11 = i11 + 1;
}
i10 = i10 + 1;
}
i9 = i9 + 1;
}
i8 = i8 + 1;
}
i7 = i7 + 1;
}
i6 = i6 + 1;
}
i5 = i5 + 1;
}
i4 = i4 + 1;
}
i3 = i3 + 1;
}
i2 = i2 + 1;
}
i1 = i1 + 1;
}
i0 = i0 + 1;
}
putint(sum(array[0][0][0][0][0][0][0][0][0][0][0][0][0][0][0][0][0][0],
array[0][0][0][0][0][0][0][0][0][0][0][0][0][0][0][0][0],
array[0][0][0][0][0][0][0][0][0][0][0][0][0][0][0][0],
array[0][0][0][0][0][0][0][0][0][0][0][0][0][0][0],
array[0][0][0][0][0][0][0][0][0][0][0][0][0][0],
array[0][0][0][0][0][0][0][0][0][0][0][0][0],
array[0][0][0][0][0][0][0][0][0][0][0][0],
array[0][0][0][0][0][0][0][0][0][0][0],
array[0][0][0][0][0][0][0][0][0][0],
array[0][0][0][0][0][0][0][0][0],
array[0][0][0][0][0][0][0][0],
array[0][0][0][0][0][0][0],
array[0][0][0][0][0][0],
array[0][0][0][0][0],
array[0][0][0][0],
array[0][0][0],
array[0][0],
array[0],
array));
return 0;
}