empty_domain_in_context.ll
3.45 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
; RUN: opt %loadPolly -polly-optree -polly-opt-isl -polly-codegen -S < %s | FileCheck %s
;
; llvm.org/PR35362
; isl codegen does not allow to generate isl_ast_expr from pw_aff which have an
; empty domain. This happens in this case because the pw_aff's domain is
; excluded by the SCoP's parameter context.
target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
@c = external local_unnamed_addr global i8
@a = external local_unnamed_addr global i16
@b = external local_unnamed_addr global i8
define void @fn1() {
entry:
%a.promoted = load i16, i16* @a
br label %for.cond
for.cond: ; preds = %for.cond3.for.end_crit_edge, %entry
%inc.lcssa17 = phi i16 [ 0, %for.cond3.for.end_crit_edge ], [ %a.promoted, %entry ]
br label %for.body
for.body: ; preds = %for.cond
%conv = zext i16 %inc.lcssa17 to i32
%div = udiv i32 -286702568, %conv
br i1 undef, label %if.end, label %if.then
if.then: ; preds = %for.body
unreachable
if.end: ; preds = %for.body
br label %for.body5.lr.ph
for.body5.lr.ph: ; preds = %if.end
%tmp = load i8, i8* @b, align 1
%cmp = icmp eq i32 %div, 1
br i1 %cmp, label %for.body5.lr.ph.split.us, label %for.body5.lr.ph.split
for.body5.lr.ph.split.us: ; preds = %for.body5.lr.ph
br label %lor.end.us.peel
lor.end.us.peel: ; preds = %for.body5.lr.ph.split.us
%inc.us.peel = add i16 %inc.lcssa17, 1
br i1 false, label %for.cond3.for.end_crit_edge, label %for.body5.us.peel.next
for.body5.us.peel.next: ; preds = %lor.end.us.peel
br label %lor.end.us
lor.end.us: ; preds = %lor.end.us, %for.body5.us.peel.next
%tmp1 = phi i16 [ %inc.us.peel, %for.body5.us.peel.next ], [ %inc.us, %lor.end.us ]
%inc.us = add i16 %tmp1, 1
%tobool4.us = icmp eq i16 %inc.us, 0
br i1 %tobool4.us, label %for.cond3.for.end_crit_edge, label %lor.end.us
for.body5.lr.ph.split: ; preds = %for.body5.lr.ph
br label %lor.end.peel
lor.end.peel: ; preds = %for.body5.lr.ph.split
%inc.peel = add i16 %inc.lcssa17, 1
br i1 false, label %for.cond3.for.end_crit_edge, label %for.body5.peel.next
for.body5.peel.next: ; preds = %lor.end.peel
br label %lor.end
lor.end: ; preds = %lor.end, %for.body5.peel.next
%tmp2 = phi i16 [ %inc.peel, %for.body5.peel.next ], [ %inc, %lor.end ]
%inc = add i16 %tmp2, 1
%tobool4 = icmp eq i16 %inc, 0
br i1 %tobool4, label %for.cond3.for.end_crit_edge, label %lor.end
for.cond3.for.end_crit_edge: ; preds = %lor.end, %lor.end.peel, %lor.end.us, %lor.end.us.peel
%tmp3 = phi i8 [ %tmp, %lor.end.us.peel ], [ %tmp, %lor.end.peel ], [ %tmp, %lor.end.us ], [ %tmp, %lor.end ]
store i8 4, i8* @c
br label %for.cond
}
; The reference to @b should have been generated from an isl_ast_expr.
; Because isl is unable to generate it in this case, the code generator
; resorted to use the pointer argument of %tmp = load ... .
; It is not important since this code will never be executed.
; CHECK: polly.stmt.lor.end.us.peel:
; CHECK-NEXT: %tmp_p_scalar_1 = load i8, i8* @b
; CHECK-NEXT: store i8 %tmp_p_scalar_1, i8* %tmp3.phiops
; CHECK-NEXT: br label %polly.merge