maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[polly] Fix check-polly after SCEVExpander PtrToInt fixes

This commit is contained in:
Roman Lebedev 2021-04-19 19:10:55 +03:00
parent d746fefb6f
commit 2aff4f7f57
No known key found for this signature in database
GPG Key ID: 083C3EBB4A1689E0
2 changed files with 10 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
polly/test/ScopInfo/int2ptr_ptr2int.ll
View File

@ -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
;

8
polly/test/ScopInfo/int2ptr_ptr2int_2.ll
View File

@ -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"