Mercurial > hg > CbC > CbC_llvm

annotate polly/test/ScopDetect/run_time_alias_check.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-detect -disable-output < %s | FileCheck %s
150
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
anatofuz
parents:
diff changeset
4
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
5 declare ptr @getNextBasePtr(ptr) readnone nounwind
150
anatofuz
parents:
diff changeset
6
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
7 define void @base_pointer_is_inst_inside_invariant_1(i64 %n, ptr %A, ptr %B) {
150
anatofuz
parents:
diff changeset
8 entry:
anatofuz
parents:
diff changeset
9 br label %for.i
anatofuz
parents:
diff changeset
10
anatofuz
parents:
diff changeset
11 for.i:
anatofuz
parents:
diff changeset
12 %indvar.i = phi i64 [ %indvar.i.next, %for.i.inc ], [ 0, %entry ]
anatofuz
parents:
diff changeset
13 br label %S1
anatofuz
parents:
diff changeset
14
anatofuz
parents:
diff changeset
15 S1:
anatofuz
parents:
diff changeset
16 ; To get an instruction inside a region, we use a function without side
anatofuz
parents:
diff changeset
17 ; effects on which SCEV blocks, but for which it is still clear that the
anatofuz
parents:
diff changeset
18 ; return value remains invariant throughout the whole loop.
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
19 %ptr = call ptr @getNextBasePtr(ptr %A)
150
anatofuz
parents:
diff changeset
20 %conv = sitofp i64 %indvar.i to float
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
21 %arrayidx5 = getelementptr float, ptr %ptr, i64 %indvar.i
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
22 store float %conv, ptr %arrayidx5, align 4
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
23 store float 1.0, ptr %B
150
anatofuz
parents:
diff changeset
24 br label %for.i.inc
anatofuz
parents:
diff changeset
25
anatofuz
parents:
diff changeset
26 for.i.inc:
anatofuz
parents:
diff changeset
27 %indvar.i.next = add i64 %indvar.i, 1
anatofuz
parents:
diff changeset
28 %exitcond.i = icmp ne i64 %indvar.i.next, %n
anatofuz
parents:
diff changeset
29 br i1 %exitcond.i, label %for.i, label %exit
anatofuz
parents:
diff changeset
30
anatofuz
parents:
diff changeset
31 exit:
anatofuz
parents:
diff changeset
32 ret void
anatofuz
parents:
diff changeset
33 }
anatofuz
parents:
diff changeset
34
anatofuz
parents:
diff changeset
35 ; CHECK-NOT: Valid Region for Scop