Mercurial > hg > CbC > CbC_llvm

annotate polly/test/ScopInfo/unsigned_wrap_uge.ll @ 236:c4bab56944e8 llvm-original

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 16
author kono
date Wed, 09 Nov 2022 17:45:10 +0900
parents 1d019706d866
children 1f2b6ac9f198
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
236
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
1 ; RUN: opt %loadPolly -polly-print-scops -disable-output < %s | FileCheck %s
150
anatofuz
parents:
diff changeset
2 ;
anatofuz
parents:
diff changeset
3 ; Unsigned wrap-around check.
anatofuz
parents:
diff changeset
4 ;
anatofuz
parents:
diff changeset
5 ; for (int i = -1; i < 65 ; i ++ )
anatofuz
parents:
diff changeset
6 ; if ( 63 >= (unsigned)i )
anatofuz
parents:
diff changeset
7 ; A[i] = 42;
anatofuz
parents:
diff changeset
8
anatofuz
parents:
diff changeset
9
anatofuz
parents:
diff changeset
10 define void @func(double* noalias nonnull %A) {
anatofuz
parents:
diff changeset
11 entry:
anatofuz
parents:
diff changeset
12 br label %for
anatofuz
parents:
diff changeset
13
anatofuz
parents:
diff changeset
14 for:
anatofuz
parents:
diff changeset
15 %j = phi i32 [-1, %entry], [%j.inc, %inc]
anatofuz
parents:
diff changeset
16 %j.cmp = icmp slt i32 %j, 65
anatofuz
parents:
diff changeset
17 br i1 %j.cmp, label %body, label %exit
anatofuz
parents:
diff changeset
18
anatofuz
parents:
diff changeset
19 body:
anatofuz
parents:
diff changeset
20 %inbounds = icmp uge i32 63, %j
anatofuz
parents:
diff changeset
21 br i1 %inbounds, label %ifinbounds, label %ifoutbounds
anatofuz
parents:
diff changeset
22
anatofuz
parents:
diff changeset
23 ifinbounds:
anatofuz
parents:
diff changeset
24 %A_idx = getelementptr inbounds double, double* %A, i32 %j
anatofuz
parents:
diff changeset
25 store double 42.0, double* %A_idx
anatofuz
parents:
diff changeset
26 br label %inc
anatofuz
parents:
diff changeset
27
anatofuz
parents:
diff changeset
28 ifoutbounds:
anatofuz
parents:
diff changeset
29 br label %inc
anatofuz
parents:
diff changeset
30
anatofuz
parents:
diff changeset
31 inc:
anatofuz
parents:
diff changeset
32 %j.inc = add nuw nsw i32 %j, 1
anatofuz
parents:
diff changeset
33 br label %for
anatofuz
parents:
diff changeset
34
anatofuz
parents:
diff changeset
35 exit:
anatofuz
parents:
diff changeset
36 br label %return
anatofuz
parents:
diff changeset
37
anatofuz
parents:
diff changeset
38 return:
anatofuz
parents:
diff changeset
39 ret void
anatofuz
parents:
diff changeset
40 }
anatofuz
parents:
diff changeset
41
anatofuz
parents:
diff changeset
42
anatofuz
parents:
diff changeset
43 ; CHECK: Region: %for---%return
anatofuz
parents:
diff changeset
44 ; CHECK: Domain :=
anatofuz
parents:
diff changeset
45 ; CHECK-NEXT: { Stmt_ifinbounds[i0] : 0 < i0 <= 64 };
anatofuz
parents:
diff changeset
46