Mercurial > hg > CbC > CbC_llvm

annotate polly/test/ScopInfo/wraping_signed_expr_1.ll @ 252:1f2b6ac9f198 llvm-original

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM16-1
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 18 Aug 2023 09:04:13 +0900
parents c4bab56944e8
children
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 ; void f(long *A, long N, long p) {
anatofuz
parents:
diff changeset
4 ; for (long i = 0; i < N; i++)
anatofuz
parents:
diff changeset
5 ; A[i + 1] = 0;
anatofuz
parents:
diff changeset
6 ; }
anatofuz
parents:
diff changeset
7 ;
anatofuz
parents:
diff changeset
8 ; The wrap function has no inbounds GEP but the nowrap function has. Therefore,
anatofuz
parents:
diff changeset
9 ; we will add the assumption that i+1 won't overflow only to the former.
anatofuz
parents:
diff changeset
10 ;
anatofuz
parents:
diff changeset
11 ; Note:
anatofuz
parents:
diff changeset
12 ; 1152921504606846975 * sizeof(long) <= 2 ^ 63 - 1
anatofuz
parents:
diff changeset
13 ; and
anatofuz
parents:
diff changeset
14 ; 1152921504606846976 * sizeof(long) > 2 ^ 63 - 1
anatofuz
parents:
diff changeset
15 ; with
anatofuz
parents:
diff changeset
16 ; sizeof(long) == 8
anatofuz
parents:
diff changeset
17 ;
anatofuz
parents:
diff changeset
18 ; CHECK: Function: wrap
anatofuz
parents:
diff changeset
19 ; CHECK: Invalid Context:
anatofuz
parents:
diff changeset
20 ; CHECK-NEXT: [N] -> { : N >= 1152921504606846976 }
anatofuz
parents:
diff changeset
21 ;
anatofuz
parents:
diff changeset
22 ; CHECK: Function: nowrap
anatofuz
parents:
diff changeset
23 ; CHECK: Invalid Context:
anatofuz
parents:
diff changeset
24 ; CHECK-NEXT: [N] -> { : false }
anatofuz
parents:
diff changeset
25 ;
anatofuz
parents:
diff changeset
26 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
anatofuz
parents:
diff changeset
27
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
28 define void @wrap(ptr %A, i64 %N, i64 %p) {
150
anatofuz
parents:
diff changeset
29 bb:
anatofuz
parents:
diff changeset
30 %tmp31 = icmp slt i64 0, %N
anatofuz
parents:
diff changeset
31 br i1 %tmp31, label %bb4.lr.ph, label %bb8
anatofuz
parents:
diff changeset
32
anatofuz
parents:
diff changeset
33 bb4.lr.ph: ; preds = %bb
anatofuz
parents:
diff changeset
34 br label %bb4
anatofuz
parents:
diff changeset
35
anatofuz
parents:
diff changeset
36 bb4: ; preds = %bb4.lr.ph, %bb7
anatofuz
parents:
diff changeset
37 %indvars.iv2 = phi i64 [ 0, %bb4.lr.ph ], [ %indvars.iv.next, %bb7 ]
anatofuz
parents:
diff changeset
38 %tmp5 = add nuw nsw i64 %indvars.iv2, 1
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
39 %tmp6 = getelementptr i64, ptr %A, i64 %tmp5
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
40 store i64 0, ptr %tmp6, align 4
150
anatofuz
parents:
diff changeset
41 br label %bb7
anatofuz
parents:
diff changeset
42
anatofuz
parents:
diff changeset
43 bb7: ; preds = %bb4
anatofuz
parents:
diff changeset
44 %indvars.iv.next = add nuw nsw i64 %indvars.iv2, 1
anatofuz
parents:
diff changeset
45 %tmp3 = icmp slt i64 %indvars.iv.next, %N
anatofuz
parents:
diff changeset
46 br i1 %tmp3, label %bb4, label %bb2.bb8_crit_edge
anatofuz
parents:
diff changeset
47
anatofuz
parents:
diff changeset
48 bb2.bb8_crit_edge: ; preds = %bb7
anatofuz
parents:
diff changeset
49 br label %bb8
anatofuz
parents:
diff changeset
50
anatofuz
parents:
diff changeset
51 bb8: ; preds = %bb2.bb8_crit_edge, %bb
anatofuz
parents:
diff changeset
52 ret void
anatofuz
parents:
diff changeset
53 }
anatofuz
parents:
diff changeset
54
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
55 define void @nowrap(ptr %A, i64 %N, i64 %p) {
150
anatofuz
parents:
diff changeset
56 bb:
anatofuz
parents:
diff changeset
57 %tmp31 = icmp slt i64 0, %N
anatofuz
parents:
diff changeset
58 br i1 %tmp31, label %bb4.lr.ph, label %bb8
anatofuz
parents:
diff changeset
59
anatofuz
parents:
diff changeset
60 bb4.lr.ph: ; preds = %bb
anatofuz
parents:
diff changeset
61 br label %bb4
anatofuz
parents:
diff changeset
62
anatofuz
parents:
diff changeset
63 bb4: ; preds = %bb4.lr.ph, %bb7
anatofuz
parents:
diff changeset
64 %indvars.iv2 = phi i64 [ 0, %bb4.lr.ph ], [ %indvars.iv.next, %bb7 ]
anatofuz
parents:
diff changeset
65 %tmp5 = add nuw nsw i64 %indvars.iv2, 1
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
66 %tmp6 = getelementptr inbounds i64, ptr %A, i64 %tmp5
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
67 store i64 0, ptr %tmp6, align 4
150
anatofuz
parents:
diff changeset
68 br label %bb7
anatofuz
parents:
diff changeset
69
anatofuz
parents:
diff changeset
70 bb7: ; preds = %bb4
anatofuz
parents:
diff changeset
71 %indvars.iv.next = add nuw nsw i64 %indvars.iv2, 1
anatofuz
parents:
diff changeset
72 %tmp3 = icmp slt i64 %indvars.iv.next, %N
anatofuz
parents:
diff changeset
73 br i1 %tmp3, label %bb4, label %bb2.bb8_crit_edge
anatofuz
parents:
diff changeset
74
anatofuz
parents:
diff changeset
75 bb2.bb8_crit_edge: ; preds = %bb7
anatofuz
parents:
diff changeset
76 br label %bb8
anatofuz
parents:
diff changeset
77
anatofuz
parents:
diff changeset
78 bb8: ; preds = %bb2.bb8_crit_edge, %bb
anatofuz
parents:
diff changeset
79 ret void
anatofuz
parents:
diff changeset
80 }