Mercurial > hg > CbC > CbC_llvm

annotate polly/test/CodeGen/partial_write_impossible_restriction.ll @ 236:c4bab56944e8 llvm-original

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 16
author kono
date Wed, 09 Nov 2022 17:45:10 +0900
parents
children 1f2b6ac9f198
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-stmt-granularity=bb -polly-import-jscop -polly-import-jscop-postfix=transformed -polly-codegen -S < %s | FileCheck %s
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
2 ;
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
3 ; The isl scheduler isolates %cond.false into two instances.
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
4 ; A partial write access in one of the instances was never executed,
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
5 ; which caused problems when querying for its index expression, which
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
6 ; is not available in that case.
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
7 ;
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
8 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
9
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
10 define void @partial_write_impossible_restriction(i32* %.pn) {
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
11 entry:
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
12 br i1 undef, label %invoke.cont258, label %cond.true.i.i.i.i1007
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
13
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
14 cond.true.i.i.i.i1007:
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
15 br label %invoke.cont258
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
16
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
17 invoke.cont258:
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
18 br label %invoke.cont274
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
19
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
20 invoke.cont274: ; preds = %invoke.cont258
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
21 %tmp4 = load i32*, i32** undef
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
22 %tmp5 = load i32, i32* undef
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
23 %tmp6 = zext i32 %tmp5 to i64
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
24 %tmp7 = sext i32 %tmp5 to i64
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
25 br label %for.body344
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
26
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
27 for.body344: ; preds = %cond.end, %invoke.cont274
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
28 %indvars.iv1602 = phi i64 [ 0, %invoke.cont274 ], [ %indvars.iv.next1603, %cond.end ]
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
29 %indvars.iv.next1603 = add nuw nsw i64 %indvars.iv1602, 1
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
30 %cmp347 = icmp eq i64 %indvars.iv.next1603, %tmp6
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
31 br i1 %cmp347, label %cond.end, label %cond.false
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
32
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
33 cond.false: ; preds = %for.body344
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
34 %add.ptr.i1128 = getelementptr inbounds i32, i32* %tmp4, i64 %indvars.iv.next1603
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
35 %cond.in.sroa.speculate.load.cond.false = load i32, i32* %add.ptr.i1128
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
36 br label %cond.end
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
37
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
38 cond.end: ; preds = %cond.false, %for.body344
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
39 %cond.in.sroa.speculated = phi i32 [ %cond.in.sroa.speculate.load.cond.false, %cond.false ], [ undef, %for.body344 ]
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
40 %add.ptr.i1132 = getelementptr inbounds i32, i32* %.pn, i64 %indvars.iv1602
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
41 store i32 undef, i32* %add.ptr.i1132
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
42 %cmp342 = icmp slt i64 %indvars.iv.next1603, %tmp7
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
43 br i1 %cmp342, label %for.body344, label %if.then.i.i1141.loopexit
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
44
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
45 if.then.i.i1141.loopexit: ; preds = %cond.end
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
46 ret void
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
47 }
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
48
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
49
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
50 ; CHECK-LABEL: polly.stmt.cond.false:
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
51 ; CHECK: %polly.access..pn{{[0-9]*}} = getelementptr i32, i32* %.pn, i64 %polly.indvar
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
52 ; CHECK: store i32 %cond.in.sroa.speculate.load.cond.false_p_scalar_, i32* %polly.access..pn{{[0-9]*}}, align 4, !alias.scope !0, !noalias !3
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
53 ; CHECK: br label %polly.merge
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
54
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
55 ; CHECK-LABEL: polly.stmt.cond.false{{[0-9]*}}:
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
56 ; CHECK: %polly.access..pn{{[0-9]*}} = getelementptr i32, i32* %.pn, i64 0
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
57 ; CHECK: store i32 %cond.in.sroa.speculate.load.cond.false_p_scalar_{{[0-9]*}}, i32* %polly.access..pn{{[0-9]*}}, align 4, !alias.scope !0, !noalias !3
c4bab56944e8 LLVM 16
kono
parents:
diff changeset
58 ; CHECK: br label %polly.stmt.cond.end{{[0-9]*}}