lib/codegen/BoundsEmitter.h

Go to the documentation of this file.

//===-- codegen/BoundsEmitter.h ------------------------------- -*- C++ -*-===//
//
// This file is distributed under the MIT license. See LICENSE.txt for details.
//
// Copyright (C) 2009, Stephen Wilson
//
//===----------------------------------------------------------------------===//

//===----------------------------------------------------------------------===//
//===----------------------------------------------------------------------===//

#ifndef COMMA_CODEGEN_BOUNDSEMITTER_HDR_GUARD
#define COMMA_CODEGEN_BOUNDSEMITTER_HDR_GUARD

#include "comma/ast/AstBase.h"

#include "llvm/Support/IRBuilder.h"

namespace comma {

class CodeGen;
class CodeGenRoutine;
class CodeGenTypes;
class Range;

class BoundsEmitter {

public:
    BoundsEmitter(CodeGenRoutine &CGR);

    typedef std::pair<llvm::Value*, llvm::Value*> LUPair;

    const llvm::StructType *getType(const ArrayType *arrTy);

    static llvm::Value *getLowerBound(llvm::IRBuilder<> &Builder,
                                      llvm::Value *bounds, unsigned index) {
        llvm::Value *res;
        index = 2 * index;
        if (llvm::isa<llvm::PointerType>(bounds->getType())) {
            res = Builder.CreateConstInBoundsGEP2_32(bounds, 0, index);
            res = Builder.CreateLoad(res);
        }
        else
            res = Builder.CreateExtractValue(bounds, index);
        return res;
    }

    static llvm::Value *getUpperBound(llvm::IRBuilder<> &Builder,
                                      llvm::Value *bounds, unsigned index) {
        llvm::Value *res;
        index = 2 * index + 1;
        if (llvm::isa<llvm::PointerType>(bounds->getType())) {
            res = Builder.CreateConstInBoundsGEP2_32(bounds, 0, index);
            res = Builder.CreateLoad(res);
        }
        else
            res = Builder.CreateExtractValue(bounds, index);
        return res;
    }

    static LUPair getBounds(llvm::IRBuilder<> &Builder, llvm::Value *bounds,
                            unsigned index) {
        std::pair<llvm::Value*, llvm::Value*> res;
        res.first = getLowerBound(Builder, bounds, index);
        res.second = getUpperBound(Builder, bounds, index);
        return res;
    }

    llvm::Value *synthScalarBounds(llvm::IRBuilder<> &Builder,
                                   const DiscreteType *type);

    LUPair getScalarBounds(llvm::IRBuilder<> &Builder,
                           const DiscreteType *type);

    llvm::Value *getLowerBound(llvm::IRBuilder<> &Builder,
                               const DiscreteType *type);

    llvm::Value *getUpperBound(llvm::IRBuilder<> &Builder,
                               const DiscreteType *type);

    llvm::Value *getLowerBound(llvm::IRBuilder<> &Builder, const Range *range);

    llvm::Value *getUpperBound(llvm::IRBuilder<> &Builder, const Range *range);

    llvm::Value *synthRange(llvm::IRBuilder<> &Builder, const Range *range);

    llvm::Value *synthRange(llvm::IRBuilder<> &Builder,
                            llvm::Value *lower, llvm::Value *upper);

    LUPair getRange(llvm::IRBuilder<> &Builder, const Range *range);

    llvm::Value *computeBoundLength(llvm::IRBuilder<> &Builder,
                                    llvm::Value *bounds, unsigned index);

    llvm::Value *computeTotalBoundLength(llvm::IRBuilder<> &Builder,
                                         llvm::Value *bounds);

    llvm::Value *computeIsNull(llvm::IRBuilder<> &Builder,
                               llvm::Value *bounds, unsigned index);

    llvm::Value *synthArrayBounds(llvm::IRBuilder<> &Builder, ArrayType *arrTy);

    llvm::Constant *synthStaticArrayBounds(llvm::IRBuilder<> &Builder,
                                           ArrayType *arrTy);

    llvm::Value *synthAggregateBounds(llvm::IRBuilder<> &Builder,
                                      AggregateExpr *agg,
                                      llvm::Value *dst = 0);

private:
    CodeGenRoutine &CGR;        // Routine generator.
    CodeGen &CG;                // Code generator.
    CodeGenTypes &CGT;          // Type generator.
};

} // end comma namespace.

#endif

---