From 863bc82a9a116edd09658a0d3c4a964609f053b6 Mon Sep 17 00:00:00 2001 From: David Bolvansky Date: Wed, 2 Oct 2019 22:49:20 +0000 Subject: [PATCH] [InstCombine] Transform bcopy to memmove bcopy is still widely used mainly for network apps. Sadly, LLVM has no optimizations for bcopy, but there are some for memmove. Since bcopy == memmove, it is profitable to transform bcopy to memmove and use current optimizations for memmove for free here. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@373537 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../llvm/Transforms/Utils/SimplifyLibCalls.h | 1 + lib/Transforms/Utils/SimplifyLibCalls.cpp | 8 ++++++ test/Transforms/InstCombine/bcopy.ll | 25 +++++++++++++++++++ 3 files changed, 34 insertions(+) create mode 100644 test/Transforms/InstCombine/bcopy.ll diff --git a/include/llvm/Transforms/Utils/SimplifyLibCalls.h b/include/llvm/Transforms/Utils/SimplifyLibCalls.h index b722c47c1ca..88c2ef787ad 100644 --- a/include/llvm/Transforms/Utils/SimplifyLibCalls.h +++ b/include/llvm/Transforms/Utils/SimplifyLibCalls.h @@ -181,6 +181,7 @@ private: Value *optimizeMemSet(CallInst *CI, IRBuilder<> &B); Value *optimizeRealloc(CallInst *CI, IRBuilder<> &B); Value *optimizeWcslen(CallInst *CI, IRBuilder<> &B); + Value *optimizeBCopy(CallInst *CI, IRBuilder<> &B); // Wrapper for all String/Memory Library Call Optimizations Value *optimizeStringMemoryLibCall(CallInst *CI, IRBuilder<> &B); diff --git a/lib/Transforms/Utils/SimplifyLibCalls.cpp b/lib/Transforms/Utils/SimplifyLibCalls.cpp index 3af754a3eb0..1fb4f28f336 100644 --- a/lib/Transforms/Utils/SimplifyLibCalls.cpp +++ b/lib/Transforms/Utils/SimplifyLibCalls.cpp @@ -2792,6 +2792,12 @@ Value *LibCallSimplifier::optimizePuts(CallInst *CI, IRBuilder<> &B) { return nullptr; } +Value *LibCallSimplifier::optimizeBCopy(CallInst *CI, IRBuilder<> &B) { + // bcopy(src, dst, n) -> llvm.memmove(dst, src, n) + return B.CreateMemMove(CI->getArgOperand(1), 1, CI->getArgOperand(0), 1, + CI->getArgOperand(2)); +} + bool LibCallSimplifier::hasFloatVersion(StringRef FuncName) { LibFunc Func; SmallString<20> FloatFuncName = FuncName; @@ -2870,6 +2876,8 @@ Value *LibCallSimplifier::optimizeStringMemoryLibCall(CallInst *CI, return optimizeRealloc(CI, Builder); case LibFunc_wcslen: return optimizeWcslen(CI, Builder); + case LibFunc_bcopy: + return optimizeBCopy(CI, Builder); default: break; } diff --git a/test/Transforms/InstCombine/bcopy.ll b/test/Transforms/InstCombine/bcopy.ll new file mode 100644 index 00000000000..6a53bad7eeb --- /dev/null +++ b/test/Transforms/InstCombine/bcopy.ll @@ -0,0 +1,25 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt < %s -instcombine -S | FileCheck %s + +declare void @bcopy(i8* nocapture readonly, i8* nocapture, i32) + +define void @bcopy_memmove(i8* nocapture readonly %a, i8* nocapture %b) { +; CHECK-LABEL: @bcopy_memmove( +; CHECK-NEXT: [[TMP1:%.*]] = bitcast i8* [[A:%.*]] to i64* +; CHECK-NEXT: [[TMP2:%.*]] = bitcast i8* [[B:%.*]] to i64* +; CHECK-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]], align 1 +; CHECK-NEXT: store i64 [[TMP3]], i64* [[TMP2]], align 1 +; CHECK-NEXT: ret void +; + tail call void @bcopy(i8* %a, i8* %b, i32 8) + ret void +} + +define void @bcopy_memmove2(i8* nocapture readonly %a, i8* nocapture %b, i32 %len) { +; CHECK-LABEL: @bcopy_memmove2( +; CHECK-NEXT: call void @llvm.memmove.p0i8.p0i8.i32(i8* align 1 [[B:%.*]], i8* align 1 [[A:%.*]], i32 [[LEN:%.*]], i1 false) +; CHECK-NEXT: ret void +; + tail call void @bcopy(i8* %a, i8* %b, i32 %len) + ret void +} -- 2.40.0