Skip to content
Snippets Groups Projects
  • Nora Abi Akar's avatar
    Modcc: Add vectorization support for conditionals (#930) · 31cae053
    Nora Abi Akar authored
    * Add support for conditionals with the SIMD printer by using `where_expresssions` to mask assignments to range variables that happen inside if/else blocks. Assignments to non-range variables are executed non-masked when correctness is ensured. 
    
    Fixes #836 
    31cae053
functioninliner.hpp 2.09 KiB
#pragma once

#include <sstream>

#include "scope.hpp"
#include "visitor.hpp"

expression_ptr inline_function_calls(std::string calling_func, BlockExpression* block);

class FunctionInliner : public BlockRewriterBase {
public:
    using BlockRewriterBase::visit;
    FunctionInliner(std::string calling_func) : BlockRewriterBase(), calling_func_(calling_func) {};
    FunctionInliner(scope_ptr s): BlockRewriterBase(s) {}

    virtual void visit(Expression *e)            override;
    virtual void visit(CallExpression *e)        override;
    virtual void visit(ConserveExpression *e)    override;
    virtual void visit(CompartmentExpression *e) override;
    virtual void visit(LinearExpression *e)      override;
    virtual void visit(AssignmentExpression* e)  override;
    virtual void visit(BinaryExpression* e)      override;
    virtual void visit(UnaryExpression* e)       override;
    virtual void visit(IfExpression* e)          override;
    virtual void visit(LocalDeclaration* e)      override;
    virtual void visit(NumberExpression* e)      override {};
    virtual void visit(IdentifierExpression* e)  override {};

    bool return_val_set() {return return_set_;};
    bool finished_inlining() {return !inlining_executed_;};

    ~FunctionInliner() {}

private:
    std::string inlining_func_, calling_func_;
    expression_ptr lhs_;
    std::map<std::string, expression_ptr> call_arg_map_;
    std::map<std::string, expression_ptr> local_arg_map_;
    scope_ptr scope_;

    // Tracks whether the return value of a function has been set
    bool return_set_ = true;

    // Tracks whether a function is being inlined
    bool inlining_in_progress_ = false;

    // Tracks whether a function has been inlined
    bool inlining_executed_ = false;

    void replace_args(Expression* e);

protected:
    virtual void reset() override {
        inlining_func_.clear();
        lhs_ = nullptr;
        call_arg_map_.clear();
        local_arg_map_.clear();
        scope_.reset();
        return_set_ = true;
        inlining_in_progress_ = false;
        inlining_executed_ = false;
        BlockRewriterBase::reset();
    }
};