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
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -passes=dse %s -S | FileCheck --check-prefixes=CHECK %s
%struct.ham = type { [3 x double], [3 x double]}
declare void @may_throw()
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg)
; We miss this case, because of an aggressive limit of partial overlap analysis.
; With a larger partial store limit, we remove the memset.
define void @overlap1(ptr %arg, i1 %cond) {
; CHECK-LABEL: @overlap1(
; CHECK-NEXT: bb:
; CHECK-NEXT: [[TMP:%.*]] = getelementptr inbounds [[STRUCT_HAM:%.*]], ptr [[ARG:%.*]], i64 0, i32 0, i64 2
; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds [[STRUCT_HAM]], ptr [[ARG]], i64 0, i32 0, i64 1
; CHECK-NEXT: [[TMP3:%.*]] = getelementptr inbounds [[STRUCT_HAM]], ptr [[ARG]], i64 0, i32 1, i64 2
; CHECK-NEXT: [[TMP4:%.*]] = getelementptr inbounds [[STRUCT_HAM]], ptr [[ARG]], i64 0, i32 1, i64 1
; CHECK-NEXT: [[TMP5:%.*]] = getelementptr inbounds [[STRUCT_HAM]], ptr [[ARG]], i64 0, i32 1, i32 0
; CHECK-NEXT: br i1 [[COND:%.*]], label [[BB7:%.*]], label [[BB8:%.*]]
; CHECK: bb7:
; CHECK-NEXT: br label [[BB9:%.*]]
; CHECK: bb8:
; CHECK-NEXT: br label [[BB9]]
; CHECK: bb9:
; CHECK-NEXT: store double 1.000000e+00, ptr [[ARG]], align 8
; CHECK-NEXT: store double 2.000000e+00, ptr [[TMP1]], align 8
; CHECK-NEXT: store double 3.000000e+00, ptr [[TMP]], align 8
; CHECK-NEXT: store double 4.000000e+00, ptr [[TMP5]], align 8
; CHECK-NEXT: store double 5.000000e+00, ptr [[TMP4]], align 8
; CHECK-NEXT: store double 6.000000e+00, ptr [[TMP3]], align 8
; CHECK-NEXT: ret void
;
bb:
%tmp = getelementptr inbounds %struct.ham, ptr %arg, i64 0, i32 0, i64 2
%tmp1 = getelementptr inbounds %struct.ham, ptr %arg, i64 0, i32 0, i64 1
%tmp3 = getelementptr inbounds %struct.ham, ptr %arg, i64 0,i32 1, i64 2
%tmp4 = getelementptr inbounds %struct.ham, ptr %arg, i64 0, i32 1, i64 1
%tmp5 = getelementptr inbounds %struct.ham, ptr %arg, i64 0, i32 1, i32 0
call void @llvm.memset.p0.i64(ptr nonnull align 8 dereferenceable(48) %arg, i8 0, i64 48, i1 false)
br i1 %cond, label %bb7, label %bb8
bb7: ; preds = %bb
br label %bb9
bb8: ; preds = %bb
br label %bb9
bb9: ; preds = %bb8, %bb7
store double 1.0, ptr %arg, align 8
store double 2.0, ptr %tmp1, align 8
store double 3.0, ptr %tmp, align 8
store double 4.0, ptr %tmp5, align 8
store double 5.0, ptr %tmp4, align 8
store double 6.0, ptr %tmp3, align 8
ret void
}
define void @overlap2(ptr %arg, i1 %cond) {
; CHECK-LABEL: @overlap2(
; CHECK-NEXT: bb:
; CHECK-NEXT: [[TMP:%.*]] = getelementptr inbounds [[STRUCT_HAM:%.*]], ptr [[ARG:%.*]], i64 0, i32 0, i64 2
; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds [[STRUCT_HAM]], ptr [[ARG]], i64 0, i32 0, i64 1
; CHECK-NEXT: [[TMP3:%.*]] = getelementptr inbounds [[STRUCT_HAM]], ptr [[ARG]], i64 0, i32 1, i64 2
; CHECK-NEXT: [[TMP4:%.*]] = getelementptr inbounds [[STRUCT_HAM]], ptr [[ARG]], i64 0, i32 1, i64 1
; CHECK-NEXT: [[TMP5:%.*]] = getelementptr inbounds [[STRUCT_HAM]], ptr [[ARG]], i64 0, i32 1, i32 0
; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr nonnull align 8 dereferenceable(48) [[ARG]], i8 0, i64 48, i1 false)
; CHECK-NEXT: br i1 [[COND:%.*]], label [[BB7:%.*]], label [[BB8:%.*]]
; CHECK: bb7:
; CHECK-NEXT: call void @may_throw()
; CHECK-NEXT: br label [[BB9:%.*]]
; CHECK: bb8:
; CHECK-NEXT: br label [[BB9]]
; CHECK: bb9:
; CHECK-NEXT: store double 1.000000e+00, ptr [[ARG]], align 8
; CHECK-NEXT: store double 2.000000e+00, ptr [[TMP1]], align 8
; CHECK-NEXT: store double 3.000000e+00, ptr [[TMP]], align 8
; CHECK-NEXT: store double 4.000000e+00, ptr [[TMP5]], align 8
; CHECK-NEXT: store double 5.000000e+00, ptr [[TMP4]], align 8
; CHECK-NEXT: store double 6.000000e+00, ptr [[TMP3]], align 8
; CHECK-NEXT: ret void
;
bb:
%tmp = getelementptr inbounds %struct.ham, ptr %arg, i64 0, i32 0, i64 2
%tmp1 = getelementptr inbounds %struct.ham, ptr %arg, i64 0, i32 0, i64 1
%tmp3 = getelementptr inbounds %struct.ham, ptr %arg, i64 0,i32 1, i64 2
%tmp4 = getelementptr inbounds %struct.ham, ptr %arg, i64 0, i32 1, i64 1
%tmp5 = getelementptr inbounds %struct.ham, ptr %arg, i64 0, i32 1, i32 0
call void @llvm.memset.p0.i64(ptr nonnull align 8 dereferenceable(48) %arg, i8 0, i64 48, i1 false)
br i1 %cond, label %bb7, label %bb8
bb7: ; preds = %bb
call void @may_throw()
br label %bb9
bb8: ; preds = %bb
br label %bb9
bb9: ; preds = %bb8, %bb7
store double 1.0, ptr %arg, align 8
store double 2.0, ptr %tmp1, align 8
store double 3.0, ptr %tmp, align 8
store double 4.0, ptr %tmp5, align 8
store double 5.0, ptr %tmp4, align 8
store double 6.0, ptr %tmp3, align 8
ret void
}
; Test case from PR46513. Make sure we do not crash.
; TODO: we should be able to shorten store i32 844283136, ptr %cast.i32 to a
; store of i16.
define void @overlap_no_dominance(ptr %arg, i1 %c) {
; CHECK-LABEL: @overlap_no_dominance(
; CHECK-NEXT: bb:
; CHECK-NEXT: br i1 [[C:%.*]], label [[BB13:%.*]], label [[BB9:%.*]]
; CHECK: bb9:
; CHECK-NEXT: store i32 844283136, ptr [[ARG:%.*]], align 4
; CHECK-NEXT: br label [[BB13]]
; CHECK: bb13:
; CHECK-NEXT: store i16 0, ptr [[ARG]], align 4
; CHECK-NEXT: ret void
;
bb:
br i1 %c, label %bb13, label %bb9
bb9: ; preds = %bb
store i32 844283136, ptr %arg, align 4
br label %bb13
bb13: ; preds = %bb9, %bb
store i16 0, ptr %arg, align 4
ret void
}
|
