view tools/binding/llvm-opt.cpp @ 1275:bedf0bfb8fdb

Implement first D-specific optimization pass: -simplify-drtcalls. It uses the machinery of the standard -simplify-libcalls pass, but optimizes calls to the D runtime instead of calls to C libraries. At the moment, these optimizations are implemented by this pass: - Avoid the runtime call for `arr.length = newlen` if it can determine that the new length isn't longer than the old one. - Ditto for `cast(T[]) arr` if it will clearly always succeed. (e.g. if the length of the original array is zero, or if the old element size is a multiple of the new element size)
author Frits van Bommel <fvbommel wxs.nl>
date Tue, 28 Apr 2009 21:58:06 +0200
parents 1ba61de8796b
children
line wrap: on
line source

// Optimizer functionality for the LLVM D binding.
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
#include "llvm/PassManager.h"
#include "llvm/LinkAllPasses.h"
#include "llvm/Analysis/LoopPass.h"
#include "llvm/Target/TargetData.h"
#include "llvm-c/Core.h"

using namespace llvm;

extern "C" {

void LLVMOptimizeModule(LLVMModuleRef M, int doinline)
{
    Module* m = unwrap(M);

    PassManager pm;
    pm.add(new TargetData(m));

    //pm.add(createStripDeadPrototypesPass());
    pm.add(createGlobalDCEPass());

    pm.add(createRaiseAllocationsPass());
    pm.add(createCFGSimplificationPass());
    pm.add(createPromoteMemoryToRegisterPass());
    pm.add(createGlobalOptimizerPass());
    pm.add(createGlobalDCEPass());

    pm.add(createIPConstantPropagationPass());
    pm.add(createDeadArgEliminationPass());
    pm.add(createInstructionCombiningPass());
    pm.add(createCFGSimplificationPass());
    pm.add(createPruneEHPass());

    if (doinline)
        pm.add(createFunctionInliningPass());

    pm.add(createArgumentPromotionPass());
    pm.add(createTailDuplicationPass());
    pm.add(createInstructionCombiningPass());
    pm.add(createCFGSimplificationPass());
    pm.add(createScalarReplAggregatesPass());
    pm.add(createInstructionCombiningPass());
    pm.add(createCondPropagationPass());

    pm.add(createTailCallEliminationPass());
    pm.add(createCFGSimplificationPass());
    pm.add(createReassociatePass());
    pm.add(createLoopRotatePass());
    pm.add(createLICMPass());
    pm.add(createLoopUnswitchPass());
    pm.add(createInstructionCombiningPass());
    pm.add(createIndVarSimplifyPass());
    pm.add(createLoopUnrollPass());
    pm.add(createInstructionCombiningPass());
    pm.add(createGVNPass());
    pm.add(createSCCPPass());

    pm.add(createInstructionCombiningPass());
    pm.add(createCondPropagationPass());

    pm.add(createDeadStoreEliminationPass());
    pm.add(createAggressiveDCEPass());
    pm.add(createCFGSimplificationPass());
    pm.add(createSimplifyLibCallsPass());
    pm.add(createDeadTypeEliminationPass());
    pm.add(createConstantMergePass());

    pm.run(*m);
}

}