From 3759efc650aa0fcc75de954d7de1649aca0d6f9d Mon Sep 17 00:00:00 2001 From: Scott Linder Date: Wed, 10 Oct 2018 16:35:47 +0000 Subject: [PATCH] Relax trivial cast requirements in CallPromotionUtils Differential Revision: https://reviews.llvm.org/D52792 llvm-svn: 344153 --- llvm/lib/Transforms/Utils/CallPromotionUtils.cpp | 14 +++--- .../Util/call-promotion-utils-ptrcast.ll | 50 ++++++++++++++++++++++ 2 files changed, 58 insertions(+), 6 deletions(-) create mode 100644 llvm/test/Transforms/Util/call-promotion-utils-ptrcast.ll diff --git a/llvm/lib/Transforms/Utils/CallPromotionUtils.cpp b/llvm/lib/Transforms/Utils/CallPromotionUtils.cpp index 6d18d06..261ab87 100644 --- a/llvm/lib/Transforms/Utils/CallPromotionUtils.cpp +++ b/llvm/lib/Transforms/Utils/CallPromotionUtils.cpp @@ -177,8 +177,8 @@ static void createRetBitCast(CallSite CS, Type *RetTy, CastInst **RetBitCast) { InsertBefore = &*std::next(CS.getInstruction()->getIterator()); // Bitcast the return value to the correct type. - auto *Cast = CastInst::Create(Instruction::BitCast, CS.getInstruction(), - RetTy, "", InsertBefore); + auto *Cast = CastInst::CreateBitOrPointerCast(CS.getInstruction(), RetTy, "", + InsertBefore); if (RetBitCast) *RetBitCast = Cast; @@ -321,12 +321,14 @@ bool llvm::isLegalToPromote(CallSite CS, Function *Callee, const char **FailureReason) { assert(!CS.getCalledFunction() && "Only indirect call sites can be promoted"); + auto &DL = Callee->getParent()->getDataLayout(); + // Check the return type. The callee's return value type must be bitcast // compatible with the call site's type. Type *CallRetTy = CS.getInstruction()->getType(); Type *FuncRetTy = Callee->getReturnType(); if (CallRetTy != FuncRetTy) - if (!CastInst::isBitCastable(FuncRetTy, CallRetTy)) { + if (!CastInst::isBitOrNoopPointerCastable(FuncRetTy, CallRetTy, DL)) { if (FailureReason) *FailureReason = "Return type mismatch"; return false; @@ -351,7 +353,7 @@ bool llvm::isLegalToPromote(CallSite CS, Function *Callee, Type *ActualTy = CS.getArgument(I)->getType(); if (FormalTy == ActualTy) continue; - if (!CastInst::isBitCastable(ActualTy, FormalTy)) { + if (!CastInst::isBitOrNoopPointerCastable(ActualTy, FormalTy, DL)) { if (FailureReason) *FailureReason = "Argument type mismatch"; return false; @@ -396,8 +398,8 @@ Instruction *llvm::promoteCall(CallSite CS, Function *Callee, Type *FormalTy = CalleeType->getParamType(ArgNo); Type *ActualTy = Arg->getType(); if (FormalTy != ActualTy) { - auto *Cast = CastInst::Create(Instruction::BitCast, Arg, FormalTy, "", - CS.getInstruction()); + auto *Cast = CastInst::CreateBitOrPointerCast(Arg, FormalTy, "", + CS.getInstruction()); CS.setArgument(ArgNo, Cast); } } diff --git a/llvm/test/Transforms/Util/call-promotion-utils-ptrcast.ll b/llvm/test/Transforms/Util/call-promotion-utils-ptrcast.ll new file mode 100644 index 0000000..351ec29 --- /dev/null +++ b/llvm/test/Transforms/Util/call-promotion-utils-ptrcast.ll @@ -0,0 +1,50 @@ +; RUN: opt -S -pgo-icall-prom -icp-total-percent-threshold=0 -icp-max-prom=4 < %s 2>&1 | FileCheck %s + +; Test that CallPromotionUtils will promote calls which require pointer casts. + +@foo = common global i64 (i64)* null, align 8 + +; Check ptrcast arguments. +define i64 @func1(i8* %a) { + ret i64 undef +} + +; Check ptrcast return. +define i8* @func2(i64 %a) { + ret i8* undef +} + +; Check ptrcast arguments and return. +define i8* @func3(i8 *%a) { + ret i8* undef +} + +; Check mixed ptrcast and bitcast. +define i8* @func4(double %f) { + ret i8* undef +} + +define i64 @bar() { + %tmp = load i64 (i64)*, i64 (i64)** @foo, align 8 + +; CHECK: [[ARG:%[0-9]+]] = bitcast i64 1 to double +; CHECK-NEXT: [[RET:%[0-9]+]] = call i8* @func4(double [[ARG]]) +; CHECK-NEXT: ptrtoint i8* [[RET]] to i64 + +; CHECK: [[RET:%[0-9]+]] = call i8* @func2(i64 1) +; CHECK-NEXT: ptrtoint i8* [[RET]] to i64 + +; CHECK: [[ARG:%[0-9]+]] = inttoptr i64 1 to i8* +; CHECK-NEXT: [[RET:%[0-9]+]] = call i8* @func3(i8* [[ARG]]) +; CHECK-NEXT: ptrtoint i8* [[RET]] to i64 + +; CHECK: [[ARG:%[0-9]+]] = inttoptr i64 1 to i8* +; CHECK-NEXT: call i64 @func1(i8* [[ARG]]) +; CHECK-NOT: ptrtoint +; CHECK-NOT: bitcast + + %call = call i64 %tmp(i64 1), !prof !1 + ret i64 %call +} + +!1 = !{!"VP", i32 0, i64 1600, i64 7651369219802541373, i64 1030, i64 -4377547752858689819, i64 410, i64 -6929281286627296573, i64 150, i64 -2545542355363006406, i64 10} -- 2.7.4