view tools/binding/llvm-opt.cpp @ 1605:1d5721f9ae18

[WIP] Merge DMD r251: bugzilla 111 (appending a dchar to a char[]) This patch needs some work in the code generation, because of the runtime changes (functions "_d_arrayappendcd" and "_d_arrayappendwd" are added). This doesn't affect existing code though, it just makes with patch a little useless, because something like this: char [] s; s ~= '\u6211'; That failed to compile with a nice error message previously to this change, now fails with and ugly error message (a failed assertion). Apparently there is a regression introduced by this patch too, when compiling Dil I get this assertion message: ldc: /home/luca/tesis/ldc/gen/statements.cpp:132: virtual void ReturnStatement::toIR(IRState*): Assertion `p->topfunc()->getReturnType() == llvm::Type::getVoidTy(gIR->context())' failed. 0 ldc 0x08a91628 Thank god we have bisecting capabilities in VCSs now ;) --- dmd/expression.c | 47 +++++++++++++++++++++++++++++++++++++++++------ 1 files changed, 41 insertions(+), 6 deletions(-)
author Leandro Lucarella <llucax@gmail.com>
date Wed, 06 Jan 2010 15:18:19 -0300
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);
}

}