[polly] r260955 - [FIX] LICM test case

[Michael Kruse via llvm-commits]

This test was intended to fail until we have a DeLICM mechanism. In
this case the it seems that the load is hoisted which was not the
original idea.

Michael


2016-02-16 13:10 GMT+01:00 Johannes Doerfert via llvm-commits
<llvm-commits at lists.llvm.org>:
> Author: jdoerfert
> Date: Tue Feb 16 06:10:42 2016
> New Revision: 260955
>
> URL: http://llvm.org/viewvc/llvm-project?rev=260955&view=rev
> Log:
> [FIX] LICM test case
>
> Modified:
>     polly/trunk/test/ScopInfo/licm_load.ll
>
> Modified: polly/trunk/test/ScopInfo/licm_load.ll
> URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/licm_load.ll?rev=260955&r1=260954&r2=260955&view=diff
> ==============================================================================
> --- polly/trunk/test/ScopInfo/licm_load.ll (original)
> +++ polly/trunk/test/ScopInfo/licm_load.ll Tue Feb 16 06:10:42 2016
> @@ -1,8 +1,6 @@
>  ; 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
>  ;
> -; XFAIL: *
> -;
>  ;    void foo(int n, float A[static const restrict n],
>  ;             float B[static const restrict n], int j) {
>  ;      for (int i = 0; i < n; i++)
> @@ -39,11 +37,14 @@ for.end:
>    ret void
>  }
>
> -
> +; CHECK:      Invariant Accesses: {
> +; CHECK-NEXT:   ReadAccess := [Reduction Type: NONE] [Scalar: 0]
> +; CHECK-NEXT:       [n, j] -> { Stmt_{{[a-zA-Z_]*}}[{{[i0]*}}] -> MemRef_B[j] };
> +; CHECK-NEXT:       Execution Context: [n, j] -> {  : n > 0 }
> +; CHECK-NEXT: }
> +;
>  ; CHECK: Statements {
>  ; CHECK:      Stmt_for_body
> -; CHECK-DAG:     ReadAccess :=       [Reduction Type: NONE] [Scalar: 0]
> -; CHECK-NEXT:        [n, j] -> { Stmt_for_body[i0] -> MemRef_B[j] };
> -; CHECK=DAG:     MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 0]
> +; CHECK-DAG:     MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 0]
>  ; CHECK-NEXT:        [n, j] -> { Stmt_for_body[i0] -> MemRef_A[i0] };
>  ; CHECK:     }
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits