projects/ldc: gen/passes/SimplifyDRuntimeCalls.cpp annotate

annotate gen/passes/SimplifyDRuntimeCalls.cpp @ 1329:e5b57fd8307c

Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are equal and alias analysis says it's safe.

author	Frits van Bommel <fvbommel wxs.nl>
date	Sun, 10 May 2009 04:18:14 +0200
parents	c32e27f9a61d
children	f86fd3b77285

rev	line source
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	1 //===- SimplifyDRuntimeCalls - Optimize calls to the D runtime library ----===//
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	2 //
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	3 // The LLVM D Compiler
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	4 //
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	5 // This file is distributed under the University of Illinois Open Source
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	6 // License. See LICENSE.TXT for details.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	7 //
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	8 //===----------------------------------------------------------------------===//
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	9 //
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	10 // This file implements a simple pass that applies a variety of small
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	11 // optimizations for calls to specific functions in the D runtime.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	12 //
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	13 // The machinery was copied from the standard -simplify-libcalls LLVM pass.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	14 //
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	15 //===----------------------------------------------------------------------===//
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	16
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	17 #define DEBUG_TYPE "simplify-drtcalls"
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	18
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	19 #include "Passes.h"
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	20
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	21 #include "llvm/Pass.h"
1329 e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	22 #include "llvm/Intrinsics.h"
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	23 #include "llvm/Support/IRBuilder.h"
1329 e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	24 #include "llvm/Analysis/AliasAnalysis.h"
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	25 #include "llvm/Analysis/ValueTracking.h"
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	26 #include "llvm/Target/TargetData.h"
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	27 #include "llvm/ADT/StringMap.h"
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	28 #include "llvm/ADT/Statistic.h"
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	29 #include "llvm/Support/Compiler.h"
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	30 #include "llvm/Support/Debug.h"
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	31 using namespace llvm;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	32
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	33 STATISTIC(NumSimplified, "Number of runtime calls simplified");
1319 c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	34 STATISTIC(NumDeleted, "Number of runtime calls deleted");
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	35
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	36 //===----------------------------------------------------------------------===//
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	37 // Optimizer Base Class
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	38 //===----------------------------------------------------------------------===//
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	39
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	40 /// This class is the abstract base class for the set of optimizations that
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	41 /// corresponds to one library call.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	42 namespace {
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	43 class VISIBILITY_HIDDEN LibCallOptimization {
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	44 protected:
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	45 Function *Caller;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	46 const TargetData *TD;
1329 e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	47 AliasAnalysis *AA;
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	48
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	49 /// CastToCStr - Return V if it is an i8, otherwise cast it to i8.
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	50 Value CastToCStr(Value V, IRBuilder<> &B);
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	51
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	52 /// EmitMemCpy - Emit a call to the memcpy function to the builder. This
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	53 /// always expects that the size has type 'intptr_t' and Dst/Src are pointers.
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	54 Value EmitMemCpy(Value Dst, Value Src, Value Len,
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	55 unsigned Align, IRBuilder<> &B);
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	56 public:
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	57 LibCallOptimization() { }
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	58 virtual ~LibCallOptimization() {}
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	59
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	60 /// CallOptimizer - This pure virtual method is implemented by base classes to
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	61 /// do various optimizations. If this returns null then no transformation was
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	62 /// performed. If it returns CI, then it transformed the call and CI is to be
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	63 /// deleted. If it returns something else, replace CI with the new value and
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	64 /// delete CI.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	65 virtual Value CallOptimizer(Function Callee, CallInst *CI, IRBuilder<> &B)=0;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	66
1329 e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	67 Value OptimizeCall(CallInst CI, const TargetData &TD,
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	68 AliasAnalysis& AA, IRBuilder<> &B) {
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	69 Caller = CI->getParent()->getParent();
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	70 this->TD = &TD;
1329 e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	71 this->AA = &AA;
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	72 return CallOptimizer(CI->getCalledFunction(), CI, B);
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	73 }
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	74 };
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	75 } // End anonymous namespace.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	76
1329 e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	77 /// CastToCStr - Return V if it is an i8, otherwise cast it to i8.
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	78 Value LibCallOptimization::CastToCStr(Value V, IRBuilder<> &B) {
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	79 return B.CreateBitCast(V, PointerType::getUnqual(Type::Int8Ty), "cstr");
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	80 }
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	81
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	82 /// EmitMemCpy - Emit a call to the memcpy function to the builder. This always
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	83 /// expects that the size has type 'intptr_t' and Dst/Src are pointers.
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	84 Value LibCallOptimization::EmitMemCpy(Value Dst, Value Src, Value Len,
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	85 unsigned Align, IRBuilder<> &B) {
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	86 Module *M = Caller->getParent();
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	87 Intrinsic::ID IID = Intrinsic::memcpy;
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	88 const Type *Tys[1];
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	89 Tys[0] = Len->getType();
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	90 Value *MemCpy = Intrinsic::getDeclaration(M, IID, Tys, 1);
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	91 return B.CreateCall4(MemCpy, CastToCStr(Dst, B), CastToCStr(Src, B), Len,
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	92 ConstantInt::get(Type::Int32Ty, Align));
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	93 }
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	94
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	95 //===----------------------------------------------------------------------===//
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	96 // Miscellaneous LibCall Optimizations
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	97 //===----------------------------------------------------------------------===//
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	98
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	99 namespace {
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	100 //===---------------------------------------===//
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	101 // '_d_arraysetlengthT'/'_d_arraysetlengthiT' Optimizations
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	102
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	103 /// ArraySetLengthOpt - remove libcall for arr.length = N if N <= arr.length
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	104 struct VISIBILITY_HIDDEN ArraySetLengthOpt : public LibCallOptimization {
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	105 virtual Value CallOptimizer(Function Callee, CallInst *CI, IRBuilder<> &B) {
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	106 // Verify we have a reasonable prototype for _d_arraysetlength[i]T
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	107 const FunctionType *FT = Callee->getFunctionType();
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	108 if (Callee->arg_size() != 4 \|\| !isa<PointerType>(FT->getReturnType()) \|\|
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	109 !isa<IntegerType>(FT->getParamType(1)) \|\|
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	110 FT->getParamType(1) != FT->getParamType(2) \|\|
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	111 FT->getParamType(3) != FT->getReturnType())
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	112 return 0;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	113
1319 c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	114 // Whether or not this allocates is irrelevant if the result isn't used.
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	115 // Just delete if that's the case.
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	116 if (CI->use_empty())
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	117 return CI;
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	118
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	119 Value* NewLen = CI->getOperand(2);
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	120 if (Constant* NewCst = dyn_cast<Constant>(NewLen)) {
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	121 Value* Data = CI->getOperand(4);
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	122
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	123 // For now, we just catch the simplest of cases.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	124 //
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	125 // TODO: Implement a more general way to compare old and new
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	126 // lengths, to catch cases like "arr.length = arr.length - 1;"
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	127 // (But beware of unsigned overflow! For example, we can't
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	128 // safely transform that example if arr.length may be 0)
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	129
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	130 // Setting length to 0 never reallocates, so replace by data argument
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	131 if (NewCst->isNullValue())
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	132 return Data;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	133
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	134 // If both lengths are constant integers, see if NewLen <= OldLen
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	135 Value* OldLen = CI->getOperand(3);
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	136 if (ConstantInt* OldInt = dyn_cast<ConstantInt>(OldLen))
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	137 if (ConstantInt* NewInt = dyn_cast<ConstantInt>(NewCst))
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	138 if (NewInt->getValue().ule(OldInt->getValue()))
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	139 return Data;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	140 }
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	141 return 0;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	142 }
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	143 };
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	144
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	145 /// ArrayCastLenOpt - remove libcall for cast(T[]) arr if it's safe to do so.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	146 struct VISIBILITY_HIDDEN ArrayCastLenOpt : public LibCallOptimization {
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	147 virtual Value CallOptimizer(Function Callee, CallInst *CI, IRBuilder<> &B) {
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	148 // Verify we have a reasonable prototype for _d_array_cast_len
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	149 const FunctionType *FT = Callee->getFunctionType();
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	150 const Type* RetTy = FT->getReturnType();
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	151 if (Callee->arg_size() != 3 \|\| !isa<IntegerType>(RetTy) \|\|
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	152 FT->getParamType(1) != RetTy \|\| FT->getParamType(2) != RetTy)
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	153 return 0;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	154
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	155 Value* OldLen = CI->getOperand(1);
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	156 Value* OldSize = CI->getOperand(2);
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	157 Value* NewSize = CI->getOperand(3);
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	158
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	159 // If the old length was zero, always return zero.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	160 if (Constant* LenCst = dyn_cast<Constant>(OldLen))
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	161 if (LenCst->isNullValue())
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	162 return OldLen;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	163
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	164 // Equal sizes are much faster to check for, so do so now.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	165 if (OldSize == NewSize)
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	166 return OldLen;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	167
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	168 // If both sizes are constant integers, see if OldSize is a multiple of NewSize
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	169 if (ConstantInt* OldInt = dyn_cast<ConstantInt>(OldSize))
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	170 if (ConstantInt* NewInt = dyn_cast<ConstantInt>(NewSize)) {
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	171 // Don't crash on NewSize == 0, even though it shouldn't happen.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	172 if (NewInt->isNullValue())
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	173 return 0;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	174
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	175 APInt Quot, Rem;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	176 APInt::udivrem(OldInt->getValue(), NewInt->getValue(), Quot, Rem);
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	177 if (Rem == 0)
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	178 return B.CreateMul(OldLen, ConstantInt::get(Quot));
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	179 }
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	180 return 0;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	181 }
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	182 };
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	183
1286 23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	184 /// DeleteUnusedOpt - remove libcall if the return value is unused.
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	185 struct VISIBILITY_HIDDEN DeleteUnusedOpt : public LibCallOptimization {
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	186 virtual Value CallOptimizer(Function Callee, CallInst *CI, IRBuilder<> &B) {
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	187 if (CI->use_empty())
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	188 return CI;
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	189 return 0;
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	190 }
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	191 };
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	192
1329 e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	193 /// ArraySliceCopyOpt - Turn slice copies into llvm.memcpy when safe
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	194 struct VISIBILITY_HIDDEN ArraySliceCopyOpt : public LibCallOptimization {
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	195 virtual Value CallOptimizer(Function Callee, CallInst *CI, IRBuilder<> &B) {
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	196 // Verify we have a reasonable prototype for _d_array_slice_copy
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	197 const FunctionType *FT = Callee->getFunctionType();
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	198 const Type* VoidPtrTy = PointerType::getUnqual(Type::Int8Ty);
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	199 if (Callee->arg_size() != 4 \|\| FT->getReturnType() != Type::VoidTy \|\|
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	200 FT->getParamType(0) != VoidPtrTy \|\|
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	201 !isa<IntegerType>(FT->getParamType(1)) \|\|
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	202 FT->getParamType(2) != VoidPtrTy \|\|
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	203 FT->getParamType(3) != FT->getParamType(1))
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	204 return 0;
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	205
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	206 Value* Size = CI->getOperand(2);
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	207
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	208 // Check the lengths match
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	209 if (CI->getOperand(4) != Size)
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	210 return 0;
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	211
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	212 // Assume unknown size unless we have constant size (that fits in an uint)
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	213 unsigned Sz = ~0U;
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	214 if (ConstantInt* Int = dyn_cast<ConstantInt>(Size))
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	215 if (Int->getValue().isIntN(32))
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	216 Sz = Int->getValue().getZExtValue();
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	217
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	218 // Check if the pointers may alias
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	219 if (AA->alias(CI->getOperand(1), Sz, CI->getOperand(3), Sz))
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	220 return 0;
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	221
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	222 // Equal length and the pointers definitely don't alias, so it's safe to
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	223 // replace the call with memcpy
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	224 return EmitMemCpy(CI->getOperand(1), CI->getOperand(3), Size, 0, B);
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	225 }
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	226 };
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	227
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	228 // TODO: More optimizations! :)
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	229
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	230 } // end anonymous namespace.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	231
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	232 //===----------------------------------------------------------------------===//
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	233 // SimplifyDRuntimeCalls Pass Implementation
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	234 //===----------------------------------------------------------------------===//
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	235
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	236 namespace {
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	237 /// This pass optimizes library functions from the D runtime as used by LDC.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	238 ///
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	239 class VISIBILITY_HIDDEN SimplifyDRuntimeCalls : public FunctionPass {
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	240 StringMap<LibCallOptimization*> Optimizations;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	241
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	242 // Array operations
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	243 ArraySetLengthOpt ArraySetLength;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	244 ArrayCastLenOpt ArrayCastLen;
1329 e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	245 ArraySliceCopyOpt ArraySliceCopy;
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	246
1286 23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	247 // GC allocations
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	248 DeleteUnusedOpt DeleteUnused;
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	249
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	250 public:
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	251 static char ID; // Pass identification
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	252 SimplifyDRuntimeCalls() : FunctionPass(&ID) {}
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	253
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	254 void InitOptimizations();
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	255 bool runOnFunction(Function &F);
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	256
1329 e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	257 bool runOnce(Function &F, const TargetData& TD, AliasAnalysis& AA);
1319 c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	258
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	259 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	260 AU.addRequired<TargetData>();
1329 e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	261 AU.addRequired<AliasAnalysis>();
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	262 }
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	263 };
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	264 char SimplifyDRuntimeCalls::ID = 0;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	265 } // end anonymous namespace.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	266
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	267 static RegisterPass<SimplifyDRuntimeCalls>
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	268 X("simplify-drtcalls", "Simplify calls to D runtime");
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	269
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	270 // Public interface to the pass.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	271 FunctionPass *createSimplifyDRuntimeCalls() {
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	272 return new SimplifyDRuntimeCalls();
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	273 }
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	274
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	275 /// Optimizations - Populate the Optimizations map with all the optimizations
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	276 /// we know.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	277 void SimplifyDRuntimeCalls::InitOptimizations() {
1286 23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	278 // Some array-related optimizations
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	279 Optimizations["_d_arraysetlengthT"] = &ArraySetLength;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	280 Optimizations["_d_arraysetlengthiT"] = &ArraySetLength;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	281 Optimizations["_d_array_cast_len"] = &ArrayCastLen;
1329 e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	282 Optimizations["_d_array_slice_copy"] = &ArraySliceCopy;
1286 23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	283
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	284 /* Delete calls to runtime functions which aren't needed if their result is
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	285 * unused. That comes down to functions that don't do anything but
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	286 * GC-allocate and initialize some memory.
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	287 * We don't need to do this for functions which are marked 'readnone' or
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	288 * 'readonly', since LLVM doesn't need our help figuring out when those can
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	289 * be deleted.
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	290 * (We can't mark allocating calls as readonly/readnone because they don't
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	291 * return the same pointer every time when called with the same arguments)
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	292 */
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	293 Optimizations["_d_allocmemoryT"] = &DeleteUnused;
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	294 Optimizations["_d_newarrayT"] = &DeleteUnused;
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	295 Optimizations["_d_newarrayiT"] = &DeleteUnused;
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	296 Optimizations["_d_newarrayvT"] = &DeleteUnused;
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	297 Optimizations["_d_newarraymT"] = &DeleteUnused;
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	298 Optimizations["_d_newarraymiT"] = &DeleteUnused;
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	299 Optimizations["_d_newarraymvT"] = &DeleteUnused;
23b23b74e326 Remove calls to some runtime functions if their results are unused Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	300 Optimizations["_d_allocclass"] = &DeleteUnused;
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	301 }
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	302
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	303
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	304 /// runOnFunction - Top level algorithm.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	305 ///
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	306 bool SimplifyDRuntimeCalls::runOnFunction(Function &F) {
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	307 if (Optimizations.empty())
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	308 InitOptimizations();
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	309
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	310 const TargetData &TD = getAnalysis<TargetData>();
1329 e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	311 AliasAnalysis &AA = getAnalysis<AliasAnalysis>();
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	312
1319 c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	313 // Iterate to catch opportunities opened up by other optimizations,
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	314 // such as calls that are only used as arguments to unused calls:
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	315 // When the second call gets deleted the first call will become unused, but
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	316 // without iteration we wouldn't notice if we inspected the first call
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	317 // before the second one.
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	318 bool EverChanged = false;
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	319 bool Changed;
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	320 do {
1329 e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	321 Changed = runOnce(F, TD, AA);
1319 c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	322 EverChanged \|= Changed;
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	323 } while (Changed);
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	324
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	325 return EverChanged;
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	326 }
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	327
1329 e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	328 bool SimplifyDRuntimeCalls::runOnce(Function &F, const TargetData& TD, AliasAnalysis& AA) {
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	329 IRBuilder<> Builder;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	330
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	331 bool Changed = false;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	332 for (Function::iterator BB = F.begin(), E = F.end(); BB != E; ++BB) {
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	333 for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ) {
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	334 // Ignore non-calls.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	335 CallInst *CI = dyn_cast<CallInst>(I++);
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	336 if (!CI) continue;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	337
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	338 // Ignore indirect calls and calls to non-external functions.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	339 Function *Callee = CI->getCalledFunction();
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	340 if (Callee == 0 \|\| !Callee->isDeclaration() \|\|
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	341 !(Callee->hasExternalLinkage() \|\| Callee->hasDLLImportLinkage()))
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	342 continue;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	343
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	344 // Ignore unknown calls.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	345 const char *CalleeName = Callee->getNameStart();
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	346 StringMap<LibCallOptimization*>::iterator OMI =
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	347 Optimizations.find(CalleeName, CalleeName+Callee->getNameLen());
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	348 if (OMI == Optimizations.end()) continue;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	349
1329 e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	350 DEBUG(DOUT << "SimplifyDRuntimeCalls inspecting: " << *CI);
e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	351
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	352 // Set the builder to the instruction after the call.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	353 Builder.SetInsertPoint(BB, I);
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	354
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	355 // Try to optimize this call.
1329 e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	356 Value *Result = OMI->second->OptimizeCall(CI, TD, AA, Builder);
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	357 if (Result == 0) continue;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	358
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	359 DEBUG(DOUT << "SimplifyDRuntimeCalls simplified: " << *CI;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	360 DOUT << " into: " << *Result << "\n");
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	361
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	362 // Something changed!
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	363 Changed = true;
1319 c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	364
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	365 if (Result == CI) {
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	366 assert(CI->use_empty());
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	367 ++NumDeleted;
1329 e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	368 AA.deleteValue(CI);
1319 c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	369 } else {
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	370 ++NumSimplified;
1329 e5b57fd8307c Turn new _d_array_slice_copy runtime call into memcpy when the slice lengths are Frits van Bommel <fvbommel wxs.nl> parents: 1319 diff changeset	371 AA.replaceWithNewValue(CI, Result);
1319 c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	372
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	373 if (!CI->use_empty())
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	374 CI->replaceAllUsesWith(Result);
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	375
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	376 if (!Result->hasName())
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	377 Result->takeName(CI);
c32e27f9a61d Some tweaks to -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1286 diff changeset	378 }
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	379
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	380 // Inspect the instruction after the call (which was potentially just
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	381 // added) next.
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	382 I = CI; ++I;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	383
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	384 CI->eraseFromParent();
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	385 }
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	386 }
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	387 return Changed;
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: diff changeset	388 }

Mercurial > projects > ldc

annotate gen/passes/SimplifyDRuntimeCalls.cpp @ 1329:e5b57fd8307c