/* 
 * File:   transformersaturation.h
 * Author: pgess <v.melnychenko@xreate.org>
 *
 * Created on March 25, 2017, 9:59 PM
 */

#ifndef TRANSFORMERSATURATION_H
#define TRANSFORMERSATURATION_H

#include "transformations.h"

namespace xreate {    namespace compilation {
    
class TransformerSaturation: public Transformer{
public:    
    TransformerSaturation(llvm::BasicBlock* allocationBlock, TransformationsManager* manager);
    ~TransformerSaturation();
    
    llvm::Value* transform(const Expression& expression, llvm::Value* raw, const Context& ctx) override;

    void processBreak(const Context& ctx);
    
    void allocateFlag(const Context& ctx);
    bool insertSaturationChecks(llvm::BasicBlock* blockContinue, llvm::BasicBlock* blockExit, const Context& ctx);

private:
    TransformationsManager* man;
    TransformerSaturation* oldInstance = nullptr;
    
    llvm::BasicBlock* blockAllocation;
    
    llvm::Value* constTrue;
    llvm::Value* constFalse;
    llvm::Value* flagSaturation = nullptr;
};

template <> 
struct TransformerInfo<TransformerSaturation> {
    static const unsigned int id = 0;
};

} }

#endif /* TRANSFORMERSATURATION_H */