view tools/binding/llvm-opt.cpp @ 1499:df11cdec45a2

Another shot at fixing the issues with (constant) struct literals and their addresses. See DMD2682, #218, #324. The idea is to separate the notion of const from 'this variable can always be replaced with its initializer' in the frontend. To do that, I introduced Declaration::isSameAsInitializer, which is overridden in VarDeclaration to return false for constants that have a struct literal initializer. So {{{ const S s = S(5); void foo() { auto ps = &s; } // is no longer replaced by void foo() { auto ps = &(S(5)); } }}} To make taking the address of a struct constant with a struct-initializer outside of function scope possible, I made sure that AddrExp::optimize doesn't try to run the argument's optimization with WANTinterpret - that'd again replace the constant with a struct literal temporary.
author Christian Kamm <kamm incasoftware de>
date Sun, 14 Jun 2009 19:49:58 +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);
}

}