annotate polly/test/CodeGen/test-invalid-operands-for-select-2.ll @ 252:1f2b6ac9f198 llvm-original

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 -S -polly-codegen -verify-loop-info < %s | FileCheck %s
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
2 ;
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
3 ; Check that we do not crash as described here: http://llvm.org/bugs/show_bug.cgi?id=21167
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
4 ;
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
5 ; CHECK: polly.split_new_and_old
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
6 ;
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
7 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
8
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
9 ; Function Attrs: nounwind uwtable
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
10 define void @kernel_fdtd_apml(i32 %cxm, i32 %cym, ptr %Bza, ptr %Hz, ptr %czp) #0 {
236
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
11 entry:
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
12 br i1 false, label %for.cond4.preheader, label %for.end451
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
13
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
14 for.cond4.preheader: ; preds = %for.inc449, %entry
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
15 %iz.08 = phi i32 [ undef, %for.inc449 ], [ 0, %entry ]
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
16 %cmp55 = icmp sgt i32 %cym, 0
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
17 br i1 %cmp55, label %for.cond7.preheader, label %for.inc449
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
18
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
19 for.cond7.preheader: ; preds = %for.end, %for.cond4.preheader
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
20 %iy.06 = phi i32 [ %inc447, %for.end ], [ 0, %for.cond4.preheader ]
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
21 %cmp81 = icmp sgt i32 %cxm, 0
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
22 br i1 %cmp81, label %for.body9, label %for.end
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
23
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
24 for.body9: ; preds = %for.body9, %for.cond7.preheader
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
25 %ix.02 = phi i32 [ %inc, %for.body9 ], [ 0, %for.cond7.preheader ]
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
26 %idxprom74 = sext i32 %iz.08 to i64
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
27 %arrayidx75 = getelementptr inbounds double, ptr %czp, i64 %idxprom74
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
28 %0 = load double, ptr %arrayidx75, align 8
236
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
29 %idxprom102 = sext i32 %iz.08 to i64
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
30 %arrayidx105 = getelementptr inbounds [65 x [65 x double]], ptr %Hz, i64 %idxprom102, i64 0, i64 0
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
31 store double undef, ptr %arrayidx105, align 8
236
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
32 %inc = add nsw i32 %ix.02, 1
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
33 br i1 false, label %for.body9, label %for.end
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
34
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
35 for.end: ; preds = %for.body9, %for.cond7.preheader
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
36 %idxprom209 = sext i32 %cxm to i64
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
37 %idxprom211 = sext i32 %iz.08 to i64
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
38 %arrayidx214 = getelementptr inbounds [65 x [65 x double]], ptr %Hz, i64 %idxprom211, i64 0, i64 %idxprom209
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
39 store double undef, ptr %arrayidx214, align 8
236
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
40 %idxprom430 = sext i32 %cxm to i64
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
41 %idxprom431 = sext i32 %cym to i64
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
42 %idxprom432 = sext i32 %iz.08 to i64
252
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
43 %arrayidx435 = getelementptr inbounds [65 x [65 x double]], ptr %Hz, i64 %idxprom432, i64 %idxprom431, i64 %idxprom430
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
44 store double undef, ptr %arrayidx435, align 8
1f2b6ac9f198 LLVM16-1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 236
diff changeset
45 store double undef, ptr %Bza, align 8
236
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
46 %inc447 = add nsw i32 %iy.06, 1
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
47 %cmp5 = icmp slt i32 %inc447, %cym
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
48 br i1 %cmp5, label %for.cond7.preheader, label %for.inc449
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
49
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
50 for.inc449: ; preds = %for.end, %for.cond4.preheader
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
51 br i1 undef, label %for.cond4.preheader, label %for.end451
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
52
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
53 for.end451: ; preds = %for.inc449, %entry
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
54 ret void
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
55 }