Mercurial > hg > CbC > CbC_llvm

annotate polly/test/ScopDetect/parametric-multiply-in-scev-2.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
anatofuz
parents:
diff changeset
4 ; CHECK-NOT: Valid Region
anatofuz
parents:
diff changeset
5 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
anatofuz
parents:
diff changeset
6
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
7 define void @blam(ptr %A, ptr %B) {
150
anatofuz
parents:
diff changeset
8 bb:
anatofuz
parents:
diff changeset
9 %tmp1 = alloca i64
anatofuz
parents:
diff changeset
10 %tmp2 = shl i64 2, undef
anatofuz
parents:
diff changeset
11 %tmp3 = shl i64 2, undef
anatofuz
parents:
diff changeset
12 %tmp4 = mul nsw i64 %tmp2, %tmp3
anatofuz
parents:
diff changeset
13 br label %loop
anatofuz
parents:
diff changeset
14
anatofuz
parents:
diff changeset
15 loop:
anatofuz
parents:
diff changeset
16 %indvar = phi i64 [ %indvar.next, %loop ], [ 0, %bb ]
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
17 %gep = getelementptr inbounds i64, ptr %tmp1, i64 %indvar
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
18 %tmp12 = load i64, ptr %gep
150
anatofuz
parents:
diff changeset
19 %tmp13 = mul nsw i64 %tmp12, %tmp4
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
20 %ptr = getelementptr inbounds float, ptr %B, i64 %tmp13
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
21 %val = load float, ptr %ptr
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
22 store float %val, ptr %A
150
anatofuz
parents:
diff changeset
23 %indvar.next = add nsw i64 %indvar, 1
anatofuz
parents:
diff changeset
24 br i1 false, label %loop, label %bb21
anatofuz
parents:
diff changeset
25
anatofuz
parents:
diff changeset
26 bb21:
anatofuz
parents:
diff changeset
27 ret void
anatofuz
parents:
diff changeset
28 }