2e02d560aa
The previously implemented approach is to follow value definitions and
create write accesses ("push defs") while searching for uses. This
requires the same relatively validity- and requirement conditions to be
replicated at multiple locations (PHI instructions, other instructions,
uses by PHIs).
We replace this by iterating over the uses in a SCoP ("pull in
requirements"), and add writes only when at least one read has been
added. It turns out to be simpler code because each use is only iterated
over once and writes are added for the first access that reads it. We
need another iteration to identify escaping values (uses not in the
SCoP), which also makes the difference between such accesses more
obvious. As a side-effect, the order of scalar MemoryAccess can change.
Differential Revision: http://reviews.llvm.org/D15706
llvm-svn: 259987
47 lines
1.7 KiB
LLVM
47 lines
1.7 KiB
LLVM
; RUN: opt %loadPolly -polly-import-jscop -polly-import-jscop-dir=%S \
|
|
; RUN: -polly-import-jscop-postfix=transformed -polly-codegen \
|
|
; RUN: < %s -S | FileCheck %s
|
|
|
|
; CHECK: polly.stmt.loop2:
|
|
; CHECK-NEXT: %polly.access.A = getelementptr double, double* %A, i64 42
|
|
; CHECK-NEXT: %val_p_scalar_ = load double, double* %polly.access.A
|
|
|
|
; CHECK: polly.stmt.loop3:
|
|
; CHECK-NEXT: %val.s2a.reload = load double, double* %val.s2a
|
|
; CHECK-NEXT: %scevgep[[R21:[0-9]*]] = getelementptr double, double* %scevgep{{[0-9]*}}, i64 %polly.indvar16
|
|
; CHECK-NEXT: store double %val.s2a.reload, double* %scevgep[[R21]]
|
|
|
|
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
|
|
|
define void @update_access_functions(i64 %arg, double* %A) {
|
|
bb3:
|
|
br label %loop1
|
|
|
|
loop1:
|
|
%indvar = phi i64 [ %indvar.next, %loop1 ], [ 1, %bb3 ]
|
|
%ptr1 = getelementptr inbounds double, double* %A, i64 %indvar
|
|
store double 42.0, double* %ptr1, align 8
|
|
%indvar.next = add nuw nsw i64 %indvar, 1
|
|
%cmp = icmp ne i64 %indvar.next, %arg
|
|
br i1 %cmp, label %loop1, label %loop2
|
|
|
|
loop2:
|
|
%indvar.2 = phi i64 [ %indvar.2.next, %loop2 ], [ 1, %loop1 ]
|
|
%ptr2 = getelementptr inbounds double, double* %A, i64 %indvar.2
|
|
%val = load double, double* %ptr2, align 8
|
|
%indvar.2.next = add nuw nsw i64 %indvar.2, 1
|
|
%cmp.2 = icmp ne i64 %indvar.2.next, %arg
|
|
br i1 %cmp.2, label %loop2, label %loop3
|
|
|
|
loop3:
|
|
%indvar.3 = phi i64 [ %indvar.3.next, %loop3 ], [ 1, %loop2 ]
|
|
%ptr3 = getelementptr inbounds double, double* %A, i64 %indvar.3
|
|
store double %val, double* %ptr3, align 8
|
|
%indvar.3.next = add nuw nsw i64 %indvar.3, 1
|
|
%cmp.3 = icmp ne i64 %indvar.3.next, %arg
|
|
br i1 %cmp.3, label %loop3, label %exit
|
|
|
|
exit:
|
|
ret void
|
|
}
|