Skip to content

Commit a482186

Browse files
fhahnfhahn
committed
[DSE] Add test cases with memory intrinsics and varying size values.
This patch adds a few tests for memset/memcyp with non-constant size values. Some of the tests will be optimized in further patches.
1 parent 647d4ba commit a482186

File tree

1 file changed

+93
-0
lines changed

1 file changed

+93
-0
lines changed

‎llvm/test/Transforms/DeadStoreElimination/memory-intrinsics-sizes.ll

Lines changed: 93 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,93 @@
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2+
; RUN: opt -dse -S %s | FileCheck %s
3+
4+
define void @memset_equal_size_values(i8* %ptr, i64 %len) {
5+
; CHECK-LABEL: @memset_equal_size_values(
6+
; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 1 [[PTR:%.*]], i8 0, i64 [[LEN:%.*]], i1 false)
7+
; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 1 [[PTR]], i8 0, i64 [[LEN]], i1 false)
8+
; CHECK-NEXT: ret void
9+
;
10+
call void @llvm.memset.p0i8.i64(i8* align 1 %ptr, i8 0, i64 %len, i1 false)
11+
call void @llvm.memset.p0i8.i64(i8* align 1 %ptr, i8 0, i64 %len, i1 false)
12+
ret void
13+
}
14+
15+
define void @memset_different_size_values_1(i8* %ptr, i64 %len.1, i64 %len.2) {
16+
; CHECK-LABEL: @memset_different_size_values_1(
17+
; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 1 [[PTR:%.*]], i8 0, i64 [[LEN_1:%.*]], i1 false)
18+
; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 1 [[PTR]], i8 0, i64 [[LEN_2:%.*]], i1 false)
19+
; CHECK-NEXT: ret void
20+
;
21+
call void @llvm.memset.p0i8.i64(i8* align 1 %ptr, i8 0, i64 %len.1, i1 false)
22+
call void @llvm.memset.p0i8.i64(i8* align 1 %ptr, i8 0, i64 %len.2, i1 false)
23+
ret void
24+
}
25+
26+
define void @memset_different_size_values_2(i8* %ptr, i64 %len) {
27+
; CHECK-LABEL: @memset_different_size_values_2(
28+
; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 1 [[PTR:%.*]], i8 0, i64 [[LEN:%.*]], i1 false)
29+
; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 1 [[PTR]], i8 0, i64 100, i1 false)
30+
; CHECK-NEXT: ret void
31+
;
32+
call void @llvm.memset.p0i8.i64(i8* align 1 %ptr, i8 0, i64 %len, i1 false)
33+
call void @llvm.memset.p0i8.i64(i8* align 1 %ptr, i8 0, i64 100, i1 false)
34+
ret void
35+
}
36+
37+
define void @memset_different_size_values_3(i8* %ptr, i64 %len) {
38+
; CHECK-LABEL: @memset_different_size_values_3(
39+
; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 1 [[PTR:%.*]], i8 0, i64 100, i1 false)
40+
; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 1 [[PTR]], i8 0, i64 [[LEN:%.*]], i1 false)
41+
; CHECK-NEXT: ret void
42+
;
43+
call void @llvm.memset.p0i8.i64(i8* align 1 %ptr, i8 0, i64 100, i1 false)
44+
call void @llvm.memset.p0i8.i64(i8* align 1 %ptr, i8 0, i64 %len, i1 false)
45+
ret void
46+
}
47+
48+
define void @memcpy_equal_size_values(i8* noalias %src, i8* noalias %dst, i64 %len) {
49+
; CHECK-LABEL: @memcpy_equal_size_values(
50+
; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[DST:%.*]], i8* [[SRC:%.*]], i64 [[LEN:%.*]], i1 false)
51+
; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[DST]], i8* [[SRC]], i64 [[LEN]], i1 false)
52+
; CHECK-NEXT: ret void
53+
;
54+
call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %len, i1 false)
55+
call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %len, i1 false)
56+
ret void
57+
}
58+
59+
define void @memcpy_different_size_values_1(i8* noalias %src, i8* noalias %dst, i64 %len.1, i64 %len.2) {
60+
; CHECK-LABEL: @memcpy_different_size_values_1(
61+
; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[DST:%.*]], i8* [[SRC:%.*]], i64 [[LEN_1:%.*]], i1 false)
62+
; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[DST]], i8* [[SRC]], i64 [[LEN_2:%.*]], i1 false)
63+
; CHECK-NEXT: ret void
64+
;
65+
call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %len.1, i1 false)
66+
call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %len.2, i1 false)
67+
ret void
68+
}
69+
70+
define void @memcpy_different_size_values_2(i8* noalias %src, i8* noalias %dst, i64 %len) {
71+
; CHECK-LABEL: @memcpy_different_size_values_2(
72+
; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[DST:%.*]], i8* [[SRC:%.*]], i64 [[LEN:%.*]], i1 false)
73+
; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[DST]], i8* [[SRC]], i64 100, i1 false)
74+
; CHECK-NEXT: ret void
75+
;
76+
call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %len, i1 false)
77+
call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 100, i1 false)
78+
ret void
79+
}
80+
81+
define void @memcpy_different_size_values_3(i8* noalias %src, i8* noalias %dst, i64 %len) {
82+
; CHECK-LABEL: @memcpy_different_size_values_3(
83+
; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[DST:%.*]], i8* [[SRC:%.*]], i64 100, i1 false)
84+
; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[DST]], i8* [[SRC]], i64 [[LEN:%.*]], i1 false)
85+
; CHECK-NEXT: ret void
86+
;
87+
call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 100, i1 false)
88+
call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %len, i1 false)
89+
ret void
90+
}
91+
92+
declare void @llvm.memset.p0i8.i64(i8* nocapture writeonly, i8, i64, i1 immarg)
93+
declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1)

0 commit comments

Comments
 (0)