[llvm] 5fe151f - [DSE] Add libcall tests for functions only available on Darwin.
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Wed Dec 1 12:30:36 PST 2021
Author: Florian Hahn
Date: 2021-12-01T20:30:15Z
New Revision: 5fe151f98f02b2ab5543476d44c2f3dd52b01aa7
URL: https://github.com/llvm/llvm-project/commit/5fe151f98f02b2ab5543476d44c2f3dd52b01aa7
DIFF: https://github.com/llvm/llvm-project/commit/5fe151f98f02b2ab5543476d44c2f3dd52b01aa7.diff
LOG: [DSE] Add libcall tests for functions only available on Darwin.
Add a set of tests for memset_pattern{4,8,16} variants.
Added:
llvm/test/Transforms/DeadStoreElimination/libcalls-darwin.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/Transforms/DeadStoreElimination/libcalls-darwin.ll b/llvm/test/Transforms/DeadStoreElimination/libcalls-darwin.ll
new file mode 100644
index 0000000000000..76e595a1dbb35
--- /dev/null
+++ b/llvm/test/Transforms/DeadStoreElimination/libcalls-darwin.ll
@@ -0,0 +1,122 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -mtriple=x86_64-apple-macosx10.7 -passes=inferattrs,dse -S %s | FileCheck %s
+
+; Tests for libcalls only available on Darwin platforms.
+
+declare void @memset_pattern4(i8*, i8*, i64)
+declare void @memset_pattern8(i8*, i8*, i64)
+declare void @memset_pattern16(i8*, i8*, i64)
+
+define void @test_memset_pattern4_const_size(i8* noalias %a, i8* noalias %pattern) {
+; CHECK-LABEL: @test_memset_pattern4_const_size(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[A_GEP_1:%.*]] = getelementptr i8, i8* [[A:%.*]], i32 1
+; CHECK-NEXT: store i8 0, i8* [[A_GEP_1]], align 1
+; CHECK-NEXT: [[A_GEP_17:%.*]] = getelementptr i8, i8* [[A]], i32 17
+; CHECK-NEXT: store i8 1, i8* [[A_GEP_17]], align 1
+; CHECK-NEXT: call void @memset_pattern4(i8* [[A]], i8* [[PATTERN:%.*]], i64 17)
+; CHECK-NEXT: ret void
+;
+entry:
+ %a.gep.1 = getelementptr i8, i8* %a, i32 1
+ store i8 0, i8* %a.gep.1
+ %a.gep.17 = getelementptr i8, i8* %a, i32 17
+ store i8 1, i8* %a.gep.17
+ call void @memset_pattern4(i8* %a, i8* %pattern, i64 17)
+ ret void
+}
+
+define void @test_memset_pattern4_variable_size(i8* noalias %a, i8* noalias %pattern, i64 %n) {
+; CHECK-LABEL: @test_memset_pattern4_variable_size(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[A_GEP_1:%.*]] = getelementptr i8, i8* [[A:%.*]], i32 1
+; CHECK-NEXT: store i8 0, i8* [[A_GEP_1]], align 1
+; CHECK-NEXT: [[A_GEP_17:%.*]] = getelementptr i8, i8* [[A]], i32 17
+; CHECK-NEXT: store i8 1, i8* [[A_GEP_17]], align 1
+; CHECK-NEXT: call void @memset_pattern4(i8* [[A]], i8* [[PATTERN:%.*]], i64 [[N:%.*]])
+; CHECK-NEXT: ret void
+;
+entry:
+ %a.gep.1 = getelementptr i8, i8* %a, i32 1
+ store i8 0, i8* %a.gep.1
+ %a.gep.17 = getelementptr i8, i8* %a, i32 17
+ store i8 1, i8* %a.gep.17
+ call void @memset_pattern4(i8* %a, i8* %pattern, i64 %n)
+ ret void
+}
+
+define void @test_memset_pattern8_const_size(i8* noalias %a, i8* noalias %pattern) {
+; CHECK-LABEL: @test_memset_pattern8_const_size(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[A_GEP_1:%.*]] = getelementptr i8, i8* [[A:%.*]], i32 1
+; CHECK-NEXT: store i8 0, i8* [[A_GEP_1]], align 1
+; CHECK-NEXT: [[A_GEP_17:%.*]] = getelementptr i8, i8* [[A]], i32 17
+; CHECK-NEXT: store i8 1, i8* [[A_GEP_17]], align 1
+; CHECK-NEXT: call void @memset_pattern8(i8* [[A]], i8* [[PATTERN:%.*]], i64 17)
+; CHECK-NEXT: ret void
+;
+entry:
+ %a.gep.1 = getelementptr i8, i8* %a, i32 1
+ store i8 0, i8* %a.gep.1
+ %a.gep.17 = getelementptr i8, i8* %a, i32 17
+ store i8 1, i8* %a.gep.17
+ call void @memset_pattern8(i8* %a, i8* %pattern, i64 17)
+ ret void
+}
+
+define void @test_memset_pattern8_variable_size(i8* noalias %a, i8* noalias %pattern, i64 %n) {
+; CHECK-LABEL: @test_memset_pattern8_variable_size(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[A_GEP_1:%.*]] = getelementptr i8, i8* [[A:%.*]], i32 1
+; CHECK-NEXT: store i8 0, i8* [[A_GEP_1]], align 1
+; CHECK-NEXT: [[A_GEP_17:%.*]] = getelementptr i8, i8* [[A]], i32 17
+; CHECK-NEXT: store i8 1, i8* [[A_GEP_17]], align 1
+; CHECK-NEXT: call void @memset_pattern8(i8* [[A]], i8* [[PATTERN:%.*]], i64 [[N:%.*]])
+; CHECK-NEXT: ret void
+;
+entry:
+ %a.gep.1 = getelementptr i8, i8* %a, i32 1
+ store i8 0, i8* %a.gep.1
+ %a.gep.17 = getelementptr i8, i8* %a, i32 17
+ store i8 1, i8* %a.gep.17
+ call void @memset_pattern8(i8* %a, i8* %pattern, i64 %n)
+ ret void
+}
+
+define void @test_memset_pattern16_const_size(i8* noalias %a, i8* noalias %pattern) {
+; CHECK-LABEL: @test_memset_pattern16_const_size(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[A_GEP_1:%.*]] = getelementptr i8, i8* [[A:%.*]], i32 1
+; CHECK-NEXT: store i8 0, i8* [[A_GEP_1]], align 1
+; CHECK-NEXT: [[A_GEP_17:%.*]] = getelementptr i8, i8* [[A]], i32 17
+; CHECK-NEXT: store i8 1, i8* [[A_GEP_17]], align 1
+; CHECK-NEXT: call void @memset_pattern16(i8* [[A]], i8* [[PATTERN:%.*]], i64 17)
+; CHECK-NEXT: ret void
+;
+entry:
+ %a.gep.1 = getelementptr i8, i8* %a, i32 1
+ store i8 0, i8* %a.gep.1
+ %a.gep.17 = getelementptr i8, i8* %a, i32 17
+ store i8 1, i8* %a.gep.17
+ call void @memset_pattern16(i8* %a, i8* %pattern, i64 17)
+ ret void
+}
+
+define void @test_memset_pattern16_variable_size(i8* noalias %a, i8* noalias %pattern, i64 %n) {
+; CHECK-LABEL: @test_memset_pattern16_variable_size(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[A_GEP_1:%.*]] = getelementptr i8, i8* [[A:%.*]], i32 1
+; CHECK-NEXT: store i8 0, i8* [[A_GEP_1]], align 1
+; CHECK-NEXT: [[A_GEP_17:%.*]] = getelementptr i8, i8* [[A]], i32 17
+; CHECK-NEXT: store i8 1, i8* [[A_GEP_17]], align 1
+; CHECK-NEXT: call void @memset_pattern16(i8* [[A]], i8* [[PATTERN:%.*]], i64 [[N:%.*]])
+; CHECK-NEXT: ret void
+;
+entry:
+ %a.gep.1 = getelementptr i8, i8* %a, i32 1
+ store i8 0, i8* %a.gep.1
+ %a.gep.17 = getelementptr i8, i8* %a, i32 17
+ store i8 1, i8* %a.gep.17
+ call void @memset_pattern16(i8* %a, i8* %pattern, i64 %n)
+ ret void
+}
More information about the llvm-commits
mailing list