[polly] 2aff4f7 - [polly] Fix check-polly after SCEVExpander PtrToInt fixes

[Michael Kruse via llvm-commits]

Thank you.

Michael

Am Mo., 19. Apr. 2021 um 11:11 Uhr schrieb Roman Lebedev via
llvm-commits <llvm-commits at lists.llvm.org>:
>
>
> Author: Roman Lebedev
> Date: 2021-04-19T19:10:55+03:00
> New Revision: 2aff4f7f5772f186eb04898ef2e2b143d9e3cbe7
>
> URL: https://github.com/llvm/llvm-project/commit/2aff4f7f5772f186eb04898ef2e2b143d9e3cbe7
> DIFF: https://github.com/llvm/llvm-project/commit/2aff4f7f5772f186eb04898ef2e2b143d9e3cbe7.diff
>
> LOG: [polly] Fix check-polly after SCEVExpander PtrToInt fixes
>
> Added:
>
>
> Modified:
>     polly/test/ScopInfo/int2ptr_ptr2int.ll
>     polly/test/ScopInfo/int2ptr_ptr2int_2.ll
>
> Removed:
>
>
>
> ################################################################################
> diff  --git a/polly/test/ScopInfo/int2ptr_ptr2int.ll b/polly/test/ScopInfo/int2ptr_ptr2int.ll
> index 2a0b69c7536f6..c2bedff91e7fc 100644
> --- a/polly/test/ScopInfo/int2ptr_ptr2int.ll
> +++ b/polly/test/ScopInfo/int2ptr_ptr2int.ll
> @@ -16,6 +16,9 @@
>  ; CHECK-NEXT:   MustWriteAccess :=     [Reduction Type: +] [Scalar: 0]
>  ; CHECK-NEXT:       [val, ptr] -> { Stmt_for_body[i0] -> MemRef_A[9 + ptr] };
>  ;
> +; IR:      entry:
> +; IR-NEXT:   %ptr1 = ptrtoint i64* %ptr to i32
> +;
>  ; IR:      polly.stmt.for.body:
>  ; IR-NEXT:   %p_tmp1 = inttoptr i64 %14 to i64*
>  ; IR-NEXT:   %p_add.ptr2 = getelementptr inbounds i64, i64* %p_tmp1, i64 1
> @@ -31,9 +34,8 @@
>  ;
>  ; IR:      polly.loop_preheader:
>  ; IR-NEXT:   %14 = add i64 %val, 1
> -; IR-NEXT:   %15 = ptrtoint i64* %ptr to i32
> -; IR-NEXT:   %16 = add i32 %15, 9
> -; IR-NEXT:   %scevgep = getelementptr i64, i64* %A, i32 %16
> +; IR-NEXT:   %15 = add i32 %ptr1, 9
> +; IR-NEXT:   %scevgep = getelementptr i64, i64* %A, i32 %15
>  ; IR-NEXT:   br label %polly.loop_header
>
>  ;
>
> diff  --git a/polly/test/ScopInfo/int2ptr_ptr2int_2.ll b/polly/test/ScopInfo/int2ptr_ptr2int_2.ll
> index c0bd80b1e2423..e84118ca74590 100644
> --- a/polly/test/ScopInfo/int2ptr_ptr2int_2.ll
> +++ b/polly/test/ScopInfo/int2ptr_ptr2int_2.ll
> @@ -19,6 +19,9 @@
>  ; CHECK-NEXT:       [val, ptr] -> { Stmt_for_body[i0] -> MemRef_A[9 + ptr] };
>  ; CHECK-NEXT:   MustWriteAccess :=     [Reduction Type: +] [Scalar: 0]
>  ; CHECK-NEXT:       [val, ptr] -> { Stmt_for_body[i0] -> MemRef_A[9 + ptr] };
> +
> +; IR:      entry:
> +; IR-NEXT:   %ptr13 = ptrtoint i64* %ptr to i16
>  ;
>  ; IR:      polly.stmt.for.body:
>  ; IR-NEXT:   %tmp4_p_scalar_ = load i64, i64* %scevgep, align 8, !alias.scope !3, !noalias !4
> @@ -30,9 +33,8 @@
>
>  ; IR:      polly.loop_preheader:
>  ; IR-NEXT:   %41 = add i16 %val, 1
> -; IR-NEXT:   %42 = ptrtoint i64* %ptr to i16
> -; IR-NEXT:   %43 = add i16 %42, 9
> -; IR-NEXT:   %scevgep = getelementptr i64, i64* %A, i16 %43
> +; IR-NEXT:   %42 = add i16 %ptr13, 9
> +; IR-NEXT:   %scevgep = getelementptr i64, i64* %A, i16 %42
>  ; IR-NEXT:   br label %polly.loop_header
>  ;
>  target datalayout = "e-p:16:16:16-m:e-i64:64-f80:128-n8:16:16:64-S128"
>
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits