Mercurial > hg > CbC > CbC_llvm

annotate polly/test/IstAstInfo/alias_simple_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:
diff changeset
1 ; RUN: opt %loadPolly -polly-print-ast -disable-basic-aa -disable-output < %s | FileCheck %s --check-prefix=NOAA
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
2 ; RUN: opt %loadPolly -polly-print-ast -disable-output < %s | FileCheck %s --check-prefix=BASI
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
3 ; RUN: opt %loadPolly -polly-print-ast -disable-basic-aa -tbaa -disable-output < %s | FileCheck %s --check-prefix=TBAA
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
4 ; RUN: opt %loadPolly -polly-print-ast -disable-basic-aa -scev-aa -disable-output < %s | FileCheck %s --check-prefix=SCEV
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
5 ; RUN: opt %loadPolly -polly-print-ast -disable-basic-aa -globals-aa -disable-output < %s | FileCheck %s --check-prefix=GLOB
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
6 ;
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
7 ; int A[1024];
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
8 ;
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
9 ;
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
10 ; void jd(float *B, int N) {
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
11 ; for (int i = 0; i < N; i++)
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
12 ; A[i] = B[i];
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
13 ; }
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
14 ;
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
15 ; NOAA: if (1 && 0 == N <= 0 && (&MemRef_B[N] <= &MemRef_A[0] || &MemRef_A[N] <= &MemRef_B[0]))
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
16 ; BASI: if (1 && 0 == N <= 0 && (&MemRef_B[N] <= &MemRef_A[0] || &MemRef_A[N] <= &MemRef_B[0]))
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
17 ; TBAA: if (1 && 0 == N <= 0)
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
18 ; SCEV: if (1 && 0 == N <= 0 && (&MemRef_B[N] <= &MemRef_A[0] || &MemRef_A[N] <= &MemRef_B[0]))
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
19 ; GLOB: if (1 && 0 == N <= 0 && (&MemRef_B[N] <= &MemRef_A[0] || &MemRef_A[N] <= &MemRef_B[0]))
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
20 ;
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
21 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
22
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
23 @A = common global [1024 x i32] zeroinitializer, align 16
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
24
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
25 define void @jd(ptr nocapture readonly %B, i32 %N) {
236
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
26 entry:
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
27 %cmp6 = icmp sgt i32 %N, 0
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
28 br i1 %cmp6, label %for.body.preheader, label %for.end
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
29
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
30 for.body.preheader: ; preds = %entry
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
31 br label %for.body
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
32
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
33 for.body: ; preds = %for.body.preheader, %for.body
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
34 %indvars.iv = phi i64 [ %indvars.iv.next, %for.body ], [ 0, %for.body.preheader ]
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
35 %arrayidx = getelementptr inbounds float, ptr %B, i64 %indvars.iv
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
36 %tmp = load float, ptr %arrayidx, align 4, !tbaa !1
236
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
37 %conv = fptosi float %tmp to i32
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
38 %arrayidx2 = getelementptr inbounds [1024 x i32], ptr @A, i64 0, i64 %indvars.iv
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
39 store i32 %conv, ptr %arrayidx2, align 4, !tbaa !5
236
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
40 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
41 %lftr.wideiv1 = trunc i64 %indvars.iv.next to i32
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
42 %exitcond2 = icmp eq i32 %lftr.wideiv1, %N
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
43 br i1 %exitcond2, label %for.end.loopexit, label %for.body
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
44
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
45 for.end.loopexit: ; preds = %for.body
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
46 br label %for.end
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
47
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
48 for.end: ; preds = %for.end.loopexit, %entry
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
49 ret void
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
50 }
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
51
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
52 !0 = !{!""}
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
53 !1 = !{!2, !2, i64 0}
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
54 !2 = !{!"float", !3, i64 0}
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
55 !3 = !{!"omnipotent char", !4, i64 0}
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
56 !4 = !{!"Simple C/C++ TBAA"}
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
57 !5 = !{!6, !6, i64 0}
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
58 !6 = !{!"int", !3, i64 0}