/*
 * Copyright 2016 Google Inc.
 *
 * Use of this source code is governed by a BSD-style license that can be
 * found in the LICENSE file.
 */

#ifndef SKSL_CONSTRUCTOR
#define SKSL_CONSTRUCTOR

#include "include/private/SkTArray.h"
#include "src/sksl/SkSLIRGenerator.h"
#include "src/sksl/ir/SkSLExpression.h"

namespace SkSL {

/**
 * Represents the construction of a compound type, such as "float2(x, y)".
 *
 * Vector constructors will always consist of either exactly 1 scalar, or a collection of vectors
 * and scalars totalling exactly the right number of scalar components.
 *
 * Matrix constructors will always consist of either exactly 1 scalar, exactly 1 matrix, or a
 * collection of vectors and scalars totalling exactly the right number of scalar components.
 */
class Constructor final : public Expression {
public:
    static constexpr Kind kExpressionKind = Kind::kConstructor;

    // Use Constructor::Make to create constructor expressions.
    Constructor(int offset, const Type& type, ExpressionArray arguments)
        : INHERITED(offset, kExpressionKind, &type)
        , fArguments(std::move(arguments)) {}

    static std::unique_ptr<Expression> Make(const Context& context,
                                            int offset,
                                            const Type& type,
                                            ExpressionArray args);

    ExpressionArray& arguments() {
        return fArguments;
    }

    const ExpressionArray& arguments() const {
        return fArguments;
    }

    std::unique_ptr<Expression> constantPropagate(const IRGenerator& irGenerator,
                                                  const DefinitionMap& definitions) override;

    // If the passed-in expression is a literal, performs a constructor-conversion of the literal
    // value to the constructor's type and returns that converted value as a new literal. e.g., the
    // constructor expression `short(3.14)` would be represented as `FloatLiteral(3.14)` along with
    // type `Short`, and this would result in `IntLiteral(3, type=Short)`. Returns nullptr if the
    // expression is not a literal or the conversion cannot be made.
    static std::unique_ptr<Expression> SimplifyConversion(const Type& constructorType,
                                                          const Expression& expr);

    bool hasProperty(Property property) const override {
        for (const std::unique_ptr<Expression>& arg: this->arguments()) {
            if (arg->hasProperty(property)) {
                return true;
            }
        }
        return false;
    }

    std::unique_ptr<Expression> clone() const override {
        ExpressionArray cloned;
        cloned.reserve_back(this->arguments().size());
        for (const std::unique_ptr<Expression>& arg: this->arguments()) {
            cloned.push_back(arg->clone());
        }
        return std::make_unique<Constructor>(fOffset, this->type(), std::move(cloned));
    }

    String description() const override {
        String result = this->type().description() + "(";
        const char* separator = "";
        for (const std::unique_ptr<Expression>& arg: this->arguments()) {
            result += separator;
            result += arg->description();
            separator = ", ";
        }
        result += ")";
        return result;
    }

    const Type& componentType() const {
        // Returns `float` for constructors of type `float(...)` or `floatN(...)`.
        const Type& type = this->type();
        return type.columns() == 1 ? type : type.componentType();
    }

    bool isCompileTimeConstant() const override {
        for (const std::unique_ptr<Expression>& arg: this->arguments()) {
            if (!arg->isCompileTimeConstant()) {
                return false;
            }
        }
        return true;
    }

    bool isConstantOrUniform() const override {
        for (const std::unique_ptr<Expression>& arg: this->arguments()) {
            if (!arg->isConstantOrUniform()) {
                return false;
            }
        }
        return true;
    }

    ComparisonResult compareConstant(const Expression& other) const override;

    template <typename ResultType>
    ResultType getVecComponent(int index) const;

    /**
     * For a literal vector expression, return the float value of the n'th vector component. It is
     * an error to call this method on an expression which is not a compile-time constant vector of
     * floating-point type.
     */
    SKSL_FLOAT getFVecComponent(int n) const override {
        return this->getVecComponent<SKSL_FLOAT>(n);
    }

    /**
     * For a literal vector expression, return the integer value of the n'th vector component. It is
     * an error to call this method on an expression which is not a compile-time constant vector of
     * integer type.
     */
    SKSL_INT getIVecComponent(int n) const override {
        return this->getVecComponent<SKSL_INT>(n);
    }

    /**
     * For a literal vector expression, return the boolean value of the n'th vector component. It is
     * an error to call this method on an expression which is not a compile-time constant vector of
     * Boolean type.
     */
    bool getBVecComponent(int n) const override {
        return this->getVecComponent<bool>(n);
    }

    SKSL_FLOAT getMatComponent(int col, int row) const override;

    SKSL_INT getConstantInt() const override;

    SKSL_FLOAT getConstantFloat() const override;

    bool getConstantBool() const override;

private:
    static std::unique_ptr<Expression> MakeScalarConstructor(const Context& context,
                                                             int offset,
                                                             const Type& type,
                                                             ExpressionArray args);

    static std::unique_ptr<Expression> MakeCompoundConstructor(const Context& context,
                                                               int offset,
                                                               const Type& type,
                                                               ExpressionArray args);

    static std::unique_ptr<Expression> MakeArrayConstructor(const Context& context,
                                                            int offset,
                                                            const Type& type,
                                                            ExpressionArray args);

    template <typename ResultType> ResultType getConstantValue(const Expression& expr) const;

    template <typename ResultType>
    ResultType getInnerVecComponent(const Expression& expr, int position) const;

    ExpressionArray fArguments;

    using INHERITED = Expression;
};

}  // namespace SkSL

#endif