llvm-project

1
; RUN: opt %loadNPMPolly -polly-process-unprofitable '-passes=print<polly-function-scops>,scop(print<polly-ast>)' -disable-output -S < %s | FileCheck %s --check-prefix=AST
2
; RUN: opt %loadNPMPolly -polly-process-unprofitable '-passes=print<polly-function-scops>,scop(polly-codegen)' -S < %s | FileCheck %s --check-prefix=CODEGEN
3

4
target datalayout = "e-m:e-i64:64-i128:128-n8:16:32:64-S128"
5
target triple = "aarch64--linux-gnu"
6

7
; This test is to ensure that for we generate signed remainder for
8
; the polly.cond check.
9

10
; AST: isl ast :: foo1
11
; AST: if ((a1 - b1) % 24 == 0)
12

13
; CODEGEN: define void @foo1
14
; CODEGEN: polly.cond:
15
; CODEGEN: %pexp.zdiv_r = srem {{.*}}, 24
16

17
%struct.A = type { i32, i64, i8 }
18

19
; Function Attrs: norecurse nounwind
20
define void @foo1(ptr %a1, ptr readnone %b1) #0 {
21
entry:
22
  br label %entry.split
23

24
entry.split:                                      ; preds = %entry
25
  %cmp4 = icmp eq ptr %a1, %b1
26
  br i1 %cmp4, label %for.cond.cleanup, label %for.body.preheader
27

28
for.body.preheader:                               ; preds = %entry.split
29
  br label %for.body
30

31
for.cond.cleanup.loopexit:                        ; preds = %for.body
32
  br label %for.cond.cleanup
33

34
for.cond.cleanup:                                 ; preds = %for.cond.cleanup.loopexit, %entry.split
35
  ret void
36

37
for.body:                                         ; preds = %for.body.preheader, %for.body
38
  %start.05 = phi ptr [ %incdec.ptr, %for.body ], [ %a1, %for.body.preheader ]
39
  %0 = load i32, ptr %start.05, align 8
40
  %add = add nsw i32 %0, 1
41
  store i32 %add, ptr %start.05, align 8
42
  %incdec.ptr = getelementptr inbounds %struct.A, ptr %start.05, i64 1
43
  %cmp = icmp eq ptr %incdec.ptr, %b1
44
  br i1 %cmp, label %for.cond.cleanup.loopexit, label %for.body
45
}
46

47

48