// Copyright 2021 The Tint Authors.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#include "src/tint/fuzzers/tint_spirv_tools_fuzzer/cli.h"

#include <fstream>
#include <limits>
#include <sstream>
#include <string>
#include <utility>
#include <vector>

#include "source/opt/build_module.h"
#include "src/tint/fuzzers/tint_spirv_tools_fuzzer/util.h"

namespace tint::fuzzers::spvtools_fuzzer {
namespace {

const char* const kMutatorParameters = R"(
Mutators' parameters:

  -tint_donors=
                       A path to the text file with a list of paths to the
                       SPIR-V donor files. Check out the doc for the spirv-fuzz
                       to learn more about donor binaries. Donors are not used
                       by default.

  -tint_enable_all_fuzzer_passes=
                       Whether to use all fuzzer passes or a randomly selected subset
                       of them. This must be one of `true` or `false` (without `).
                       By default it's `false`.

  -tint_enable_all_reduce_passes=
                       Whether to use all reduction passes or a randomly selected subset
                       of them. This must be one of `true` or `false` (without `).
                       By default it's `false`.

  -tint_opt_batch_size=
                       The maximum number of spirv-opt optimizations that
                       will be applied in a single mutation session (i.e.
                       a call to LLVMFuzzerCustomMutator). This must fit in
                       uint32_t. By default it's 6.

  -tint_reduction_batch_size=
                       The maximum number of spirv-reduce reductions that
                       will be applied in a single mutation session (i.e.
                       a call to LLVMFuzzerCustomMutator). This must fit in
                       uint32_t. By default it's 3.

  -tint_repeated_pass_strategy=
                       The strategy that will be used to recommend the next fuzzer
                       pass. This must be one of `simple`, `looped` or `random`
                       (without `). By default it's `simple`. Check out the doc for
                       spirv-fuzz to learn more.

  -tint_transformation_batch_size=
                       The maximum number of spirv-fuzz transformations
                       that will be applied during a single mutation
                       session (i.e. a call to LLVMFuzzerCustomMutator).
                       This must fit in uint32_t. By default it's 3.

  -tint_validate_after_each_fuzzer_pass=
                       Whether to validate SPIR-V binary after each fuzzer pass.
                       This must be one of `true` or `false` (without `).
                       By default it's `true`. Switch this to `false` if you experience
                       bad performance.

  -tint_validate_after_each_opt_pass=
                       Whether to validate SPIR-V binary after each optimization pass.
                       This must be one of `true` or `false` (without `).
                       By default it's `true`. Switch this to `false` if you experience
                       bad performance.

  -tint_validate_after_each_reduce_pass=
                       Whether to validate SPIR-V binary after each reduction pass.
                       This must be one of `true` or `false` (without `).
                       By default it's `true`. Switch this to `false` if you experience
                       bad performance.
)";

const char* const kFuzzerHelpMessage = R"(
This fuzzer uses SPIR-V binaries to fuzz the Tint compiler. It uses SPIRV-Tools
to mutate those binaries. The fuzzer works on a corpus of SPIR-V shaders.
For each shader from the corpus it uses one of `spirv-fuzz`, `spirv-reduce` or
`spirv-opt` to mutate it and then runs the shader through the Tint compiler in
two steps:
- Converts the mutated shader to WGSL.
- Converts WGSL to some target language specified in the CLI arguments.

Below is a list of all supported parameters for this fuzzer. You may want to
run it with -help=1 to check out libfuzzer parameters.

Fuzzer parameters:

  -tint_error_dir
                       The directory that will be used to output invalid SPIR-V
                       binaries to. This is especially useful during debugging
                       mutators. The directory must have the following subdirectories:
                       - spv/ - will be used to output errors, produced during
                         the conversion from the SPIR-V to WGSL.
                       - wgsl/ - will be used to output errors, produced during
                         the conversion from the WGSL to `--fuzzing_target`.
                       - mutator/ - will be used to output errors, produced by
                         the mutators.
                       By default invalid files are not printed out.

  -tint_fuzzing_target
                       The type of backend to target during fuzzing. This must
                       be one or a combination of `wgsl`, `spv`, `msl` or `hlsl`
                       (without `) separated by commas. By default it's
                       `wgsl,spv,msl,hlsl`.

  -tint_help
                       Show this message. Note that there is also a -help=1
                       parameter that will display libfuzzer's help message.

  -tint_mutator_cache_size=
                       The maximum size of the cache that stores
                       mutation sessions. This must fit in uint32_t.
                       By default it's 20.

  -tint_mutator_type=
                       Determines types of the mutators to run. This must be one or
                       a combination of `fuzz`, `opt`, `reduce` (without `) separated by
                       comma. If a combination is specified, each element in the
                       combination will have an equal chance of mutating a SPIR-V
                       binary during a mutation session (i.e. if no mutator exists
                       for that binary in the mutator cache). By default, the
                       parameter's value is `fuzz,opt,reduce`.
)";

const char* const kMutatorDebuggerHelpMessage = R"(
This tool is used to debug *mutators*. It uses CLI arguments similar to the
ones used by the fuzzer. To debug some mutator you just need to specify the
mutator type, the seed and the path to the SPIR-V binary that triggered the
error. This tool will run the mutator on the binary until the error is
produced or the mutator returns `kLimitReached`.

Note that this is different from debugging the fuzzer by specifying input
files to test. The difference is that the latter will not execute any
mutator (it will only run the LLVMFuzzerTestOneInput function) whereas this
tool is useful when one of the SPIRV-Tools mutators crashes or produces an
invalid binary in LLVMFuzzerCustomMutator.

Debugger parameters:

  --help
                       Show this message.

  --mutator_type=
                       Determines the type of the mutator to debug. This must be
                       one of `fuzz`, `reduce` or `opt` (without `). This parameter
                       is REQUIRED.

  --original_binary=
                       The path to the SPIR-V binary that the faulty mutator was
                       initialized with. This will be dumped on errors by the fuzzer
                       if `--error_dir` is specified. This parameter is REQUIRED.

  --seed=
                       The seed for the random number generator that was used to
                       initialize the mutator. This value is usually printed to
                       the console when the mutator produces an invalid binary.
                       It is also dumped into the log file if `--error_dir` is
                       specified. This must fit in uint32_t. This parameter is
                       REQUIRED.
)";

void PrintHelpMessage(const char* help_message) {
    std::cout << help_message << std::endl << kMutatorParameters << std::endl;
}

[[noreturn]] void InvalidParameter(const char* help_message, const char* param) {
    std::cout << "Invalid value for " << param << std::endl;
    PrintHelpMessage(help_message);
    exit(1);
}

bool ParseUint32(const char* param, uint32_t* out) {
    uint64_t value = static_cast<uint64_t>(strtoul(param, nullptr, 10));
    if (value > static_cast<uint64_t>(std::numeric_limits<uint32_t>::max())) {
        return false;
    }
    *out = static_cast<uint32_t>(value);
    return true;
}

std::vector<spvtools::fuzz::fuzzerutil::ModuleSupplier> ParseDonors(const char* file_name) {
    std::ifstream fin(file_name);
    if (!fin) {
        std::cout << "Can't open donors list file: " << file_name << std::endl;
        exit(1);
    }

    std::vector<spvtools::fuzz::fuzzerutil::ModuleSupplier> result;
    for (std::string donor_file_name; fin >> donor_file_name;) {
        if (!std::ifstream(donor_file_name)) {
            std::cout << "Can't open donor file: " << donor_file_name << std::endl;
            exit(1);
        }

        result.emplace_back([donor_file_name] {
            std::vector<uint32_t> binary;
            if (!util::ReadBinary(donor_file_name, &binary)) {
                std::cout << "Failed to read donor from: " << donor_file_name << std::endl;
                exit(1);
            }
            return spvtools::BuildModule(kDefaultTargetEnv,
                                         spvtools::fuzz::fuzzerutil::kSilentMessageConsumer,
                                         binary.data(), binary.size());
        });
    }

    return result;
}

bool ParseRepeatedPassStrategy(const char* param, spvtools::fuzz::RepeatedPassStrategy* out) {
    if (!strcmp(param, "simple")) {
        *out = spvtools::fuzz::RepeatedPassStrategy::kSimple;
    } else if (!strcmp(param, "looped")) {
        *out = spvtools::fuzz::RepeatedPassStrategy::kLoopedWithRecommendations;
    } else if (!strcmp(param, "random")) {
        *out = spvtools::fuzz::RepeatedPassStrategy::kRandomWithRecommendations;
    } else {
        return false;
    }
    return true;
}

bool ParseBool(const char* param, bool* out) {
    if (!strcmp(param, "true")) {
        *out = true;
    } else if (!strcmp(param, "false")) {
        *out = false;
    } else {
        return false;
    }
    return true;
}

bool ParseMutatorType(const char* param, MutatorType* out) {
    if (!strcmp(param, "fuzz")) {
        *out = MutatorType::kFuzz;
    } else if (!strcmp(param, "opt")) {
        *out = MutatorType::kOpt;
    } else if (!strcmp(param, "reduce")) {
        *out = MutatorType::kReduce;
    } else {
        return false;
    }
    return true;
}

bool ParseFuzzingTarget(const char* param, FuzzingTarget* out) {
    if (!strcmp(param, "wgsl")) {
        *out = FuzzingTarget::kWgsl;
    } else if (!strcmp(param, "spv")) {
        *out = FuzzingTarget::kSpv;
    } else if (!strcmp(param, "msl")) {
        *out = FuzzingTarget::kMsl;
    } else if (!strcmp(param, "hlsl")) {
        *out = FuzzingTarget::kHlsl;
    } else {
        return false;
    }
    return true;
}

bool HasPrefix(const char* str, const char* prefix) {
    return strncmp(str, prefix, strlen(prefix)) == 0;
}

bool ParseMutatorCliParam(const char* param, const char* help_message, MutatorCliParams* out) {
    if (HasPrefix(param, "-tint_transformation_batch_size=")) {
        if (!ParseUint32(param + sizeof("-tint_transformation_batch_size=") - 1,
                         &out->transformation_batch_size)) {
            InvalidParameter(help_message, param);
        }
    } else if (HasPrefix(param, "-tint_reduction_batch_size=")) {
        if (!ParseUint32(param + sizeof("-tint_reduction_batch_size=") - 1,
                         &out->reduction_batch_size)) {
            InvalidParameter(help_message, param);
        }
    } else if (HasPrefix(param, "-tint_opt_batch_size=")) {
        if (!ParseUint32(param + sizeof("-tint_opt_batch_size=") - 1, &out->opt_batch_size)) {
            InvalidParameter(help_message, param);
        }
    } else if (HasPrefix(param, "-tint_donors=")) {
        out->donors = ParseDonors(param + sizeof("-tint_donors=") - 1);
    } else if (HasPrefix(param, "-tint_repeated_pass_strategy=")) {
        if (!ParseRepeatedPassStrategy(param + sizeof("-tint_repeated_pass_strategy=") - 1,
                                       &out->repeated_pass_strategy)) {
            InvalidParameter(help_message, param);
        }
    } else if (HasPrefix(param, "-tint_enable_all_fuzzer_passes=")) {
        if (!ParseBool(param + sizeof("-tint_enable_all_fuzzer_passes=") - 1,
                       &out->enable_all_fuzzer_passes)) {
            InvalidParameter(help_message, param);
        }
    } else if (HasPrefix(param, "-tint_enable_all_reduce_passes=")) {
        if (!ParseBool(param + sizeof("-tint_enable_all_reduce_passes=") - 1,
                       &out->enable_all_reduce_passes)) {
            InvalidParameter(help_message, param);
        }
    } else if (HasPrefix(param, "-tint_validate_after_each_opt_pass=")) {
        if (!ParseBool(param + sizeof("-tint_validate_after_each_opt_pass=") - 1,
                       &out->validate_after_each_opt_pass)) {
            InvalidParameter(help_message, param);
        }
    } else if (HasPrefix(param, "-tint_validate_after_each_fuzzer_pass=")) {
        if (!ParseBool(param + sizeof("-tint_validate_after_each_fuzzer_pass=") - 1,
                       &out->validate_after_each_fuzzer_pass)) {
            InvalidParameter(help_message, param);
        }
    } else if (HasPrefix(param, "-tint_validate_after_each_reduce_pass=")) {
        if (!ParseBool(param + sizeof("-tint_validate_after_each_reduce_pass=") - 1,
                       &out->validate_after_each_reduce_pass)) {
            InvalidParameter(help_message, param);
        }
    } else {
        return false;
    }
    return true;
}

}  // namespace

FuzzerCliParams ParseFuzzerCliParams(int* argc, char** argv) {
    FuzzerCliParams cli_params;
    const auto* help_message = kFuzzerHelpMessage;
    auto help = false;

    for (int i = *argc - 1; i > 0; --i) {
        auto param = argv[i];
        auto recognized_param = true;

        if (HasPrefix(param, "-tint_mutator_cache_size=")) {
            if (!ParseUint32(param + sizeof("-tint_mutator_cache_size=") - 1,
                             &cli_params.mutator_cache_size)) {
                InvalidParameter(help_message, param);
            }
        } else if (HasPrefix(param, "-tint_mutator_type=")) {
            auto result = MutatorType::kNone;

            std::stringstream ss(param + sizeof("-tint_mutator_type=") - 1);
            for (std::string value; std::getline(ss, value, ',');) {
                auto out = MutatorType::kNone;
                if (!ParseMutatorType(value.c_str(), &out)) {
                    InvalidParameter(help_message, param);
                }
                result = result | out;
            }

            if (result == MutatorType::kNone) {
                InvalidParameter(help_message, param);
            }

            cli_params.mutator_type = result;
        } else if (HasPrefix(param, "-tint_fuzzing_target=")) {
            auto result = FuzzingTarget::kNone;

            std::stringstream ss(param + sizeof("-tint_fuzzing_target=") - 1);
            for (std::string value; std::getline(ss, value, ',');) {
                auto tmp = FuzzingTarget::kNone;
                if (!ParseFuzzingTarget(value.c_str(), &tmp)) {
                    InvalidParameter(help_message, param);
                }
                result = result | tmp;
            }

            if (result == FuzzingTarget::kNone) {
                InvalidParameter(help_message, param);
            }

            cli_params.fuzzing_target = result;
        } else if (HasPrefix(param, "-tint_error_dir=")) {
            cli_params.error_dir = param + sizeof("-tint_error_dir=") - 1;
        } else if (!strcmp(param, "-tint_help")) {
            help = true;
        } else {
            recognized_param =
                ParseMutatorCliParam(param, help_message, &cli_params.mutator_params);
        }

        if (recognized_param) {
            // Remove the recognized parameter from the list of all parameters by
            // swapping it with the last one. This will suppress warnings in the
            // libFuzzer about unrecognized parameters. By default, libFuzzer thinks
            // that all user-defined parameters start with two dashes. However, we are
            // forced to use a single one to make the fuzzer compatible with the
            // ClusterFuzz.
            std::swap(argv[i], argv[*argc - 1]);
            *argc -= 1;
        }
    }

    if (help) {
        PrintHelpMessage(help_message);
        exit(0);
    }

    return cli_params;
}

MutatorDebuggerCliParams ParseMutatorDebuggerCliParams(int argc, const char* const* argv) {
    MutatorDebuggerCliParams cli_params;
    bool seed_param_present = false;
    bool original_binary_param_present = false;
    bool mutator_type_param_present = false;
    const auto* help_message = kMutatorDebuggerHelpMessage;
    auto help = false;

    for (int i = 0; i < argc; ++i) {
        auto param = argv[i];
        ParseMutatorCliParam(param, help_message, &cli_params.mutator_params);

        if (HasPrefix(param, "--mutator_type=")) {
            if (!ParseMutatorType(param + sizeof("--mutator_type=") - 1,
                                  &cli_params.mutator_type)) {
                InvalidParameter(help_message, param);
            }
            mutator_type_param_present = true;
        } else if (HasPrefix(param, "--original_binary=")) {
            if (!util::ReadBinary(param + sizeof("--original_binary=") - 1,
                                  &cli_params.original_binary)) {
                InvalidParameter(help_message, param);
            }
            original_binary_param_present = true;
        } else if (HasPrefix(param, "--seed=")) {
            if (!ParseUint32(param + sizeof("--seed=") - 1, &cli_params.seed)) {
                InvalidParameter(help_message, param);
            }
            seed_param_present = true;
        } else if (!strcmp(param, "--help")) {
            help = true;
        }
    }

    if (help) {
        PrintHelpMessage(help_message);
        exit(0);
    }

    std::pair<bool, const char*> required_params[] = {
        {seed_param_present, "--seed"},
        {original_binary_param_present, "--original_binary"},
        {mutator_type_param_present, "--mutator_type"}};

    for (auto required_param : required_params) {
        if (!required_param.first) {
            std::cout << required_param.second << " is missing" << std::endl;
            exit(1);
        }
    }

    return cli_params;
}

}  // namespace tint::fuzzers::spvtools_fuzzer