tests for remove-redarray

.ptsconfig

@@ -0,0 +1 @@
+pts::options=--total-time --failed f -s -T$PTS_CONFIG_DIR/sys/tasks -I$PTS_CONFIG_DIR/sys

tests/transform/CMakeLists.txt

@@ -6,6 +6,7 @@ add_subdirectory(propagate)
 add_subdirectory(replace)
 add_subdirectory(interchange)
 add_subdirectory(reversal)
+add_subdirectory(remove_redarray)
 
 if (TSAR_ENABLE_FORTRAN)
   add_subdirectory(replace_const)

tests/transform/remove_redarray/CMakeLists.txt

@@ -0,0 +1,3 @@
+include(sapfor-testing)
+sapfor_add_test(TARGET ClangRemoveRedarray
+  TASKS "pass" TEST pass PASSNAME "-clang-remove-redarray")

tests/transform/remove_redarray/pass

@@ -0,0 +1,11 @@
+parallel
+  remove_redarray_1/tsar
+  remove_redarray_2/tsar
+  remove_redarray_3/tsar
+  remove_redarray_4/tsar
+  remove_redarray_5/tsar
+  remove_redarray_6/tsar
+  remove_redarray_7/tsar
+  remove_redarray_8/tsar
+  remove_redarray_9/tsar
+end_parallel

tests/transform/remove_redarray/remove_redarray_1/main.c

@@ -0,0 +1,8 @@
+
+int main() {
+  int X[10];
+#pragma spf transform remove_redarray(X[10])
+  for (int i = 0; i < 10; i++) {
+    X[i] = i + 1;
+  }
+}

tests/transform/remove_redarray/remove_redarray_1/sample/main.c

@@ -0,0 +1,53 @@
+
+int main() {
+  int X[10];
+
+  int X_subscr_0_0 = X[0], X_subscr_1_0 = X[1], X_subscr_2_0 = X[2],
+      X_subscr_3_0 = X[3], X_subscr_4_0 = X[4], X_subscr_5_0 = X[5],
+      X_subscr_6_0 = X[6], X_subscr_7_0 = X[7], X_subscr_8_0 = X[8],
+      X_subscr_9_0 = X[9];
+  for (int i = 0; i < 10; i++) {
+    switch (i) {
+    case 0:
+      X_subscr_0_0 = i + 1;
+      break;
+    case 1:
+      X_subscr_1_0 = i + 1;
+      break;
+    case 2:
+      X_subscr_2_0 = i + 1;
+      break;
+    case 3:
+      X_subscr_3_0 = i + 1;
+      break;
+    case 4:
+      X_subscr_4_0 = i + 1;
+      break;
+    case 5:
+      X_subscr_5_0 = i + 1;
+      break;
+    case 6:
+      X_subscr_6_0 = i + 1;
+      break;
+    case 7:
+      X_subscr_7_0 = i + 1;
+      break;
+    case 8:
+      X_subscr_8_0 = i + 1;
+      break;
+    case 9:
+      X_subscr_9_0 = i + 1;
+      break;
+    };
+  }
+  X[0] = X_subscr_0_0;
+  X[1] = X_subscr_1_0;
+  X[2] = X_subscr_2_0;
+  X[3] = X_subscr_3_0;
+  X[4] = X_subscr_4_0;
+  X[5] = X_subscr_5_0;
+  X[6] = X_subscr_6_0;
+  X[7] = X_subscr_7_0;
+  X[8] = X_subscr_8_0;
+  X[9] = X_subscr_9_0;
+}

tests/transform/remove_redarray/remove_redarray_1/tsar.conf

@@ -0,0 +1,8 @@
+plugin = TsarPlugin
+add_include_path = $include
+sources = main.c
+copy = $sources
+sample = $copy output.txt
+clean = $sample *.orig
+options = -clang-remove-redarray
+run = "$tsar $sources $options 2>&1 | $perl -p $sys_dir/filters/output.pl >output.txt"

tests/transform/remove_redarray/remove_redarray_2/main.c

@@ -0,0 +1,8 @@
+
+int main() {
+  int X[10];
+#pragma spf transform remove_redarray(X[10])
+  for (int i = 0; i < 10; i++) {
+    X[2 * i + 3] = i + 1;
+  }
+}

tests/transform/remove_redarray/remove_redarray_2/sample/main.c

@@ -0,0 +1,53 @@
+
+int main() {
+  int X[10];
+
+  int X_subscr_0_0 = X[0], X_subscr_1_0 = X[1], X_subscr_2_0 = X[2],
+      X_subscr_3_0 = X[3], X_subscr_4_0 = X[4], X_subscr_5_0 = X[5],
+      X_subscr_6_0 = X[6], X_subscr_7_0 = X[7], X_subscr_8_0 = X[8],
+      X_subscr_9_0 = X[9];
+  for (int i = 0; i < 10; i++) {
+    switch (2 * i + 3) {
+    case 0:
+      X_subscr_0_0 = i + 1;
+      break;
+    case 1:
+      X_subscr_1_0 = i + 1;
+      break;
+    case 2:
+      X_subscr_2_0 = i + 1;
+      break;
+    case 3:
+      X_subscr_3_0 = i + 1;
+      break;
+    case 4:
+      X_subscr_4_0 = i + 1;
+      break;
+    case 5:
+      X_subscr_5_0 = i + 1;
+      break;
+    case 6:
+      X_subscr_6_0 = i + 1;
+      break;
+    case 7:
+      X_subscr_7_0 = i + 1;
+      break;
+    case 8:
+      X_subscr_8_0 = i + 1;
+      break;
+    case 9:
+      X_subscr_9_0 = i + 1;
+      break;
+    };
+  }
+  X[0] = X_subscr_0_0;
+  X[1] = X_subscr_1_0;
+  X[2] = X_subscr_2_0;
+  X[3] = X_subscr_3_0;
+  X[4] = X_subscr_4_0;
+  X[5] = X_subscr_5_0;
+  X[6] = X_subscr_6_0;
+  X[7] = X_subscr_7_0;
+  X[8] = X_subscr_8_0;
+  X[9] = X_subscr_9_0;
+}

tests/transform/remove_redarray/remove_redarray_2/tsar.conf

@@ -0,0 +1,8 @@
+plugin = TsarPlugin
+add_include_path = $include
+sources = main.c
+copy = $sources
+sample = $copy output.txt
+clean = $sample *.orig
+options = -clang-remove-redarray
+run = "$tsar $sources $options 2>&1 | $perl -p $sys_dir/filters/output.pl >output.txt"

tests/transform/remove_redarray/remove_redarray_3/main.c

@@ -0,0 +1,8 @@
+
+int main() {
+  int *X;
+#pragma spf transform remove_redarray(X[10])
+  for (int i = 0; i < 10; i++) {
+    X[i] = i + 1;
+  }
+}

tests/transform/remove_redarray/remove_redarray_3/sample/main.c

@@ -0,0 +1,53 @@
+
+int main() {
+  int *X;
+
+  int X_subscr_0_0 = X[0], X_subscr_1_0 = X[1], X_subscr_2_0 = X[2],
+      X_subscr_3_0 = X[3], X_subscr_4_0 = X[4], X_subscr_5_0 = X[5],
+      X_subscr_6_0 = X[6], X_subscr_7_0 = X[7], X_subscr_8_0 = X[8],
+      X_subscr_9_0 = X[9];
+  for (int i = 0; i < 10; i++) {
+    switch (i) {
+    case 0:
+      X_subscr_0_0 = i + 1;
+      break;
+    case 1:
+      X_subscr_1_0 = i + 1;
+      break;
+    case 2:
+      X_subscr_2_0 = i + 1;
+      break;
+    case 3:
+      X_subscr_3_0 = i + 1;
+      break;
+    case 4:
+      X_subscr_4_0 = i + 1;
+      break;
+    case 5:
+      X_subscr_5_0 = i + 1;
+      break;
+    case 6:
+      X_subscr_6_0 = i + 1;
+      break;
+    case 7:
+      X_subscr_7_0 = i + 1;
+      break;
+    case 8:
+      X_subscr_8_0 = i + 1;
+      break;
+    case 9:
+      X_subscr_9_0 = i + 1;
+      break;
+    };
+  }
+  X[0] = X_subscr_0_0;
+  X[1] = X_subscr_1_0;
+  X[2] = X_subscr_2_0;
+  X[3] = X_subscr_3_0;
+  X[4] = X_subscr_4_0;
+  X[5] = X_subscr_5_0;
+  X[6] = X_subscr_6_0;
+  X[7] = X_subscr_7_0;
+  X[8] = X_subscr_8_0;
+  X[9] = X_subscr_9_0;
+}

tests/transform/remove_redarray/remove_redarray_3/tsar.conf

@@ -0,0 +1,8 @@
+plugin = TsarPlugin
+add_include_path = $include
+sources = main.c
+copy = $sources
+sample = $copy output.txt
+clean = $sample *.orig
+options = -clang-remove-redarray
+run = "$tsar $sources $options 2>&1 | $perl -p $sys_dir/filters/output.pl >output.txt"

tests/transform/remove_redarray/remove_redarray_4/main.c

@@ -0,0 +1,9 @@
+
+int main() {
+  int X[10];
+  double Y[15];
+#pragma spf transform remove_redarray(X[10], Y[15])
+  for (int i = 0; i < 10; i++) {
+    X[i] = i + 1;
+  }
+}

tests/transform/remove_redarray/remove_redarray_4/sample/main.c

@@ -0,0 +1,74 @@
+
+int main() {
+  int X[10];
+  double Y[15];
+
+  int X_subscr_0_0 = X[0], X_subscr_1_0 = X[1], X_subscr_2_0 = X[2],
+      X_subscr_3_0 = X[3], X_subscr_4_0 = X[4], X_subscr_5_0 = X[5],
+      X_subscr_6_0 = X[6], X_subscr_7_0 = X[7], X_subscr_8_0 = X[8],
+      X_subscr_9_0 = X[9];
+  double Y_subscr_0_0 = Y[0], Y_subscr_1_0 = Y[1], Y_subscr_2_0 = Y[2],
+         Y_subscr_3_0 = Y[3], Y_subscr_4_0 = Y[4], Y_subscr_5_0 = Y[5],
+         Y_subscr_6_0 = Y[6], Y_subscr_7_0 = Y[7], Y_subscr_8_0 = Y[8],
+         Y_subscr_9_0 = Y[9], Y_subscr_10_0 = Y[10], Y_subscr_11_0 = Y[11],
+         Y_subscr_12_0 = Y[12], Y_subscr_13_0 = Y[13], Y_subscr_14_0 = Y[14];
+  for (int i = 0; i < 10; i++) {
+    switch (i) {
+    case 0:
+      X_subscr_0_0 = i + 1;
+      break;
+    case 1:
+      X_subscr_1_0 = i + 1;
+      break;
+    case 2:
+      X_subscr_2_0 = i + 1;
+      break;
+    case 3:
+      X_subscr_3_0 = i + 1;
+      break;
+    case 4:
+      X_subscr_4_0 = i + 1;
+      break;
+    case 5:
+      X_subscr_5_0 = i + 1;
+      break;
+    case 6:
+      X_subscr_6_0 = i + 1;
+      break;
+    case 7:
+      X_subscr_7_0 = i + 1;
+      break;
+    case 8:
+      X_subscr_8_0 = i + 1;
+      break;
+    case 9:
+      X_subscr_9_0 = i + 1;
+      break;
+    };
+  }
+  X[0] = X_subscr_0_0;
+  X[1] = X_subscr_1_0;
+  X[2] = X_subscr_2_0;
+  X[3] = X_subscr_3_0;
+  X[4] = X_subscr_4_0;
+  X[5] = X_subscr_5_0;
+  X[6] = X_subscr_6_0;
+  X[7] = X_subscr_7_0;
+  X[8] = X_subscr_8_0;
+  X[9] = X_subscr_9_0;
+  Y[0] = Y_subscr_0_0;
+  Y[1] = Y_subscr_1_0;
+  Y[2] = Y_subscr_2_0;
+  Y[3] = Y_subscr_3_0;
+  Y[4] = Y_subscr_4_0;
+  Y[5] = Y_subscr_5_0;
+  Y[6] = Y_subscr_6_0;
+  Y[7] = Y_subscr_7_0;
+  Y[8] = Y_subscr_8_0;
+  Y[9] = Y_subscr_9_0;
+  Y[10] = Y_subscr_10_0;
+  Y[11] = Y_subscr_11_0;
+  Y[12] = Y_subscr_12_0;
+  Y[13] = Y_subscr_13_0;
+  Y[14] = Y_subscr_14_0;
+}

tests/transform/remove_redarray/remove_redarray_4/tsar.conf

@@ -0,0 +1,8 @@
+plugin = TsarPlugin
+add_include_path = $include
+sources = main.c
+copy = $sources
+sample = $copy output.txt
+clean = $sample *.orig
+options = -clang-remove-redarray
+run = "$tsar $sources $options 2>&1 | $perl -p $sys_dir/filters/output.pl >output.txt"

tests/transform/remove_redarray/remove_redarray_5/main.c

@@ -0,0 +1,10 @@
+
+int main() {
+  int X[10];
+  double Y[15];
+#pragma spf transform remove_redarray(X[10], Y[15])
+  for (int i = 0; i < 10; i++) {
+    X[i] = i + 1;
+    Y[i] = 2 * i;
+  }
+}