llvm-project

1
; RUN: opt %loadNPMPolly '-passes=polly-import-jscop,polly-codegen' -polly-import-jscop-postfix=transformed -S < %s | FileCheck %s
2
;
3
; Partial write, where "partial" is the empty set.
4
; The store is never executed in this case and we do generate it in the
5
; first place.
6
;
7
; for (int j = 0; j < n; j += 1)
8
;   A[0] = 42.0
9
;
10

11
define void @partial_write_emptyset(i32 %n, ptr noalias nonnull %A) {
12
entry:
13
  br label %for
14

15
for:
16
  %j = phi i32 [0, %entry], [%j.inc, %inc]
17
  %j.cmp = icmp slt i32 %j, %n
18
  br i1 %j.cmp, label %body, label %exit
19

20
    body:
21
      store double 42.0, ptr %A
22
      br label %inc
23

24
inc:
25
  %j.inc = add nuw nsw i32 %j, 1
26
  br label %for
27

28
exit:
29
  br label %return
30

31
return:
32
  ret void
33
}
34

35

36
; CHECK-LABEL: polly.stmt.body:
37
; CHECK-NOT:     store
38