Mercurial > hg > CbC > CbC_llvm

annotate polly/test/CodeGen/split_edges.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-codegen -verify-region-info -verify-dom-info -S < %s | FileCheck %s
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
2 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-n8:16:32:64"
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
3
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
4 @A = common global [1536 x float] zeroinitializer
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
5
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
6 define void @loop_with_condition() nounwind {
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
7 bb0:
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
8 fence seq_cst
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
9 br label %bb1
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
10
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
11 bb1:
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
12 br i1 true, label %bb2, label %bb3
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
13
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
14 bb2:
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
15 %ind1 = phi i32 [0, %bb1], [ %inc0, %bb2]
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
16 %ptr = getelementptr [1536 x float], ptr @A, i64 0, i32 %ind1
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
17 store float undef, ptr %ptr
236
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
18 %inc0 = add i32 %ind1, 1
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
19 %cond1 = icmp eq i32 %ind1, 32
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
20 br i1 %cond1, label %bb4, label %bb2
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
21
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
22 bb3:
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
23 %ind2 = phi i32 [0, %bb1], [ %inc2, %bb3]
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
24 %inc2 = add i32 %ind2, 1
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
25 br i1 true, label %bb4, label %bb3
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
26
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
27 bb4:
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
28 br label %bb5
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
29
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
30 bb5:
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
31 fence seq_cst
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
32 ret void
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
33
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
34 }
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
35
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
36 ; CHECK: polly.split_new_and_old
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
37 ; CHECK: polly.merge_new_and_old