From 5fe151f98f02b2ab5543476d44c2f3dd52b01aa7 Mon Sep 17 00:00:00 2001 From: Florian Hahn Date: Wed, 1 Dec 2021 20:30:15 +0000 Subject: [PATCH] [DSE] Add libcall tests for functions only available on Darwin. Add a set of tests for memset_pattern{4,8,16} variants. --- .../DeadStoreElimination/libcalls-darwin.ll | 122 ++++++++++++++++++ 1 file changed, 122 insertions(+) create mode 100644 llvm/test/Transforms/DeadStoreElimination/libcalls-darwin.ll diff --git a/llvm/test/Transforms/DeadStoreElimination/libcalls-darwin.ll b/llvm/test/Transforms/DeadStoreElimination/libcalls-darwin.ll new file mode 100644 index 000000000000..76e595a1dbb3 --- /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 +}