Goose  Artifact [0ee4eedf7a]

Artifact 0ee4eedf7acfbff345ca78ea15f21b5f6d72cde189bc74bbab95ec3e10ef3e4a:

• File bs/codegen/module.h — part of check-in [59b1c58c70] at 2019-08-01 20:25:33 on branch trunk —
  • CFGs keep track of the number of temporaries that they use
  • Temporaries indices are updated when appending a CFG to another, to avoid collisions
  • Phi now stores its result into a new temporary, instead of returning it directly (Phi has to be at the beginning of a basic block so we can't attach it directly to a value)
  (user: achavasse size: 2956)

#ifndef EMPATHY_CODEGEN_MODULE_H
#define EMPATHY_CODEGEN_MODULE_H

namespace llvm
{
    class TargetMachine;
}

namespace empathy::codegen
{
    class Module
    {
        public:
            Module( const string& name );

            bool setupTarget();
            void dumpAsLlvmIr( const string& filename ) const;

            llvm::FunctionType* getOrCreateFuncType( const Context& c, const builtins::FuncType& ftype );

            llvm::Function* buildFuncProto( const Context& c, const builtins::Func& func, const string& name,
                llvm::Function::LinkageTypes linkageType );

            llvm::Function* getOrCreateFunc( const Context& c, const builtins::Func& func );
            llvm::Function* getOrCreateFunc( const Context& c, const builtins::Func& func, const string& name,
                llvm::Function::LinkageTypes linkageType );

            void runOptimizationPasses();
            bool emitToFile( const string& filename, llvm::TargetMachine::CodeGenFileType type );

        private:
            struct FuncInfos
            {
                llvm::Function* pllvmFunc = nullptr;
                llvm::SmallVector< llvm::Value*, 4 > temporaries;
            };

            llvm::BasicBlock* buildBasicBlock( const Context& c, FuncInfos& fi, const ptr< llr::BasicBlock >& pBB );

            llvm::Value* buildValue( const Context& c, FuncInfos& fi, const Value& val );

            llvm::Value* buildInstruction( const Context& c, FuncInfos& fi, const llr::Instruction& instr );
            llvm::Value* buildInstruction( const Context& c, FuncInfos& fi, const llr::GetArg& ga );
            llvm::Value* buildInstruction( const Context& c, FuncInfos& fi, const llr::Call& call );
            llvm::Value* buildInstruction( const Context& c, FuncInfos& fi, const llr::CreateTemporary& ct );
            llvm::Value* buildInstruction( const Context& c, FuncInfos& fi, const llr::Phi& p );
            llvm::Value* buildInstruction( const Context& c, FuncInfos& fi, const llr::LoadConstInt& lci );
            llvm::Value* buildInstruction( const Context& c, FuncInfos& fi, const llr::LoadConstStr& lcs );

            llvm::Value* buildInstruction( const Context& c, FuncInfos& fi, const llr::Xor& bo );

            bool buildTerminator( const Context& c, FuncInfos& fi, const llr::Terminator& terminator );
            bool buildTerminator( const Context& c, FuncInfos& fi, const llr::Ret& r );
            bool buildTerminator( const Context& c, FuncInfos& fi, const llr::Branch& b );
            bool buildTerminator( const Context& c, FuncInfos& fi, const llr::CondBranch& cb );

            llvm::Value* createTemporary( FuncInfos& fi, uint32_t index, llvm::Value* pValue ) const;

            llvm::Module m_llvmModule;
            llvm::IRBuilder<> m_llvmBuilder;
            llvm::TargetMachine* m_targetMachine = nullptr;

            unordered_map< string, llvm::GlobalVariable* > m_strings;
    };
}

#endif