diff --git a/polly/docs/HowToManuallyUseTheIndividualPiecesOfPolly.rst b/polly/docs/HowToManuallyUseTheIndividualPiecesOfPolly.rst index 958dc96fa9ed..b32baf0af727 100644 --- a/polly/docs/HowToManuallyUseTheIndividualPiecesOfPolly.rst +++ b/polly/docs/HowToManuallyUseTheIndividualPiecesOfPolly.rst @@ -45,7 +45,7 @@ performance improvement can be expected by an optimal automatic optimizer. .. code-block:: console - $ opt -basicaa -polly-ast -analyze matmul.preopt.ll -polly-process-unprofitable -polly-use-llvm-names + $ opt -basic-aa -polly-ast -analyze matmul.preopt.ll -polly-process-unprofitable -polly-use-llvm-names .. code-block:: guess @@ -84,8 +84,8 @@ performance improvement can be expected by an optimal automatic optimizer. .. code-block:: console - $ opt -polly-use-llvm-names -basicaa -view-scops -disable-output matmul.preopt.ll - $ opt -polly-use-llvm-names -basicaa -view-scops-only -disable-output matmul.preopt.ll + $ opt -polly-use-llvm-names -basic-aa -view-scops -disable-output matmul.preopt.ll + $ opt -polly-use-llvm-names -basic-aa -view-scops-only -disable-output matmul.preopt.ll The output for the different functions: @@ -104,7 +104,7 @@ performance improvement can be expected by an optimal automatic optimizer. .. code-block:: console - $ opt -polly-use-llvm-names -basicaa -polly-scops -analyze matmul.preopt.ll -polly-process-unprofitable + $ opt -polly-use-llvm-names -basic-aa -polly-scops -analyze matmul.preopt.ll -polly-process-unprofitable .. code-block:: guess @@ -194,7 +194,7 @@ performance improvement can be expected by an optimal automatic optimizer. .. code-block:: console - $ opt -basicaa -polly-use-llvm-names -polly-dependences -analyze matmul.preopt.ll -polly-process-unprofitable + $ opt -basic-aa -polly-use-llvm-names -polly-dependences -analyze matmul.preopt.ll -polly-process-unprofitable .. code-block:: guess @@ -226,7 +226,7 @@ performance improvement can be expected by an optimal automatic optimizer. .. code-block:: console - $ opt -basicaa -polly-use-llvm-names -polly-export-jscop matmul.preopt.ll -polly-process-unprofitable + $ opt -basic-aa -polly-use-llvm-names -polly-export-jscop matmul.preopt.ll -polly-process-unprofitable .. code-block:: guess @@ -254,7 +254,7 @@ performance improvement can be expected by an optimal automatic optimizer. .. code-block:: console - $ opt -basicaa -polly-use-llvm-names matmul.preopt.ll -polly-import-jscop -polly-ast -analyze -polly-process-unprofitable + $ opt -basic-aa -polly-use-llvm-names matmul.preopt.ll -polly-import-jscop -polly-ast -analyze -polly-process-unprofitable .. code-block:: c @@ -282,7 +282,7 @@ performance improvement can be expected by an optimal automatic optimizer. .. code-block:: console - $ opt -basicaa -polly-use-llvm-names matmul.preopt.ll -polly-import-jscop -polly-import-jscop-postfix=interchanged -polly-ast -analyze -polly-process-unprofitable + $ opt -basic-aa -polly-use-llvm-names matmul.preopt.ll -polly-import-jscop -polly-import-jscop-postfix=interchanged -polly-ast -analyze -polly-process-unprofitable .. code-block:: c @@ -311,7 +311,7 @@ performance improvement can be expected by an optimal automatic optimizer. .. code-block:: console - $ opt -basicaa -polly-use-llvm-names matmul.preopt.ll -polly-import-jscop -polly-import-jscop-postfix=interchanged+tiled -polly-ast -analyze -polly-process-unprofitable + $ opt -basic-aa -polly-use-llvm-names matmul.preopt.ll -polly-import-jscop -polly-import-jscop-postfix=interchanged+tiled -polly-ast -analyze -polly-process-unprofitable .. code-block:: c @@ -346,7 +346,7 @@ performance improvement can be expected by an optimal automatic optimizer. .. code-block:: console - $ opt -basicaa -polly-use-llvm-names matmul.preopt.ll -polly-import-jscop -polly-import-jscop-postfix=interchanged+tiled -polly-ast -analyze -polly-process-unprofitable + $ opt -basic-aa -polly-use-llvm-names matmul.preopt.ll -polly-import-jscop -polly-import-jscop-postfix=interchanged+tiled -polly-ast -analyze -polly-process-unprofitable .. code-block:: c @@ -387,7 +387,7 @@ performance improvement can be expected by an optimal automatic optimizer. .. code-block:: console - $ opt -S matmul.preopt.ll -basicaa -polly-use-llvm-names -polly-import-jscop -polly-import-jscop-postfix=interchanged -polly-codegen -polly-process-unprofitable | opt -S -O3 -o matmul.polly.interchanged.ll + $ opt -S matmul.preopt.ll -basic-aa -polly-use-llvm-names -polly-import-jscop -polly-import-jscop-postfix=interchanged -polly-codegen -polly-process-unprofitable | opt -S -O3 -o matmul.polly.interchanged.ll .. code-block:: guess @@ -397,7 +397,7 @@ performance improvement can be expected by an optimal automatic optimizer. .. code-block:: console - $ opt -S matmul.preopt.ll -basicaa -polly-use-llvm-names -polly-import-jscop -polly-import-jscop-postfix=interchanged+tiled -polly-codegen -polly-process-unprofitable | opt -S -O3 -o matmul.polly.interchanged+tiled.ll + $ opt -S matmul.preopt.ll -basic-aa -polly-use-llvm-names -polly-import-jscop -polly-import-jscop-postfix=interchanged+tiled -polly-codegen -polly-process-unprofitable | opt -S -O3 -o matmul.polly.interchanged+tiled.ll .. code-block:: guess @@ -407,7 +407,7 @@ performance improvement can be expected by an optimal automatic optimizer. .. code-block:: console - $ opt -S matmul.preopt.ll -basicaa -polly-use-llvm-names -polly-import-jscop -polly-import-jscop-postfix=interchanged+tiled+vector -polly-codegen -polly-vectorizer=polly -polly-process-unprofitable | opt -S -O3 -o matmul.polly.interchanged+tiled+vector.ll + $ opt -S matmul.preopt.ll -basic-aa -polly-use-llvm-names -polly-import-jscop -polly-import-jscop-postfix=interchanged+tiled+vector -polly-codegen -polly-vectorizer=polly -polly-process-unprofitable | opt -S -O3 -o matmul.polly.interchanged+tiled+vector.ll .. code-block:: guess @@ -417,7 +417,7 @@ performance improvement can be expected by an optimal automatic optimizer. .. code-block:: console - $ opt -S matmul.preopt.ll -basicaa -polly-use-llvm-names -polly-import-jscop -polly-import-jscop-postfix=interchanged+tiled+vector -polly-codegen -polly-vectorizer=polly -polly-parallel -polly-process-unprofitable | opt -S -O3 -o matmul.polly.interchanged+tiled+openmp.ll + $ opt -S matmul.preopt.ll -basic-aa -polly-use-llvm-names -polly-import-jscop -polly-import-jscop-postfix=interchanged+tiled+vector -polly-codegen -polly-vectorizer=polly -polly-parallel -polly-process-unprofitable | opt -S -O3 -o matmul.polly.interchanged+tiled+openmp.ll .. code-block:: guess diff --git a/polly/docs/experiments/matmul/runall.sh b/polly/docs/experiments/matmul/runall.sh index 011d66bf6b4e..37dce6878c18 100755 --- a/polly/docs/experiments/matmul/runall.sh +++ b/polly/docs/experiments/matmul/runall.sh @@ -7,61 +7,61 @@ echo "--> 2. Prepare the LLVM-IR for Polly" opt -S -polly-canonicalize matmul.ll -o matmul.preopt.ll echo "--> 3. Show the SCoPs detected by Polly" -opt -basicaa -polly-ast -analyze matmul.preopt.ll \ +opt -basic-aa -polly-ast -analyze matmul.preopt.ll \ -polly-process-unprofitable -polly-use-llvm-names echo "--> 4.1 Highlight the detected SCoPs in the CFGs of the program" # We only create .dot files, as directly -view-scops directly calls graphviz # which would require user interaction to continue the script. -# opt -basicaa -view-scops -disable-output matmul.preopt.ll -opt -basicaa -dot-scops -disable-output matmul.preopt.ll -polly-use-llvm-names +# opt -basic-aa -view-scops -disable-output matmul.preopt.ll +opt -basic-aa -dot-scops -disable-output matmul.preopt.ll -polly-use-llvm-names echo "--> 4.2 Highlight the detected SCoPs in the CFGs of the program (print \ no instructions)" # We only create .dot files, as directly -view-scops-only directly calls # graphviz which would require user interaction to continue the script. -# opt -basicaa -view-scops-only -disable-output matmul.preopt.ll -opt -basicaa -dot-scops-only -disable-output matmul.preopt.ll -polly-use-llvm-names +# opt -basic-aa -view-scops-only -disable-output matmul.preopt.ll +opt -basic-aa -dot-scops-only -disable-output matmul.preopt.ll -polly-use-llvm-names echo "--> 4.3 Create .png files from the .dot files" for i in `ls *.dot`; do dot -Tpng $i > $i.png; done echo "--> 5. View the polyhedral representation of the SCoPs" -opt -basicaa -polly-scops -analyze matmul.preopt.ll \ +opt -basic-aa -polly-scops -analyze matmul.preopt.ll \ -polly-process-unprofitable -polly-use-llvm-names echo "--> 6. Show the dependences for the SCoPs" -opt -basicaa -polly-dependences -analyze matmul.preopt.ll \ +opt -basic-aa -polly-dependences -analyze matmul.preopt.ll \ -polly-process-unprofitable -polly-use-llvm-names echo "--> 7. Export jscop files" -opt -basicaa -polly-export-jscop matmul.preopt.ll \ +opt -basic-aa -polly-export-jscop matmul.preopt.ll \ -polly-process-unprofitable -disable-output -polly-use-llvm-names echo "--> 8. Import the updated jscop files and print the new SCoPs. (optional)" -opt -basicaa -polly-import-jscop -polly-ast -analyze matmul.preopt.ll \ +opt -basic-aa -polly-import-jscop -polly-ast -analyze matmul.preopt.ll \ -polly-process-unprofitable -polly-use-llvm-names -opt -basicaa -polly-import-jscop -polly-ast -analyze matmul.preopt.ll \ +opt -basic-aa -polly-import-jscop -polly-ast -analyze matmul.preopt.ll \ -polly-import-jscop-postfix=interchanged -polly-process-unprofitable -polly-use-llvm-names -opt -basicaa -polly-import-jscop -polly-ast -analyze matmul.preopt.ll \ +opt -basic-aa -polly-import-jscop -polly-ast -analyze matmul.preopt.ll \ -polly-import-jscop-postfix=interchanged+tiled -polly-process-unprofitable -polly-use-llvm-names -opt -basicaa -polly-import-jscop -polly-ast -analyze matmul.preopt.ll \ +opt -basic-aa -polly-import-jscop -polly-ast -analyze matmul.preopt.ll \ -polly-import-jscop-postfix=interchanged+tiled+vector \ -polly-process-unprofitable -polly-use-llvm-names echo "--> 9. Codegenerate the SCoPs" -opt -S -basicaa -polly-import-jscop -polly-import-jscop-postfix=interchanged \ +opt -S -basic-aa -polly-import-jscop -polly-import-jscop-postfix=interchanged \ -polly-codegen -polly-process-unprofitable -polly-use-llvm-names \ matmul.preopt.ll | opt -O3 -S -o matmul.polly.interchanged.ll -opt -S -basicaa -polly-import-jscop \ +opt -S -basic-aa -polly-import-jscop \ -polly-import-jscop-postfix=interchanged+tiled -polly-codegen \ matmul.preopt.ll -polly-process-unprofitable -polly-use-llvm-names \ | opt -O3 -S -o matmul.polly.interchanged+tiled.ll -opt -S -basicaa -polly-import-jscop -polly-process-unprofitable\ +opt -S -basic-aa -polly-import-jscop -polly-process-unprofitable\ -polly-import-jscop-postfix=interchanged+tiled+vector -polly-codegen \ matmul.preopt.ll -polly-vectorizer=polly -polly-use-llvm-names \ | opt -O3 -S -o matmul.polly.interchanged+tiled+vector.ll -opt -S -basicaa -polly-import-jscop -polly-process-unprofitable\ +opt -S -basic-aa -polly-import-jscop -polly-process-unprofitable\ -polly-import-jscop-postfix=interchanged+tiled+vector -polly-codegen \ matmul.preopt.ll -polly-vectorizer=polly -polly-parallel -polly-use-llvm-names \ | opt -O3 -S -o matmul.polly.interchanged+tiled+vector+openmp.ll diff --git a/polly/test/DeadCodeElimination/chained_iterations.ll b/polly/test/DeadCodeElimination/chained_iterations.ll index 26ffc3ce0f24..e798f36b1753 100644 --- a/polly/test/DeadCodeElimination/chained_iterations.ll +++ b/polly/test/DeadCodeElimination/chained_iterations.ll @@ -1,5 +1,5 @@ -; RUN: opt -S %loadPolly -basicaa -polly-dependences-analysis-type=value-based -polly-ast -analyze < %s | FileCheck %s -; RUN: opt -S %loadPolly -basicaa -polly-dependences-analysis-type=value-based -polly-dce -polly-ast -analyze < %s | FileCheck %s -check-prefix=CHECK-DCE +; RUN: opt -S %loadPolly -basic-aa -polly-dependences-analysis-type=value-based -polly-ast -analyze < %s | FileCheck %s +; RUN: opt -S %loadPolly -basic-aa -polly-dependences-analysis-type=value-based -polly-dce -polly-ast -analyze < %s | FileCheck %s -check-prefix=CHECK-DCE target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" ; ; for(i = 0; i < 200; i++ ) diff --git a/polly/test/DeadCodeElimination/chained_iterations_2.ll b/polly/test/DeadCodeElimination/chained_iterations_2.ll index 42e0617eebda..7f454daabf7f 100644 --- a/polly/test/DeadCodeElimination/chained_iterations_2.ll +++ b/polly/test/DeadCodeElimination/chained_iterations_2.ll @@ -1,5 +1,5 @@ -; RUN: opt -S %loadPolly -basicaa -polly-dependences-analysis-type=value-based -polly-ast -analyze < %s | FileCheck %s -; RUN: opt -S %loadPolly -basicaa -polly-dependences-analysis-type=value-based -polly-dce -polly-ast -analyze < %s | FileCheck %s -check-prefix=CHECK-DCE +; RUN: opt -S %loadPolly -basic-aa -polly-dependences-analysis-type=value-based -polly-ast -analyze < %s | FileCheck %s +; RUN: opt -S %loadPolly -basic-aa -polly-dependences-analysis-type=value-based -polly-dce -polly-ast -analyze < %s | FileCheck %s -check-prefix=CHECK-DCE target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" ; ; for(i = 0; i < 200; i++ ) diff --git a/polly/test/DeadCodeElimination/computeout.ll b/polly/test/DeadCodeElimination/computeout.ll index 21d3c02c25b6..6b40a09c8807 100644 --- a/polly/test/DeadCodeElimination/computeout.ll +++ b/polly/test/DeadCodeElimination/computeout.ll @@ -1,5 +1,5 @@ -; RUN: opt -S %loadPolly -basicaa -polly-dce -polly-ast -analyze < %s | FileCheck %s -; RUN: opt -S %loadPolly -basicaa -polly-dce -polly-ast -analyze -polly-dependences-computeout=1 < %s | FileCheck %s -check-prefix=TIMEOUT +; RUN: opt -S %loadPolly -basic-aa -polly-dce -polly-ast -analyze < %s | FileCheck %s +; RUN: opt -S %loadPolly -basic-aa -polly-dce -polly-ast -analyze -polly-dependences-computeout=1 < %s | FileCheck %s -check-prefix=TIMEOUT target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" ; for(i = 0; i < 100; i++ ) diff --git a/polly/test/DeadCodeElimination/dead_iteration_elimination.ll b/polly/test/DeadCodeElimination/dead_iteration_elimination.ll index b9d935c437ca..cc9851ffab87 100644 --- a/polly/test/DeadCodeElimination/dead_iteration_elimination.ll +++ b/polly/test/DeadCodeElimination/dead_iteration_elimination.ll @@ -1,4 +1,4 @@ -; RUN: opt -S %loadPolly -basicaa -polly-dependences-analysis-type=value-based -polly-dce -polly-dce-precise-steps=2 -polly-ast -analyze < %s | FileCheck %s +; RUN: opt -S %loadPolly -basic-aa -polly-dependences-analysis-type=value-based -polly-dce -polly-dce-precise-steps=2 -polly-ast -analyze < %s | FileCheck %s target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" ; ; for(i = 0; i < 200; i++ ) diff --git a/polly/test/DeadCodeElimination/null_schedule.ll b/polly/test/DeadCodeElimination/null_schedule.ll index 26d7b4f407f9..c8ccefdac608 100644 --- a/polly/test/DeadCodeElimination/null_schedule.ll +++ b/polly/test/DeadCodeElimination/null_schedule.ll @@ -1,4 +1,4 @@ -; RUN: opt -S %loadPolly -basicaa -polly-dependences-analysis-type=value-based -polly-dce -polly-ast -analyze < %s | FileCheck %s -check-prefix=CHECK-DCE +; RUN: opt -S %loadPolly -basic-aa -polly-dependences-analysis-type=value-based -polly-dce -polly-ast -analyze < %s | FileCheck %s -check-prefix=CHECK-DCE target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" ; A[0] = 1; ; diff --git a/polly/test/DependenceInfo/do_pluto_matmult.ll b/polly/test/DependenceInfo/do_pluto_matmult.ll index 20cc90e40aed..4cdcd43adc2c 100644 --- a/polly/test/DependenceInfo/do_pluto_matmult.ll +++ b/polly/test/DependenceInfo/do_pluto_matmult.ll @@ -1,7 +1,7 @@ -; RUN: opt %loadPolly -basicaa -polly-dependences -analyze -polly-dependences-analysis-type=value-based < %s | FileCheck %s -check-prefix=VALUE -; RUN: opt %loadPolly -basicaa -polly-dependences -analyze -polly-dependences-analysis-type=memory-based < %s | FileCheck %s -check-prefix=MEMORY -; RUN: opt %loadPolly -basicaa -polly-function-dependences -analyze -polly-dependences-analysis-type=value-based < %s | FileCheck %s -check-prefix=FUNC-VALUE -; RUN: opt %loadPolly -basicaa -polly-function-dependences -analyze -polly-dependences-analysis-type=memory-based < %s | FileCheck %s -check-prefix=FUNC-MEMORY +; RUN: opt %loadPolly -basic-aa -polly-dependences -analyze -polly-dependences-analysis-type=value-based < %s | FileCheck %s -check-prefix=VALUE +; RUN: opt %loadPolly -basic-aa -polly-dependences -analyze -polly-dependences-analysis-type=memory-based < %s | FileCheck %s -check-prefix=MEMORY +; RUN: opt %loadPolly -basic-aa -polly-function-dependences -analyze -polly-dependences-analysis-type=value-based < %s | FileCheck %s -check-prefix=FUNC-VALUE +; RUN: opt %loadPolly -basic-aa -polly-function-dependences -analyze -polly-dependences-analysis-type=memory-based < %s | FileCheck %s -check-prefix=FUNC-MEMORY target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" diff --git a/polly/test/DependenceInfo/reduction_dependences_equal_non_reduction_dependences.ll b/polly/test/DependenceInfo/reduction_dependences_equal_non_reduction_dependences.ll index 36d06f6026a5..b9be9529ef05 100644 --- a/polly/test/DependenceInfo/reduction_dependences_equal_non_reduction_dependences.ll +++ b/polly/test/DependenceInfo/reduction_dependences_equal_non_reduction_dependences.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-stmt-granularity=bb -polly-dependences -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-stmt-granularity=bb -polly-dependences -analyze < %s | FileCheck %s ; ; This loopnest contains a reduction which imposes the same dependences as the ; accesses to the array A. We need to ensure we keep the dependences of A. diff --git a/polly/test/DependenceInfo/reduction_multiple_loops_array_sum.ll b/polly/test/DependenceInfo/reduction_multiple_loops_array_sum.ll index db1bdca5b50e..1e3fc97a236c 100644 --- a/polly/test/DependenceInfo/reduction_multiple_loops_array_sum.ll +++ b/polly/test/DependenceInfo/reduction_multiple_loops_array_sum.ll @@ -1,6 +1,6 @@ -; RUN: opt -basicaa %loadPolly -polly-dependences -analyze < %s | FileCheck %s -; RUN: opt -basicaa %loadPolly -polly-dependences -polly-dependences-analysis-level=reference-wise -analyze < %s | FileCheck %s -; RUN: opt -basicaa %loadPolly -polly-dependences -polly-dependences-analysis-level=access-wise -analyze < %s | FileCheck %s +; RUN: opt -basic-aa %loadPolly -polly-dependences -analyze < %s | FileCheck %s +; RUN: opt -basic-aa %loadPolly -polly-dependences -polly-dependences-analysis-level=reference-wise -analyze < %s | FileCheck %s +; RUN: opt -basic-aa %loadPolly -polly-dependences -polly-dependences-analysis-level=access-wise -analyze < %s | FileCheck %s ; ; Verify that only the inner reduction like accesses cause reduction dependences ; diff --git a/polly/test/DependenceInfo/reduction_multiple_loops_array_sum_2.ll b/polly/test/DependenceInfo/reduction_multiple_loops_array_sum_2.ll index 3b641a151a01..b77eab059acc 100644 --- a/polly/test/DependenceInfo/reduction_multiple_loops_array_sum_2.ll +++ b/polly/test/DependenceInfo/reduction_multiple_loops_array_sum_2.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -polly-dependences -analyze -basicaa < %s | FileCheck %s +; RUN: opt %loadPolly -polly-dependences -analyze -basic-aa < %s | FileCheck %s ; ; CHECK: RAW dependences: ; CHECK-NEXT: { } diff --git a/polly/test/DependenceInfo/reduction_multiple_loops_array_sum_3.ll b/polly/test/DependenceInfo/reduction_multiple_loops_array_sum_3.ll index 2ccb6e7fc7e8..8914e2cbb308 100644 --- a/polly/test/DependenceInfo/reduction_multiple_loops_array_sum_3.ll +++ b/polly/test/DependenceInfo/reduction_multiple_loops_array_sum_3.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -polly-dependences -analyze -basicaa < %s | FileCheck %s +; RUN: opt %loadPolly -polly-dependences -analyze -basic-aa < %s | FileCheck %s ; ; CHECK: Reduction dependences: ; CHECK-NEXT: { Stmt_for_inc[i0, i1] -> Stmt_for_inc[i0, 1 + i1] : 0 <= i0 <= 99 and 0 <= i1 <= 98 } diff --git a/polly/test/DependenceInfo/reduction_multiple_reductions.ll b/polly/test/DependenceInfo/reduction_multiple_reductions.ll index b838d78ed05a..bc8aa3e5dcb1 100644 --- a/polly/test/DependenceInfo/reduction_multiple_reductions.ll +++ b/polly/test/DependenceInfo/reduction_multiple_reductions.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-dependences -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-dependences -analyze < %s | FileCheck %s ; ; Verify we do not have dependences between the if and the else clause ; diff --git a/polly/test/DependenceInfo/reduction_multiple_reductions_2.ll b/polly/test/DependenceInfo/reduction_multiple_reductions_2.ll index 98c3ee6549c0..6da5d4a9d05a 100644 --- a/polly/test/DependenceInfo/reduction_multiple_reductions_2.ll +++ b/polly/test/DependenceInfo/reduction_multiple_reductions_2.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-dependences -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-dependences -analyze < %s | FileCheck %s ; ; ; These are the important RAW dependences, as they need to originate/end in only one iteration: diff --git a/polly/test/DependenceInfo/reduction_partially_escaping_intermediate_in_other_stmt.ll b/polly/test/DependenceInfo/reduction_partially_escaping_intermediate_in_other_stmt.ll index 801992883f64..da06e0b9a315 100644 --- a/polly/test/DependenceInfo/reduction_partially_escaping_intermediate_in_other_stmt.ll +++ b/polly/test/DependenceInfo/reduction_partially_escaping_intermediate_in_other_stmt.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -polly-dependences -analyze -basicaa < %s | FileCheck %s +; RUN: opt %loadPolly -polly-dependences -analyze -basic-aa < %s | FileCheck %s ; ; CHECK: Reduction dependences: ; CHECK-NEXT: [N] -> { Stmt_for_body3[i0, i1] -> Stmt_for_body3[i0, 1 + i1] : 0 <= i0 <= 1023 and i1 >= 0 and 1024 - N + i0 <= i1 <= 1022 } diff --git a/polly/test/DependenceInfo/reduction_two_reductions_different_rloops.ll b/polly/test/DependenceInfo/reduction_two_reductions_different_rloops.ll index c5e6b9106d79..e73be939795a 100644 --- a/polly/test/DependenceInfo/reduction_two_reductions_different_rloops.ll +++ b/polly/test/DependenceInfo/reduction_two_reductions_different_rloops.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-stmt-granularity=bb -polly-dependences -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-stmt-granularity=bb -polly-dependences -analyze < %s | FileCheck %s ; ; CHECK: RAW dependences: ; CHECK-NEXT: { } diff --git a/polly/test/DependenceInfo/sequential_loops.ll b/polly/test/DependenceInfo/sequential_loops.ll index 1e81ec805a40..5857e1df23eb 100644 --- a/polly/test/DependenceInfo/sequential_loops.ll +++ b/polly/test/DependenceInfo/sequential_loops.ll @@ -1,6 +1,6 @@ -; RUN: opt -S %loadPolly -basicaa -polly-dependences -analyze -polly-dependences-analysis-type=value-based < %s | FileCheck %s -check-prefix=VALUE -; RUN: opt -S %loadPolly -basicaa -polly-dependences -analyze -polly-dependences-analysis-type=memory-based < %s | FileCheck %s -check-prefix=MEMORY -; RUN: opt -S %loadPolly -basicaa -polly-dependences -analyze -polly-dependences-analysis-type=value-based -polly-dependences-analysis-level=access-wise < %s | FileCheck %s -check-prefix=VALUE_ACCESS +; RUN: opt -S %loadPolly -basic-aa -polly-dependences -analyze -polly-dependences-analysis-type=value-based < %s | FileCheck %s -check-prefix=VALUE +; RUN: opt -S %loadPolly -basic-aa -polly-dependences -analyze -polly-dependences-analysis-type=memory-based < %s | FileCheck %s -check-prefix=MEMORY +; RUN: opt -S %loadPolly -basic-aa -polly-dependences -analyze -polly-dependences-analysis-type=value-based -polly-dependences-analysis-level=access-wise < %s | FileCheck %s -check-prefix=VALUE_ACCESS ; VALUE-LABEL: Printing analysis 'Polly - Calculate dependences' for region: 'S1 => exit.3' in function 'sequential_writes': ; VALUE-NEXT: RAW dependences: diff --git a/polly/test/Isl/Ast/dependence_distance_multiple_constant.ll b/polly/test/Isl/Ast/dependence_distance_multiple_constant.ll index b7b5c25e05fb..d4a43c691f80 100644 --- a/polly/test/Isl/Ast/dependence_distance_multiple_constant.ll +++ b/polly/test/Isl/Ast/dependence_distance_multiple_constant.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-stmt-granularity=bb -polly-ast -polly-ast-detect-parallel -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-stmt-granularity=bb -polly-ast -polly-ast-detect-parallel -analyze < %s | FileCheck %s ; RUN: opt %loadPolly -polly-stmt-granularity=bb -polyhedral-info -polly-check-parallel -analyze < %s | FileCheck %s -check-prefix=PINFO ; ; void f(int *restrict A, int *restrict B, int N) { diff --git a/polly/test/Isl/Ast/dependence_distance_varying_multiple.ll b/polly/test/Isl/Ast/dependence_distance_varying_multiple.ll index fff6ec420696..cc60f3fe6bdf 100644 --- a/polly/test/Isl/Ast/dependence_distance_varying_multiple.ll +++ b/polly/test/Isl/Ast/dependence_distance_varying_multiple.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-stmt-granularity=bb -polly-ast -polly-ast-detect-parallel -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-stmt-granularity=bb -polly-ast -polly-ast-detect-parallel -analyze < %s | FileCheck %s ; RUN: opt %loadPolly -polly-stmt-granularity=bb -polyhedral-info -polly-check-parallel -analyze < %s | FileCheck %s -check-prefix=PINFO ; ; void f(int *restrict A, int *restrict B, int *restrict C, int *restrict D, diff --git a/polly/test/Isl/Ast/reduction_dependences_equal_non_reduction_dependences.ll b/polly/test/Isl/Ast/reduction_dependences_equal_non_reduction_dependences.ll index ad39f4319b56..d1865d84cc66 100644 --- a/polly/test/Isl/Ast/reduction_dependences_equal_non_reduction_dependences.ll +++ b/polly/test/Isl/Ast/reduction_dependences_equal_non_reduction_dependences.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-ast -polly-ast-detect-parallel -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-ast -polly-ast-detect-parallel -analyze < %s | FileCheck %s ; ; This loopnest contains a reduction which imposes the same dependences as the ; accesses to the array A. We need to ensure we do __not__ parallelize anything diff --git a/polly/test/Isl/Ast/reduction_different_reduction_clauses.ll b/polly/test/Isl/Ast/reduction_different_reduction_clauses.ll index b423a47d8ef2..a7eda18a3379 100644 --- a/polly/test/Isl/Ast/reduction_different_reduction_clauses.ll +++ b/polly/test/Isl/Ast/reduction_different_reduction_clauses.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-ast -polly-ast-detect-parallel -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-ast -polly-ast-detect-parallel -analyze < %s | FileCheck %s ; ; CHECK: #pragma simd reduction (+ : MemRef_sum{{[1,2]}}, MemRef_sum{{[1,2]}}) reduction (* : MemRef_prod) reduction (| : MemRef_or) reduction (& : MemRef_and) ; CHECK: #pragma known-parallel reduction (+ : MemRef_sum{{[1,2]}}, MemRef_sum{{[1,2]}}) reduction (* : MemRef_prod) reduction (| : MemRef_or) reduction (& : MemRef_and) diff --git a/polly/test/Isl/Ast/run-time-condition.ll b/polly/test/Isl/Ast/run-time-condition.ll index def7d91e929e..272f2bc090c2 100644 --- a/polly/test/Isl/Ast/run-time-condition.ll +++ b/polly/test/Isl/Ast/run-time-condition.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-ast -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-ast -analyze < %s | FileCheck %s ; for (i = 0; i < 1024; i++) ; A[i] = B[i]; diff --git a/polly/test/Isl/Ast/single_loop_strip_mine.ll b/polly/test/Isl/Ast/single_loop_strip_mine.ll index e4e7574daad2..79a584e16c5d 100644 --- a/polly/test/Isl/Ast/single_loop_strip_mine.ll +++ b/polly/test/Isl/Ast/single_loop_strip_mine.ll @@ -1,5 +1,5 @@ -; RUN: opt %loadPolly -basicaa -polly-ast -analyze < %s | FileCheck %s -; RUN: opt %loadPolly -basicaa -polly-import-jscop \ +; RUN: opt %loadPolly -basic-aa -polly-ast -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-import-jscop \ ; RUN: -polly-ast-print-accesses \ ; RUN: -polly-ast -polly-ast-detect-parallel -analyze < %s | FileCheck %s \ ; RUN: -check-prefix=CHECK-VECTOR diff --git a/polly/test/Isl/CodeGen/MemAccess/default_aligned_new_access_function.ll b/polly/test/Isl/CodeGen/MemAccess/default_aligned_new_access_function.ll index 25f1c4daa4c6..f1ede7058cc1 100644 --- a/polly/test/Isl/CodeGen/MemAccess/default_aligned_new_access_function.ll +++ b/polly/test/Isl/CodeGen/MemAccess/default_aligned_new_access_function.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-import-jscop -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-import-jscop -analyze < %s | FileCheck %s ; ; Check that we allow the new access functions even though they access ; different locations than the original ones (but the alignment is the diff --git a/polly/test/Isl/CodeGen/MemAccess/simple_stride_test.ll b/polly/test/Isl/CodeGen/MemAccess/simple_stride_test.ll index e82b7dec98fb..69de07142a93 100644 --- a/polly/test/Isl/CodeGen/MemAccess/simple_stride_test.ll +++ b/polly/test/Isl/CodeGen/MemAccess/simple_stride_test.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-import-jscop -polly-codegen -polly-vectorizer=polly -S < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-import-jscop -polly-codegen -polly-vectorizer=polly -S < %s | FileCheck %s ; ; Check that we use the correct __new__ strides: ; stride zero for B diff --git a/polly/test/Isl/CodeGen/OpenMP/loop-body-references-outer-values-3.ll b/polly/test/Isl/CodeGen/OpenMP/loop-body-references-outer-values-3.ll index d64855a2f7fc..85fdc03b69fb 100644 --- a/polly/test/Isl/CodeGen/OpenMP/loop-body-references-outer-values-3.ll +++ b/polly/test/Isl/CodeGen/OpenMP/loop-body-references-outer-values-3.ll @@ -1,5 +1,5 @@ -; RUN: opt %loadPolly -basicaa -polly-parallel -polly-parallel-force -polly-invariant-load-hoisting=true -polly-ast -analyze < %s | FileCheck %s -check-prefix=AST -; RUN: opt %loadPolly -basicaa -polly-parallel -polly-parallel-force -polly-invariant-load-hoisting=true -polly-codegen -S -verify-dom-info < %s | FileCheck %s -check-prefix=IR +; RUN: opt %loadPolly -basic-aa -polly-parallel -polly-parallel-force -polly-invariant-load-hoisting=true -polly-ast -analyze < %s | FileCheck %s -check-prefix=AST +; RUN: opt %loadPolly -basic-aa -polly-parallel -polly-parallel-force -polly-invariant-load-hoisting=true -polly-codegen -S -verify-dom-info < %s | FileCheck %s -check-prefix=IR ; The interesting part of this test case is the instruction: ; %tmp = bitcast i8* %call to i64** diff --git a/polly/test/Isl/CodeGen/create-conditional-scop.ll b/polly/test/Isl/CodeGen/create-conditional-scop.ll index 44b2042c3d95..df5847773145 100644 --- a/polly/test/Isl/CodeGen/create-conditional-scop.ll +++ b/polly/test/Isl/CodeGen/create-conditional-scop.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-codegen -verify-loop-info < %s -S | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-codegen -verify-loop-info < %s -S | FileCheck %s target datalayout = "e-p:32:32:32-i64:64:64-i32:32:32-i16:16:16-i1:32:32-f64:64:64-f32:32:32-a0:0-n32" diff --git a/polly/test/Isl/CodeGen/intrinsics_lifetime.ll b/polly/test/Isl/CodeGen/intrinsics_lifetime.ll index 65d5f9c9898b..9aea62b87d82 100644 --- a/polly/test/Isl/CodeGen/intrinsics_lifetime.ll +++ b/polly/test/Isl/CodeGen/intrinsics_lifetime.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-codegen -S < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-codegen -S < %s | FileCheck %s ; ; Verify that we remove the lifetime markers from everywhere. ; diff --git a/polly/test/Isl/CodeGen/intrinsics_misc.ll b/polly/test/Isl/CodeGen/intrinsics_misc.ll index cdf5a30dfc1c..bb5c15c850ef 100644 --- a/polly/test/Isl/CodeGen/intrinsics_misc.ll +++ b/polly/test/Isl/CodeGen/intrinsics_misc.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-codegen -S < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-codegen -S < %s | FileCheck %s ; ; Verify that we remove the misc intrinsics from the optimized SCoP. ; diff --git a/polly/test/Isl/CodeGen/invariant_load_hoist_alignment.ll b/polly/test/Isl/CodeGen/invariant_load_hoist_alignment.ll index d96a9b4596ed..52ea0618b9ea 100644 --- a/polly/test/Isl/CodeGen/invariant_load_hoist_alignment.ll +++ b/polly/test/Isl/CodeGen/invariant_load_hoist_alignment.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-codegen -polly-vectorizer=polly -S \ +; RUN: opt %loadPolly -basic-aa -polly-codegen -polly-vectorizer=polly -S \ ; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target triple = "x86_64-unknown-linux-gnu" diff --git a/polly/test/Isl/CodeGen/loop_with_condition.ll b/polly/test/Isl/CodeGen/loop_with_condition.ll index a5a53eae656e..1bb859fcb736 100644 --- a/polly/test/Isl/CodeGen/loop_with_condition.ll +++ b/polly/test/Isl/CodeGen/loop_with_condition.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-ast -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-ast -analyze < %s | FileCheck %s ;#include ;#define N 1024 diff --git a/polly/test/Isl/CodeGen/loop_with_condition_2.ll b/polly/test/Isl/CodeGen/loop_with_condition_2.ll index 9398e1dc70b8..05029ca308a9 100644 --- a/polly/test/Isl/CodeGen/loop_with_condition_2.ll +++ b/polly/test/Isl/CodeGen/loop_with_condition_2.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-ast -polly-ast-detect-parallel -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-ast -polly-ast-detect-parallel -analyze < %s | FileCheck %s ; Verify that we actually detect this loop as the innermost loop even though ; there is a conditional inside. diff --git a/polly/test/Isl/CodeGen/loop_with_condition_ineq.ll b/polly/test/Isl/CodeGen/loop_with_condition_ineq.ll index f7f68317bc56..652a69e82e4f 100644 --- a/polly/test/Isl/CodeGen/loop_with_condition_ineq.ll +++ b/polly/test/Isl/CodeGen/loop_with_condition_ineq.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-ast -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-ast -analyze < %s | FileCheck %s ;#include ;#define N 1024 diff --git a/polly/test/Isl/CodeGen/loop_with_condition_nested.ll b/polly/test/Isl/CodeGen/loop_with_condition_nested.ll index 38ce5589857d..d6cbe668eb5b 100644 --- a/polly/test/Isl/CodeGen/loop_with_condition_nested.ll +++ b/polly/test/Isl/CodeGen/loop_with_condition_nested.ll @@ -1,5 +1,5 @@ -; RUN: opt %loadPolly -basicaa -polly-ast -analyze < %s | FileCheck %s -; RUN: opt %loadPolly -basicaa -polly-codegen -loops -analyze < %s | FileCheck %s -check-prefix=LOOPS +; RUN: opt %loadPolly -basic-aa -polly-ast -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-codegen -loops -analyze < %s | FileCheck %s -check-prefix=LOOPS ;#include diff --git a/polly/test/Isl/CodeGen/partial_write_mapped_vector.ll b/polly/test/Isl/CodeGen/partial_write_mapped_vector.ll index c97951b2a590..b40f72b35bf8 100644 --- a/polly/test/Isl/CodeGen/partial_write_mapped_vector.ll +++ b/polly/test/Isl/CodeGen/partial_write_mapped_vector.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-stmt-granularity=bb -polly-import-jscop -polly-import-jscop-postfix=transformed -polly-vectorizer=polly -polly-opt-isl -polly-ast -polly-codegen -S < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-stmt-granularity=bb -polly-import-jscop -polly-import-jscop-postfix=transformed -polly-vectorizer=polly -polly-opt-isl -polly-ast -polly-codegen -S < %s | FileCheck %s ; ; Polly's vectorizer does not support partial accesses. ; diff --git a/polly/test/Isl/CodeGen/reduction_2.ll b/polly/test/Isl/CodeGen/reduction_2.ll index 13cd32e792d8..075cf3f6c14c 100644 --- a/polly/test/Isl/CodeGen/reduction_2.ll +++ b/polly/test/Isl/CodeGen/reduction_2.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-ast -analyze \ +; RUN: opt %loadPolly -basic-aa -polly-ast -analyze \ ; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s ;#include diff --git a/polly/test/Isl/CodeGen/run-time-condition.ll b/polly/test/Isl/CodeGen/run-time-condition.ll index 0cf4aa28afc1..19446da6c3f5 100644 --- a/polly/test/Isl/CodeGen/run-time-condition.ll +++ b/polly/test/Isl/CodeGen/run-time-condition.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-codegen -S < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-codegen -S < %s | FileCheck %s target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" diff --git a/polly/test/Isl/CodeGen/simple_vec_assign_scalar.ll b/polly/test/Isl/CodeGen/simple_vec_assign_scalar.ll index 02106844f8e0..2ac4b19e38dd 100644 --- a/polly/test/Isl/CodeGen/simple_vec_assign_scalar.ll +++ b/polly/test/Isl/CodeGen/simple_vec_assign_scalar.ll @@ -1,7 +1,7 @@ -; RUN: opt %loadPolly -basicaa -polly-codegen \ +; RUN: opt %loadPolly -basic-aa -polly-codegen \ ; RUN: -polly-vectorizer=polly -dce -S < %s | FileCheck %s -; RUN: opt %loadPolly -basicaa -polly-codegen -polly-vectorizer=stripmine -dce -S < %s | FileCheck %s --check-prefix=STRIPMINE +; RUN: opt %loadPolly -basic-aa -polly-codegen -polly-vectorizer=stripmine -dce -S < %s | FileCheck %s --check-prefix=STRIPMINE ;#define N 1024 ;float A[N]; diff --git a/polly/test/Isl/CodeGen/simple_vec_assign_scalar_2.ll b/polly/test/Isl/CodeGen/simple_vec_assign_scalar_2.ll index 8cdbd20873bb..6e957da789ff 100644 --- a/polly/test/Isl/CodeGen/simple_vec_assign_scalar_2.ll +++ b/polly/test/Isl/CodeGen/simple_vec_assign_scalar_2.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-codegen -polly-vectorizer=polly -dce -S < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-codegen -polly-vectorizer=polly -dce -S < %s | FileCheck %s ;#define N 1024 ;float A[N]; diff --git a/polly/test/Isl/CodeGen/simple_vec_call.ll b/polly/test/Isl/CodeGen/simple_vec_call.ll index d672f54afb0f..51a470d35e58 100644 --- a/polly/test/Isl/CodeGen/simple_vec_call.ll +++ b/polly/test/Isl/CodeGen/simple_vec_call.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-codegen -polly-vectorizer=polly -S \ +; RUN: opt %loadPolly -basic-aa -polly-codegen -polly-vectorizer=polly -S \ ; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" diff --git a/polly/test/Isl/CodeGen/simple_vec_call_2.ll b/polly/test/Isl/CodeGen/simple_vec_call_2.ll index 0ba12266310f..b00ce29addab 100644 --- a/polly/test/Isl/CodeGen/simple_vec_call_2.ll +++ b/polly/test/Isl/CodeGen/simple_vec_call_2.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-codegen -polly-vectorizer=polly -dce \ +; RUN: opt %loadPolly -basic-aa -polly-codegen -polly-vectorizer=polly -dce \ ; RUN: -polly-invariant-load-hoisting=true -S < %s | FileCheck %s target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" diff --git a/polly/test/Isl/CodeGen/simple_vec_cast.ll b/polly/test/Isl/CodeGen/simple_vec_cast.ll index 69df1e179e4c..8991a07b4920 100644 --- a/polly/test/Isl/CodeGen/simple_vec_cast.ll +++ b/polly/test/Isl/CodeGen/simple_vec_cast.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-codegen -polly-vectorizer=polly \ +; RUN: opt %loadPolly -basic-aa -polly-codegen -polly-vectorizer=polly \ ; RUN: -polly-invariant-load-hoisting=true -dce -S < %s | FileCheck %s target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" diff --git a/polly/test/Isl/CodeGen/simple_vec_const.ll b/polly/test/Isl/CodeGen/simple_vec_const.ll index c2716390720c..62acccbdca4c 100644 --- a/polly/test/Isl/CodeGen/simple_vec_const.ll +++ b/polly/test/Isl/CodeGen/simple_vec_const.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-codegen -polly-vectorizer=polly -S \ +; RUN: opt %loadPolly -basic-aa -polly-codegen -polly-vectorizer=polly -S \ ; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s ;#define N 1024 diff --git a/polly/test/Isl/CodeGen/simple_vec_large_width.ll b/polly/test/Isl/CodeGen/simple_vec_large_width.ll index 75f5d20998e1..6b5b6e287bf3 100644 --- a/polly/test/Isl/CodeGen/simple_vec_large_width.ll +++ b/polly/test/Isl/CodeGen/simple_vec_large_width.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-codegen -polly-vectorizer=polly -dce -S < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-codegen -polly-vectorizer=polly -dce -S < %s | FileCheck %s target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" @A = common global [1024 x float] zeroinitializer, align 16 diff --git a/polly/test/Isl/CodeGen/simple_vec_ptr_ptr_ty.ll b/polly/test/Isl/CodeGen/simple_vec_ptr_ptr_ty.ll index d8806dc9c61e..13cc9aad4b85 100644 --- a/polly/test/Isl/CodeGen/simple_vec_ptr_ptr_ty.ll +++ b/polly/test/Isl/CodeGen/simple_vec_ptr_ptr_ty.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-codegen -polly-vectorizer=polly -S \ +; RUN: opt %loadPolly -basic-aa -polly-codegen -polly-vectorizer=polly -S \ ; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" diff --git a/polly/test/Isl/CodeGen/simple_vec_stride_x.ll b/polly/test/Isl/CodeGen/simple_vec_stride_x.ll index 50b0fefb74bb..5156a598b84f 100644 --- a/polly/test/Isl/CodeGen/simple_vec_stride_x.ll +++ b/polly/test/Isl/CodeGen/simple_vec_stride_x.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-codegen -polly-vectorizer=polly -dce -S < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-codegen -polly-vectorizer=polly -dce -S < %s | FileCheck %s ;#define N 1024 ;float A[N]; diff --git a/polly/test/Isl/CodeGen/simple_vec_two_stmts.ll b/polly/test/Isl/CodeGen/simple_vec_two_stmts.ll index 81f15ae4386a..a53a4a00ec7e 100644 --- a/polly/test/Isl/CodeGen/simple_vec_two_stmts.ll +++ b/polly/test/Isl/CodeGen/simple_vec_two_stmts.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-codegen -polly-vectorizer=polly -dce -S < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-codegen -polly-vectorizer=polly -dce -S < %s | FileCheck %s target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" @A = common global [1024 x float] zeroinitializer, align 16 diff --git a/polly/test/ScheduleOptimizer/2012-04-16-Trivially-vectorizable-loops.ll b/polly/test/ScheduleOptimizer/2012-04-16-Trivially-vectorizable-loops.ll index af33ff732a16..d7e0f3f04270 100644 --- a/polly/test/ScheduleOptimizer/2012-04-16-Trivially-vectorizable-loops.ll +++ b/polly/test/ScheduleOptimizer/2012-04-16-Trivially-vectorizable-loops.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-opt-isl -polly-vectorizer=polly < %s +; RUN: opt %loadPolly -basic-aa -polly-opt-isl -polly-vectorizer=polly < %s target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" %struct._IO_FILE = type { i32, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, %struct._IO_marker*, %struct._IO_FILE*, i32, i32, i64, i16, i8, [1 x i8], i8*, i64, i8*, i8*, i8*, i8*, i64, i32, [20 x i8] } diff --git a/polly/test/ScheduleOptimizer/computeout.ll b/polly/test/ScheduleOptimizer/computeout.ll index 107a3629fa40..199160c67eb5 100644 --- a/polly/test/ScheduleOptimizer/computeout.ll +++ b/polly/test/ScheduleOptimizer/computeout.ll @@ -1,5 +1,5 @@ -; RUN: opt -S %loadPolly -basicaa -polly-opt-isl -polly-opt-fusion=max -polly-ast -analyze < %s | FileCheck %s -; RUN: opt -S %loadPolly -basicaa -polly-opt-isl -polly-opt-fusion=max -polly-ast -analyze -polly-dependences-computeout=1 < %s | FileCheck %s -check-prefix=TIMEOUT +; RUN: opt -S %loadPolly -basic-aa -polly-opt-isl -polly-opt-fusion=max -polly-ast -analyze < %s | FileCheck %s +; RUN: opt -S %loadPolly -basic-aa -polly-opt-isl -polly-opt-fusion=max -polly-ast -analyze -polly-dependences-computeout=1 < %s | FileCheck %s -check-prefix=TIMEOUT target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" ; for(i = 0; i < 100; i++ ) diff --git a/polly/test/ScheduleOptimizer/prevectorization-without-tiling.ll b/polly/test/ScheduleOptimizer/prevectorization-without-tiling.ll index 6000e647c8cd..84ac3c11e846 100644 --- a/polly/test/ScheduleOptimizer/prevectorization-without-tiling.ll +++ b/polly/test/ScheduleOptimizer/prevectorization-without-tiling.ll @@ -1,4 +1,4 @@ -; RUN: opt -S %loadPolly -basicaa -polly-opt-isl -polly-tiling=false \ +; RUN: opt -S %loadPolly -basic-aa -polly-opt-isl -polly-tiling=false \ ; RUN: -polly-pattern-matching-based-opts=false -polly-vectorizer=polly \ ; RUN: -polly-ast -analyze < %s | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" diff --git a/polly/test/ScheduleOptimizer/prevectorization.ll b/polly/test/ScheduleOptimizer/prevectorization.ll index 23c1bdc1c04e..426972ddc878 100644 --- a/polly/test/ScheduleOptimizer/prevectorization.ll +++ b/polly/test/ScheduleOptimizer/prevectorization.ll @@ -1,11 +1,11 @@ -; RUN: opt -S %loadPolly -basicaa -polly-opt-isl \ +; RUN: opt -S %loadPolly -basic-aa -polly-opt-isl \ ; RUN: -polly-pattern-matching-based-opts=false -polly-vectorizer=polly \ ; RUN: -polly-ast -analyze < %s | FileCheck %s -; RUN: opt -S %loadPolly -basicaa -polly-opt-isl \ +; RUN: opt -S %loadPolly -basic-aa -polly-opt-isl \ ; RUN: -polly-pattern-matching-based-opts=false -polly-vectorizer=stripmine \ ; RUN: -polly-ast -analyze < %s | FileCheck %s -; RUN: opt -S %loadPolly -basicaa -polly-opt-isl \ +; RUN: opt -S %loadPolly -basic-aa -polly-opt-isl \ ; RUN: -polly-vectorizer=polly -polly-pattern-matching-based-opts=false \ ; RUN: -polly-ast -analyze -polly-prevect-width=16 < %s | \ ; RUN: FileCheck %s -check-prefix=VEC16 diff --git a/polly/test/ScopDetect/intrinsics_1.ll b/polly/test/ScopDetect/intrinsics_1.ll index 84a887628afe..1a8d143807ca 100644 --- a/polly/test/ScopDetect/intrinsics_1.ll +++ b/polly/test/ScopDetect/intrinsics_1.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-detect -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-detect -analyze < %s | FileCheck %s ; ; CHECK: Valid Region for Scop: for.cond => for.end ; diff --git a/polly/test/ScopDetect/intrinsics_2.ll b/polly/test/ScopDetect/intrinsics_2.ll index 2c2985021ae1..03a2034a3782 100644 --- a/polly/test/ScopDetect/intrinsics_2.ll +++ b/polly/test/ScopDetect/intrinsics_2.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-detect -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-detect -analyze < %s | FileCheck %s ; ; Verify that we allow the lifetime markers for the tmp array. ; diff --git a/polly/test/ScopDetect/intrinsics_3.ll b/polly/test/ScopDetect/intrinsics_3.ll index 1a2564695d75..ccc881f7bca4 100644 --- a/polly/test/ScopDetect/intrinsics_3.ll +++ b/polly/test/ScopDetect/intrinsics_3.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-detect -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-detect -analyze < %s | FileCheck %s ; ; Verify that we allow the misc intrinsics. ; diff --git a/polly/test/ScopDetect/keep_going_expansion.ll b/polly/test/ScopDetect/keep_going_expansion.ll index ef88ce152ff7..ae536d5e3d55 100644 --- a/polly/test/ScopDetect/keep_going_expansion.ll +++ b/polly/test/ScopDetect/keep_going_expansion.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-detect-track-failures -polly-detect-keep-going -polly-detect -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-detect-track-failures -polly-detect-keep-going -polly-detect -analyze < %s | FileCheck %s target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" diff --git a/polly/test/ScopDetect/mod_ref_read_pointer.ll b/polly/test/ScopDetect/mod_ref_read_pointer.ll index c42f64780c82..95732b11acf2 100644 --- a/polly/test/ScopDetect/mod_ref_read_pointer.ll +++ b/polly/test/ScopDetect/mod_ref_read_pointer.ll @@ -1,6 +1,6 @@ -; RUN: opt %loadPolly -basicaa -polly-detect -analyze \ +; RUN: opt %loadPolly -basic-aa -polly-detect -analyze \ ; RUN: -polly-allow-modref-calls < %s | FileCheck %s -check-prefix=MODREF -; RUN: opt %loadPolly -basicaa -polly-detect -analyze \ +; RUN: opt %loadPolly -basic-aa -polly-detect -analyze \ ; RUN: < %s | FileCheck %s ; ; CHECK-NOT: Valid Region for Scop: for.body => for.end diff --git a/polly/test/ScopDetect/non-affine-loop-condition-dependent-access.ll b/polly/test/ScopDetect/non-affine-loop-condition-dependent-access.ll index 6140992b5183..b1fdb8eca6b8 100644 --- a/polly/test/ScopDetect/non-affine-loop-condition-dependent-access.ll +++ b/polly/test/ScopDetect/non-affine-loop-condition-dependent-access.ll @@ -1,7 +1,7 @@ -; RUN: opt %loadPolly -basicaa -polly-detect -polly-allow-nonaffine-branches -polly-allow-nonaffine-loops=false -analyze < %s | FileCheck %s --check-prefix=REJECTNONAFFINELOOPS -; RUN: opt %loadPolly -basicaa -polly-detect -polly-allow-nonaffine-branches -polly-allow-nonaffine-loops=true -analyze < %s | FileCheck %s --check-prefix=ALLOWNONAFFINELOOPS -; RUN: opt %loadPolly -basicaa -polly-detect -polly-allow-nonaffine -polly-allow-nonaffine-branches -polly-allow-nonaffine-loops=true -analyze < %s | FileCheck %s --check-prefix=ALLOWNONAFFINELOOPSANDACCESSES -; RUN: opt %loadPolly -basicaa -polly-detect -polly-process-unprofitable=false \ +; RUN: opt %loadPolly -basic-aa -polly-detect -polly-allow-nonaffine-branches -polly-allow-nonaffine-loops=false -analyze < %s | FileCheck %s --check-prefix=REJECTNONAFFINELOOPS +; RUN: opt %loadPolly -basic-aa -polly-detect -polly-allow-nonaffine-branches -polly-allow-nonaffine-loops=true -analyze < %s | FileCheck %s --check-prefix=ALLOWNONAFFINELOOPS +; RUN: opt %loadPolly -basic-aa -polly-detect -polly-allow-nonaffine -polly-allow-nonaffine-branches -polly-allow-nonaffine-loops=true -analyze < %s | FileCheck %s --check-prefix=ALLOWNONAFFINELOOPSANDACCESSES +; RUN: opt %loadPolly -basic-aa -polly-detect -polly-process-unprofitable=false \ ; RUN: -polly-allow-nonaffine -polly-allow-nonaffine-branches \ ; RUN: -polly-allow-nonaffine-loops=true -analyze < %s \ ; RUN: | FileCheck %s --check-prefix=PROFIT diff --git a/polly/test/ScopDetect/simple_loop_with_param.ll b/polly/test/ScopDetect/simple_loop_with_param.ll index 69177a48172c..9e7aa328e632 100644 --- a/polly/test/ScopDetect/simple_loop_with_param.ll +++ b/polly/test/ScopDetect/simple_loop_with_param.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-detect -analyze < %s | FileCheck %s -check-prefix=PHI +; RUN: opt %loadPolly -basic-aa -polly-detect -analyze < %s | FileCheck %s -check-prefix=PHI ; void f(long A[], long N, long *init_ptr) { ; long i, j; diff --git a/polly/test/ScopDetect/simple_loop_with_param_2.ll b/polly/test/ScopDetect/simple_loop_with_param_2.ll index c619958f99aa..d8edb890c79a 100644 --- a/polly/test/ScopDetect/simple_loop_with_param_2.ll +++ b/polly/test/ScopDetect/simple_loop_with_param_2.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-detect -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-detect -analyze < %s | FileCheck %s ; void f(long A[], int N, int *init_ptr) { ; long i, j; diff --git a/polly/test/ScopDetectionDiagnostics/ReportMultipleNonAffineAccesses.ll b/polly/test/ScopDetectionDiagnostics/ReportMultipleNonAffineAccesses.ll index 1b3e157b16f6..8f81cf24fa0f 100644 --- a/polly/test/ScopDetectionDiagnostics/ReportMultipleNonAffineAccesses.ll +++ b/polly/test/ScopDetectionDiagnostics/ReportMultipleNonAffineAccesses.ll @@ -1,9 +1,9 @@ -; RUN: opt %loadPolly -basicaa -pass-remarks-missed="polly-detect" -polly-detect-track-failures -polly-detect -analyze < %s 2>&1| FileCheck %s -; RUN: opt %loadPolly -basicaa -pass-remarks-missed="polly-detect" -polly-detect-track-failures -polly-detect -polly-delinearize=false -polly-detect-keep-going -analyze < %s 2>&1| FileCheck %s -check-prefix=ALL -; RUN: opt %loadPolly -basicaa -pass-remarks-missed="polly-detect" -polly-detect-track-failures -polly-detect -analyze < %s 2>&1| FileCheck %s -check-prefix=DELIN -; RUN: opt %loadPolly -basicaa -pass-remarks-missed="polly-detect" -polly-detect-track-failures -polly-detect -polly-detect-keep-going -analyze < %s 2>&1| FileCheck %s -check-prefix=DELIN-ALL -; RUN: opt %loadPolly -basicaa -pass-remarks-missed="polly-detect" -polly-detect-track-failures -polly-detect -polly-allow-nonaffine -analyze < %s 2>&1| FileCheck %s -check-prefix=NONAFFINE -; RUN: opt %loadPolly -basicaa -pass-remarks-missed="polly-detect" -polly-detect-track-failures -polly-detect -polly-allow-nonaffine -analyze < %s 2>&1| FileCheck %s -check-prefix=NONAFFINE +; RUN: opt %loadPolly -basic-aa -pass-remarks-missed="polly-detect" -polly-detect-track-failures -polly-detect -analyze < %s 2>&1| FileCheck %s +; RUN: opt %loadPolly -basic-aa -pass-remarks-missed="polly-detect" -polly-detect-track-failures -polly-detect -polly-delinearize=false -polly-detect-keep-going -analyze < %s 2>&1| FileCheck %s -check-prefix=ALL +; RUN: opt %loadPolly -basic-aa -pass-remarks-missed="polly-detect" -polly-detect-track-failures -polly-detect -analyze < %s 2>&1| FileCheck %s -check-prefix=DELIN +; RUN: opt %loadPolly -basic-aa -pass-remarks-missed="polly-detect" -polly-detect-track-failures -polly-detect -polly-detect-keep-going -analyze < %s 2>&1| FileCheck %s -check-prefix=DELIN-ALL +; RUN: opt %loadPolly -basic-aa -pass-remarks-missed="polly-detect" -polly-detect-track-failures -polly-detect -polly-allow-nonaffine -analyze < %s 2>&1| FileCheck %s -check-prefix=NONAFFINE +; RUN: opt %loadPolly -basic-aa -pass-remarks-missed="polly-detect" -polly-detect-track-failures -polly-detect -polly-allow-nonaffine -analyze < %s 2>&1| FileCheck %s -check-prefix=NONAFFINE ; 1 void manyaccesses(float A[restrict], long n, float B[restrict][n]) ; 2 { diff --git a/polly/test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_1.ll b/polly/test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_1.ll index 59012efea4d1..4472fadf485f 100644 --- a/polly/test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_1.ll +++ b/polly/test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_1.ll @@ -1,8 +1,8 @@ -; RUN: opt %loadPolly -basicaa -polly-scops \ +; RUN: opt %loadPolly -basic-aa -polly-scops \ ; RUN: -polly-allow-nonaffine -polly-allow-nonaffine-branches \ ; RUN: -polly-allow-nonaffine-loops=true -analyze < %s | FileCheck %s \ ; RUN: -check-prefix=SCALAR -; RUN: opt %loadPolly -basicaa -polly-scops -polly-allow-nonaffine \ +; RUN: opt %loadPolly -basic-aa -polly-scops -polly-allow-nonaffine \ ; RUN: -polly-process-unprofitable=false \ ; RUN: -polly-allow-nonaffine-branches -polly-allow-nonaffine-loops=true \ ; RUN: -analyze < %s | FileCheck %s -check-prefix=PROFIT diff --git a/polly/test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_2.ll b/polly/test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_2.ll index 1a6bab8618b9..37d08822b630 100644 --- a/polly/test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_2.ll +++ b/polly/test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_2.ll @@ -1,10 +1,10 @@ -; RUN: opt %loadPolly -basicaa -polly-scops -polly-allow-nonaffine-branches \ +; RUN: opt %loadPolly -basic-aa -polly-scops -polly-allow-nonaffine-branches \ ; RUN: -polly-allow-nonaffine-loops=false \ ; RUN: -analyze < %s | FileCheck %s --check-prefix=INNERMOST -; RUN: opt %loadPolly -basicaa -polly-scops -polly-allow-nonaffine-branches \ +; RUN: opt %loadPolly -basic-aa -polly-scops -polly-allow-nonaffine-branches \ ; RUN: -polly-allow-nonaffine-loops=true \ ; RUN: -analyze < %s | FileCheck %s --check-prefix=INNERMOST -; RUN: opt %loadPolly -basicaa -polly-scops -polly-allow-nonaffine \ +; RUN: opt %loadPolly -basic-aa -polly-scops -polly-allow-nonaffine \ ; RUN: -polly-allow-nonaffine-branches -polly-allow-nonaffine-loops=true \ ; RUN: -analyze < %s | FileCheck %s \ ; RUN: --check-prefix=ALL diff --git a/polly/test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_3.ll b/polly/test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_3.ll index 26551d8d6608..b36c9c3672d8 100644 --- a/polly/test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_3.ll +++ b/polly/test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_3.ll @@ -1,10 +1,10 @@ -; RUN: opt %loadPolly -basicaa -polly-scops -polly-allow-nonaffine-branches \ +; RUN: opt %loadPolly -basic-aa -polly-scops -polly-allow-nonaffine-branches \ ; RUN: -polly-allow-nonaffine-loops=false \ ; RUN: -analyze < %s | FileCheck %s --check-prefix=INNERMOST -; RUN: opt %loadPolly -basicaa -polly-scops -polly-allow-nonaffine-branches \ +; RUN: opt %loadPolly -basic-aa -polly-scops -polly-allow-nonaffine-branches \ ; RUN: -polly-allow-nonaffine-loops=true \ ; RUN: -analyze < %s | FileCheck %s --check-prefix=INNERMOST -; RUN: opt %loadPolly -basicaa -polly-scops -polly-allow-nonaffine \ +; RUN: opt %loadPolly -basic-aa -polly-scops -polly-allow-nonaffine \ ; RUN: -polly-allow-nonaffine-branches -polly-allow-nonaffine-loops=true \ ; RUN: -analyze < %s | FileCheck %s --check-prefix=ALL ; diff --git a/polly/test/ScopInfo/NonAffine/non_affine_parametric_loop.ll b/polly/test/ScopInfo/NonAffine/non_affine_parametric_loop.ll index 18e08e6f61a0..a82119f5374f 100644 --- a/polly/test/ScopInfo/NonAffine/non_affine_parametric_loop.ll +++ b/polly/test/ScopInfo/NonAffine/non_affine_parametric_loop.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-scops -analyze -polly-allow-nonaffine < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-scops -analyze -polly-allow-nonaffine < %s | FileCheck %s target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" ; void foo(long n, double A[], int INDEX[]) { diff --git a/polly/test/ScopInfo/assume_gep_bounds_2.ll b/polly/test/ScopInfo/assume_gep_bounds_2.ll index d364211bc548..7c2e08347d36 100644 --- a/polly/test/ScopInfo/assume_gep_bounds_2.ll +++ b/polly/test/ScopInfo/assume_gep_bounds_2.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-scops -analyze < %s \ +; RUN: opt %loadPolly -basic-aa -polly-scops -analyze < %s \ ; RUN: -polly-precise-inbounds | FileCheck %s ; ; void foo(float A[restrict][20], float B[restrict][20], long n, long m, diff --git a/polly/test/ScopInfo/inter_bb_scalar_dep.ll b/polly/test/ScopInfo/inter_bb_scalar_dep.ll index eabcefe6d24f..3882bc36589d 100644 --- a/polly/test/ScopInfo/inter_bb_scalar_dep.ll +++ b/polly/test/ScopInfo/inter_bb_scalar_dep.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-scops \ +; RUN: opt %loadPolly -basic-aa -polly-scops \ ; RUN: -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s ; void f(long A[], int N, int *init_ptr) { diff --git a/polly/test/ScopInfo/intra_and_inter_bb_scalar_dep.ll b/polly/test/ScopInfo/intra_and_inter_bb_scalar_dep.ll index 166f991f29a5..6e1441f4c120 100644 --- a/polly/test/ScopInfo/intra_and_inter_bb_scalar_dep.ll +++ b/polly/test/ScopInfo/intra_and_inter_bb_scalar_dep.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-scops -analyze \ +; RUN: opt %loadPolly -basic-aa -polly-scops -analyze \ ; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s ; void f(long A[], int N, int *init_ptr) { diff --git a/polly/test/ScopInfo/intra_bb_scalar_dep.ll b/polly/test/ScopInfo/intra_bb_scalar_dep.ll index 2a8c2fae546a..1bebc17fe880 100644 --- a/polly/test/ScopInfo/intra_bb_scalar_dep.ll +++ b/polly/test/ScopInfo/intra_bb_scalar_dep.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-scops -analyze \ +; RUN: opt %loadPolly -basic-aa -polly-scops -analyze \ ; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s ; void f(long A[], int N, int *init_ptr) { diff --git a/polly/test/ScopInfo/isl_aff_out_of_bounds.ll b/polly/test/ScopInfo/isl_aff_out_of_bounds.ll index e8cd2a2e5d07..1bd89b6884a4 100644 --- a/polly/test/ScopInfo/isl_aff_out_of_bounds.ll +++ b/polly/test/ScopInfo/isl_aff_out_of_bounds.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-detect < %s +; RUN: opt %loadPolly -basic-aa -polly-detect < %s ; Used to fail with: ; ../../isl/isl_aff.c:591: position out of bounds diff --git a/polly/test/ScopInfo/licm_load.ll b/polly/test/ScopInfo/licm_load.ll index b8b8a9c84a48..b950237c134d 100644 --- a/polly/test/ScopInfo/licm_load.ll +++ b/polly/test/ScopInfo/licm_load.ll @@ -1,7 +1,7 @@ -; RUN: opt %loadPolly -basicaa -loop-rotate -indvars -polly-prepare \ +; RUN: opt %loadPolly -basic-aa -loop-rotate -indvars -polly-prepare \ ; RUN: -polly-invariant-load-hoisting=true -polly-scops -analyze < %s \ ; RUN: | FileCheck %s -; RUN: opt %loadPolly -basicaa -loop-rotate -indvars -licm -polly-prepare \ +; RUN: opt %loadPolly -basic-aa -loop-rotate -indvars -licm -polly-prepare \ ; RUN: -polly-invariant-load-hoisting=true -polly-scops -analyze < %s \ ; RUN: | FileCheck %s ; diff --git a/polly/test/ScopInfo/licm_potential_store.ll b/polly/test/ScopInfo/licm_potential_store.ll index 8b389dfbc40a..fe8bd94934a7 100644 --- a/polly/test/ScopInfo/licm_potential_store.ll +++ b/polly/test/ScopInfo/licm_potential_store.ll @@ -1,10 +1,10 @@ -; RUN: opt %loadPolly -basicaa -sroa -instcombine -simplifycfg -tailcallopt \ +; RUN: opt %loadPolly -basic-aa -sroa -instcombine -simplifycfg -tailcallopt \ ; RUN: -simplifycfg -reassociate -loop-rotate -instcombine -indvars \ ; RUN: -polly-prepare -polly-scops -analyze < %s \ ; RUN: \ ; RUN: | FileCheck %s --check-prefix=NOLICM -; RUN: opt %loadPolly -basicaa -sroa -instcombine -simplifycfg -tailcallopt \ +; RUN: opt %loadPolly -basic-aa -sroa -instcombine -simplifycfg -tailcallopt \ ; RUN: -simplifycfg -reassociate -loop-rotate -instcombine -indvars -licm \ ; RUN: -polly-prepare -polly-scops -analyze < %s \ ; RUN: \ diff --git a/polly/test/ScopInfo/licm_reduction.ll b/polly/test/ScopInfo/licm_reduction.ll index 2a3c5a00c301..a1e5c5fe835d 100644 --- a/polly/test/ScopInfo/licm_reduction.ll +++ b/polly/test/ScopInfo/licm_reduction.ll @@ -1,5 +1,5 @@ -; RUN: opt %loadPolly -basicaa -loop-rotate -indvars -polly-prepare -polly-scops -analyze < %s | FileCheck %s -; RUN: opt %loadPolly -basicaa -loop-rotate -indvars -licm -polly-prepare -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -loop-rotate -indvars -polly-prepare -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -loop-rotate -indvars -licm -polly-prepare -polly-scops -analyze < %s | FileCheck %s ; ; XFAIL: * ; diff --git a/polly/test/ScopInfo/licm_reduction_nested.ll b/polly/test/ScopInfo/licm_reduction_nested.ll index 4901fc28b602..d79aaf605e1a 100644 --- a/polly/test/ScopInfo/licm_reduction_nested.ll +++ b/polly/test/ScopInfo/licm_reduction_nested.ll @@ -1,5 +1,5 @@ -; RUN: opt %loadPolly -basicaa -loop-rotate -indvars -polly-prepare -polly-scops -analyze < %s | FileCheck %s -; RUN: opt %loadPolly -basicaa -loop-rotate -indvars -licm -polly-prepare -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -loop-rotate -indvars -polly-prepare -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -loop-rotate -indvars -licm -polly-prepare -polly-scops -analyze < %s | FileCheck %s ; ; XFAIL: * ; diff --git a/polly/test/ScopInfo/licm_store.ll b/polly/test/ScopInfo/licm_store.ll index 6ca509be4f1d..a0a9187492cf 100644 --- a/polly/test/ScopInfo/licm_store.ll +++ b/polly/test/ScopInfo/licm_store.ll @@ -1,5 +1,5 @@ -; RUN: opt %loadPolly -basicaa -loop-rotate -indvars -polly-prepare -polly-scops -analyze < %s | FileCheck %s -; RUN: opt %loadPolly -basicaa -loop-rotate -indvars -licm -polly-prepare -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -loop-rotate -indvars -polly-prepare -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -loop-rotate -indvars -licm -polly-prepare -polly-scops -analyze < %s | FileCheck %s ; ; XFAIL: * ; diff --git a/polly/test/ScopInfo/loop_carry.ll b/polly/test/ScopInfo/loop_carry.ll index 15e092d9da8c..581b80876f04 100644 --- a/polly/test/ScopInfo/loop_carry.ll +++ b/polly/test/ScopInfo/loop_carry.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-stmt-granularity=bb -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-stmt-granularity=bb -polly-scops -analyze < %s | FileCheck %s target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" diff --git a/polly/test/ScopInfo/memcpy-raw-source.ll b/polly/test/ScopInfo/memcpy-raw-source.ll index facf825670ba..69a12f5cb834 100644 --- a/polly/test/ScopInfo/memcpy-raw-source.ll +++ b/polly/test/ScopInfo/memcpy-raw-source.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -scoped-noalias -tbaa -polly-scops -analyze < %s +; RUN: opt %loadPolly -basic-aa -scoped-noalias -tbaa -polly-scops -analyze < %s ; ; Ensure that ScopInfo's alias analysis llvm.memcpy for, ; like the AliasSetTracker, preserves bitcasts. diff --git a/polly/test/ScopInfo/memcpy.ll b/polly/test/ScopInfo/memcpy.ll index 1cccffbe468c..7410beecc5df 100644 --- a/polly/test/ScopInfo/memcpy.ll +++ b/polly/test/ScopInfo/memcpy.ll @@ -1,5 +1,5 @@ -; RUN: opt %loadPolly -basicaa -polly-allow-differing-element-types -polly-scops -analyze < %s | FileCheck %s -; RUN: opt %loadPolly -S -basicaa -polly-allow-differing-element-types -polly-codegen < %s | FileCheck --check-prefix=IR %s +; RUN: opt %loadPolly -basic-aa -polly-allow-differing-element-types -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -S -basic-aa -polly-allow-differing-element-types -polly-codegen < %s | FileCheck --check-prefix=IR %s ; ; CHECK: Arrays { ; CHECK-NEXT: i8 MemRef_A[*]; // Element size 1 diff --git a/polly/test/ScopInfo/memmove.ll b/polly/test/ScopInfo/memmove.ll index ca00a3016c92..b21ecf98eca6 100644 --- a/polly/test/ScopInfo/memmove.ll +++ b/polly/test/ScopInfo/memmove.ll @@ -1,5 +1,5 @@ -; RUN: opt %loadPolly -basicaa -polly-allow-differing-element-types -polly-scops -analyze < %s | FileCheck %s -; RUN: opt %loadPolly -S -basicaa -polly-allow-differing-element-types -polly-codegen < %s | FileCheck --check-prefix=IR %s +; RUN: opt %loadPolly -basic-aa -polly-allow-differing-element-types -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -S -basic-aa -polly-allow-differing-element-types -polly-codegen < %s | FileCheck --check-prefix=IR %s ; ; CHECK: Arrays { ; CHECK-NEXT: i8 MemRef_A[*]; // Element size 1 diff --git a/polly/test/ScopInfo/mod_ref_access_pointee_arguments.ll b/polly/test/ScopInfo/mod_ref_access_pointee_arguments.ll index 346092676fbc..f3cd7b1571ee 100644 --- a/polly/test/ScopInfo/mod_ref_access_pointee_arguments.ll +++ b/polly/test/ScopInfo/mod_ref_access_pointee_arguments.ll @@ -1,6 +1,6 @@ -; RUN: opt %loadPolly -basicaa -polly-stmt-granularity=bb -polly-scops -analyze -polly-allow-modref-calls \ +; RUN: opt %loadPolly -basic-aa -polly-stmt-granularity=bb -polly-scops -analyze -polly-allow-modref-calls \ ; RUN: < %s | FileCheck %s -; RUN: opt %loadPolly -basicaa -polly-stmt-granularity=bb -polly-codegen -polly-allow-modref-calls \ +; RUN: opt %loadPolly -basic-aa -polly-stmt-granularity=bb -polly-codegen -polly-allow-modref-calls \ ; RUN: -disable-output < %s ; ; Verify that we model the may-write access of the prefetch intrinsic diff --git a/polly/test/ScopInfo/mod_ref_read_pointee_arguments.ll b/polly/test/ScopInfo/mod_ref_read_pointee_arguments.ll index 16fe7529dae7..2c91fc929bed 100644 --- a/polly/test/ScopInfo/mod_ref_read_pointee_arguments.ll +++ b/polly/test/ScopInfo/mod_ref_read_pointee_arguments.ll @@ -1,6 +1,6 @@ -; RUN: opt %loadPolly -basicaa -polly-stmt-granularity=bb -polly-scops -analyze -polly-allow-modref-calls \ +; RUN: opt %loadPolly -basic-aa -polly-stmt-granularity=bb -polly-scops -analyze -polly-allow-modref-calls \ ; RUN: < %s | FileCheck %s -; RUN: opt %loadPolly -basicaa -polly-codegen -disable-output \ +; RUN: opt %loadPolly -basic-aa -polly-codegen -disable-output \ ; RUN: -polly-allow-modref-calls < %s ; ; Verify that we model the read access of the gcread intrinsic diff --git a/polly/test/ScopInfo/mod_ref_read_pointer.ll b/polly/test/ScopInfo/mod_ref_read_pointer.ll index f00f5e76f74a..91f60445b1b3 100644 --- a/polly/test/ScopInfo/mod_ref_read_pointer.ll +++ b/polly/test/ScopInfo/mod_ref_read_pointer.ll @@ -1,6 +1,6 @@ -; RUN: opt %loadPolly -basicaa -polly-scops -analyze -polly-allow-modref-calls \ +; RUN: opt %loadPolly -basic-aa -polly-scops -analyze -polly-allow-modref-calls \ ; RUN: < %s | FileCheck %s -; RUN: opt %loadPolly -basicaa -polly-codegen -disable-output \ +; RUN: opt %loadPolly -basic-aa -polly-codegen -disable-output \ ; RUN: -polly-allow-modref-calls < %s ; ; Check that we assume the call to func has a read on the whole A array. diff --git a/polly/test/ScopInfo/mod_ref_read_pointers.ll b/polly/test/ScopInfo/mod_ref_read_pointers.ll index 59fc85adc0e3..e706f1ae54c0 100644 --- a/polly/test/ScopInfo/mod_ref_read_pointers.ll +++ b/polly/test/ScopInfo/mod_ref_read_pointers.ll @@ -1,6 +1,6 @@ -; RUN: opt %loadPolly -basicaa -polly-scops -analyze -polly-allow-modref-calls \ +; RUN: opt %loadPolly -basic-aa -polly-scops -analyze -polly-allow-modref-calls \ ; RUN: < %s | FileCheck %s -; RUN: opt %loadPolly -basicaa -polly-codegen -disable-output \ +; RUN: opt %loadPolly -basic-aa -polly-codegen -disable-output \ ; RUN: -polly-allow-modref-calls < %s ; ; Check that the call to func will "read" not only the A array but also the diff --git a/polly/test/ScopInfo/reduction_disabled_multiplicative.ll b/polly/test/ScopInfo/reduction_disabled_multiplicative.ll index ab3de3ee5bf9..2d02d72faa62 100644 --- a/polly/test/ScopInfo/reduction_disabled_multiplicative.ll +++ b/polly/test/ScopInfo/reduction_disabled_multiplicative.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa %loadPolly -polly-stmt-granularity=bb -polly-scops -analyze -polly-disable-multiplicative-reductions < %s | FileCheck %s +; RUN: opt -basic-aa %loadPolly -polly-stmt-granularity=bb -polly-scops -analyze -polly-disable-multiplicative-reductions < %s | FileCheck %s ; ; CHECK: ReadAccess := [Reduction Type: + ; CHECK: { Stmt_for_body[i0] -> MemRef_sum[0] }; diff --git a/polly/test/ScopInfo/reduction_escaping_intermediate.ll b/polly/test/ScopInfo/reduction_escaping_intermediate.ll index 2e3ae6fbe9e9..c3e20d971eaf 100644 --- a/polly/test/ScopInfo/reduction_escaping_intermediate.ll +++ b/polly/test/ScopInfo/reduction_escaping_intermediate.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-scops -analyze < %s | FileCheck %s ; ; void f(int N, int * restrict sums, int * restrict escape) { ; int i, j; diff --git a/polly/test/ScopInfo/reduction_escaping_intermediate_2.ll b/polly/test/ScopInfo/reduction_escaping_intermediate_2.ll index f386ea3c4497..92f28c1a8de5 100644 --- a/polly/test/ScopInfo/reduction_escaping_intermediate_2.ll +++ b/polly/test/ScopInfo/reduction_escaping_intermediate_2.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-stmt-granularity=bb -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-stmt-granularity=bb -polly-scops -analyze < %s | FileCheck %s ; ; void f(int N, int * restrict sums, int * restrict escape) { ; int i, j; diff --git a/polly/test/ScopInfo/reduction_invalid_different_operators.ll b/polly/test/ScopInfo/reduction_invalid_different_operators.ll index 052d59467d94..f40a50b997b4 100644 --- a/polly/test/ScopInfo/reduction_invalid_different_operators.ll +++ b/polly/test/ScopInfo/reduction_invalid_different_operators.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-scops -analyze < %s | FileCheck %s ; ; int f() { ; int i, sum = 0, sth = 0; diff --git a/polly/test/ScopInfo/reduction_multiple_loops_array_sum.ll b/polly/test/ScopInfo/reduction_multiple_loops_array_sum.ll index 6d1b1660b6d7..bbb49f833f35 100644 --- a/polly/test/ScopInfo/reduction_multiple_loops_array_sum.ll +++ b/polly/test/ScopInfo/reduction_multiple_loops_array_sum.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa %loadPolly -polly-scops -analyze < %s | FileCheck %s +; RUN: opt -basic-aa %loadPolly -polly-scops -analyze < %s | FileCheck %s ; ; CHECK: Stmt_for_body ; CHECK: Reduction Type: * diff --git a/polly/test/ScopInfo/reduction_multiple_loops_array_sum_1.ll b/polly/test/ScopInfo/reduction_multiple_loops_array_sum_1.ll index 3188c4c9dd6a..7ae25798462d 100644 --- a/polly/test/ScopInfo/reduction_multiple_loops_array_sum_1.ll +++ b/polly/test/ScopInfo/reduction_multiple_loops_array_sum_1.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa %loadPolly -polly-scops -analyze < %s | FileCheck %s +; RUN: opt -basic-aa %loadPolly -polly-scops -analyze < %s | FileCheck %s ; ; CHECK: Stmt_for_body ; CHECK: Reduction Type: NONE diff --git a/polly/test/ScopInfo/reduction_multiple_simple_binary.ll b/polly/test/ScopInfo/reduction_multiple_simple_binary.ll index f51a029fdc09..b7773ae09716 100644 --- a/polly/test/ScopInfo/reduction_multiple_simple_binary.ll +++ b/polly/test/ScopInfo/reduction_multiple_simple_binary.ll @@ -1,4 +1,4 @@ -; RUN: opt -basicaa %loadPolly -polly-stmt-granularity=bb -polly-scops -analyze < %s | FileCheck %s +; RUN: opt -basic-aa %loadPolly -polly-stmt-granularity=bb -polly-scops -analyze < %s | FileCheck %s ; ; CHECK: ReadAccess := [Reduction Type: NONE ; CHECK: { Stmt_for_body[i0] -> MemRef_A[1 + i0] }; diff --git a/polly/test/ScopInfo/scalar_to_array.ll b/polly/test/ScopInfo/scalar_to_array.ll index c959c2b0e17e..432eaf1e943e 100644 --- a/polly/test/ScopInfo/scalar_to_array.ll +++ b/polly/test/ScopInfo/scalar_to_array.ll @@ -1,5 +1,5 @@ -; RUN: opt %loadPolly -basicaa -polly-scops -analyze < %s | FileCheck %s -; RUN: opt %loadPolly -basicaa -polly-function-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-scops -analyze < %s | FileCheck %s +; RUN: opt %loadPolly -basic-aa -polly-function-scops -analyze < %s | FileCheck %s ; ModuleID = 'scalar_to_array.ll' target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" diff --git a/polly/test/ScopInfo/tempscop-printing.ll b/polly/test/ScopInfo/tempscop-printing.ll index f9ddc4f6c648..c8541f72c00d 100644 --- a/polly/test/ScopInfo/tempscop-printing.ll +++ b/polly/test/ScopInfo/tempscop-printing.ll @@ -1,4 +1,4 @@ -; RUN: opt %loadPolly -basicaa -polly-scops -analyze \ +; RUN: opt %loadPolly -basic-aa -polly-scops -analyze \ ; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s ; void f(long A[], int N, int *init_ptr) { diff --git a/polly/www/documentation/gpgpucodegen.html b/polly/www/documentation/gpgpucodegen.html index 917c7cbdc1d3..1cc4e1222f51 100644 --- a/polly/www/documentation/gpgpucodegen.html +++ b/polly/www/documentation/gpgpucodegen.html @@ -121,7 +121,7 @@ The jscop file describing the tiling transformation is: We can test the schedule with the following command line.
-opt -load /path/to/polly/build/LLVMPolly.so -basicaa -polly-import-jscop
+opt -load /path/to/polly/build/LLVMPolly.so -basic-aa -polly-import-jscop
     -polly-ast -analyze -q ./test.ll
     -polly-import-jscop-postfix=transformed+gpu
 
@@ -157,7 +157,7 @@ git am /path/to/polly/source/utils/0001-Add-llvm.codegen-intrinsic.patch
/path/to/polly/source/test/create_ll.sh test.c

3. Get and edit the jscop file (take function "gpu_codegen" as an example).

-
opt -load /path/to/polly/build/lib/LLVMPolly.so -basicaa
+
opt -load /path/to/polly/build/lib/LLVMPolly.so -basic-aa
     -polly-export-jscop ./test.ll
 cp gpu_codegen___%for.cond---%for.end8.jscop
    gpu_codegen___%for.cond---%for.end8.jscop.transformed+gpu
@@ -165,7 +165,7 @@ vi gpu_codegen___%for.cond---%for.end8.jscop.transformed+gpu

(Please refer to section "The Work Flow" on how to edit the "schedule" part of a statement)

4. Optimize the code with GPGPU code generation.

-
opt -load /path/to/polly/build/lib/LLVMPolly.so -basicaa
+
opt -load /path/to/polly/build/lib/LLVMPolly.so -basic-aa
     -polly-import-jscop-postfix=transformed+gpu -enable-polly-gpgpu
     -polly-gpgpu-triple=nvptx64-unknown-unknown -polly-codegen ./test.ll -S
     -o test.gpued.ll