[llvm] 5293287 - [DSE] Add tests with memset & memcpy combinations and non-const sizes.
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Wed Mar 10 01:47:47 PST 2021
Author: Florian Hahn
Date: 2021-03-10T09:46:54Z
New Revision: 52932876309f06c74073950ade4c3ab9808d6b71
URL: https://github.com/llvm/llvm-project/commit/52932876309f06c74073950ade4c3ab9808d6b71
DIFF: https://github.com/llvm/llvm-project/commit/52932876309f06c74073950ade4c3ab9808d6b71.diff
LOG: [DSE] Add tests with memset & memcpy combinations and non-const sizes.
Added:
Modified:
llvm/test/Transforms/DeadStoreElimination/memory-intrinsics-sizes.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/DeadStoreElimination/memory-intrinsics-sizes.ll b/llvm/test/Transforms/DeadStoreElimination/memory-intrinsics-sizes.ll
index c958bc0eb44c..261e029ecff9 100644
--- a/llvm/test/Transforms/DeadStoreElimination/memory-intrinsics-sizes.ll
+++ b/llvm/test/Transforms/DeadStoreElimination/memory-intrinsics-sizes.ll
@@ -89,5 +89,93 @@ define void @memcpy_
diff erent_size_values_3(i8* noalias %src, i8* noalias %dst,
ret void
}
+define void @memset_and_memcpy_equal_size_values(i8* noalias %src, i8* noalias %dst, i64 %len) {
+; CHECK-LABEL: @memset_and_memcpy_equal_size_values(
+; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 1 [[DST:%.*]], i8 0, i64 [[LEN:%.*]], i1 false)
+; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[DST]], i8* [[SRC:%.*]], i64 [[LEN]], i1 false)
+; CHECK-NEXT: ret void
+;
+ call void @llvm.memset.p0i8.i64(i8* align 1 %dst, i8 0, i64 %len, i1 false)
+ call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %len, i1 false)
+ ret void
+}
+
+define void @memset_and_memcpy_
diff erent_size_values_1(i8* noalias %src, i8* noalias %dst, i64 %len.1, i64 %len.2) {
+; CHECK-LABEL: @memset_and_memcpy_
diff erent_size_values_1(
+; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 1 [[DST:%.*]], i8 0, i64 [[LEN_1:%.*]], i1 false)
+; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[DST]], i8* [[SRC:%.*]], i64 [[LEN_2:%.*]], i1 false)
+; CHECK-NEXT: ret void
+;
+ call void @llvm.memset.p0i8.i64(i8* align 1 %dst, i8 0, i64 %len.1, i1 false)
+ call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %len.2, i1 false)
+ ret void
+}
+
+define void @memset_and_memcpy_
diff erent_size_values_2(i8* noalias %src, i8* noalias %dst, i64 %len.1) {
+; CHECK-LABEL: @memset_and_memcpy_
diff erent_size_values_2(
+; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 1 [[DST:%.*]], i8 0, i64 [[LEN_1:%.*]], i1 false)
+; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[DST]], i8* [[SRC:%.*]], i64 100, i1 false)
+; CHECK-NEXT: ret void
+;
+ call void @llvm.memset.p0i8.i64(i8* align 1 %dst, i8 0, i64 %len.1, i1 false)
+ call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 100, i1 false)
+ ret void
+}
+
+define void @memset_and_memcpy_
diff erent_size_values_3(i8* noalias %src, i8* noalias %dst, i64 %len.1) {
+; CHECK-LABEL: @memset_and_memcpy_
diff erent_size_values_3(
+; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 1 [[DST:%.*]], i8 0, i64 100, i1 false)
+; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[DST]], i8* [[SRC:%.*]], i64 [[LEN_1:%.*]], i1 false)
+; CHECK-NEXT: ret void
+;
+ call void @llvm.memset.p0i8.i64(i8* align 1 %dst, i8 0, i64 100, i1 false)
+ call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %len.1, i1 false)
+ ret void
+}
+
+define void @memcpy_and_memset_equal_size_values(i8* noalias %src, i8* noalias %dst, i64 %len) {
+; CHECK-LABEL: @memcpy_and_memset_equal_size_values(
+; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[DST:%.*]], i8* [[SRC:%.*]], i64 [[LEN:%.*]], i1 false)
+; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 1 [[DST]], i8 0, i64 [[LEN]], i1 false)
+; CHECK-NEXT: ret void
+;
+ call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %len, i1 false)
+ call void @llvm.memset.p0i8.i64(i8* align 1 %dst, i8 0, i64 %len, i1 false)
+ ret void
+}
+
+define void @memcpy_and_memset_
diff erent_size_values_1(i8* noalias %src, i8* noalias %dst, i64 %len.1, i64 %len.2) {
+; CHECK-LABEL: @memcpy_and_memset_
diff erent_size_values_1(
+; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[DST:%.*]], i8* [[SRC:%.*]], i64 [[LEN_1:%.*]], i1 false)
+; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 1 [[DST]], i8 0, i64 [[LEN_2:%.*]], i1 false)
+; CHECK-NEXT: ret void
+;
+ call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %len.1, i1 false)
+ call void @llvm.memset.p0i8.i64(i8* align 1 %dst, i8 0, i64 %len.2, i1 false)
+ ret void
+}
+
+define void @memcpy_and_memset_
diff erent_size_values_2(i8* noalias %src, i8* noalias %dst, i64 %len.1) {
+; CHECK-LABEL: @memcpy_and_memset_
diff erent_size_values_2(
+; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[DST:%.*]], i8* [[SRC:%.*]], i64 [[LEN_1:%.*]], i1 false)
+; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 1 [[DST]], i8 0, i64 100, i1 false)
+; CHECK-NEXT: ret void
+;
+ call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 %len.1, i1 false)
+ call void @llvm.memset.p0i8.i64(i8* align 1 %dst, i8 0, i64 100, i1 false)
+ ret void
+}
+
+define void @memcpy_and_memset_
diff erent_size_values_3(i8* noalias %src, i8* noalias %dst, i64 %len.1) {
+; CHECK-LABEL: @memcpy_and_memset_
diff erent_size_values_3(
+; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[DST:%.*]], i8* [[SRC:%.*]], i64 100, i1 false)
+; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 1 [[DST]], i8 0, i64 [[LEN_1:%.*]], i1 false)
+; CHECK-NEXT: ret void
+;
+ call void @llvm.memcpy.p0i8.p0i8.i64(i8* %dst, i8* %src, i64 100, i1 false)
+ call void @llvm.memset.p0i8.i64(i8* align 1 %dst, i8 0, i64 %len.1, i1 false)
+ ret void
+}
+
declare void @llvm.memset.p0i8.i64(i8* nocapture writeonly, i8, i64, i1 immarg)
declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1)
More information about the llvm-commits
mailing list