llvm-project

1
; RUN: opt %loadPolly -polly-import-jscop-postfix=transformed -polly-print-import-jscop -polly-print-simplify -disable-output < %s | FileCheck %s -match-full-lines
2
;
3
; Remove a redundant store, if its partial domain is a subset of the
4
; read's domain.
5
;
6
define void @redundant_partialwrite(i32 %n, ptr noalias nonnull %A) {
7
entry:
8
  br label %for
9

10
for:
11
  %j = phi i32 [0, %entry], [%j.inc, %inc]
12
  %j.cmp = icmp slt i32 %j, %n
13
  br i1 %j.cmp, label %body, label %exit
14

15
    body:
16
      %val = load double, ptr %A
17
      store double %val, ptr %A
18
      br label %inc
19

20
inc:
21
  %j.inc = add nuw nsw i32 %j, 1
22
  br label %for
23

24
exit:
25
  br label %return
26

27
return:
28
  ret void
29
}
30

31

32
; Check successful import.
33
; CHECK:    new: [n] -> { Stmt_body[i0] -> MemRef_A[0] : i0 <= 15 };
34

35
; CHECK: Statistics {
36
; CHECK:     Redundant writes removed: 1
37
; CHECK: }
38

39
; CHECK:      After accesses {
40
; CHECK-NEXT: }
41