/* Distributed under the OSI-approved BSD 3-Clause License.  See accompanying
   file LICENSE.rst or https://cmake.org/licensing for details.  */
#include "cmExprParserHelper.h"

#include <iostream>
#include <sstream>
#include <stdexcept>
#include <utility>

#include "cmExprLexer.h"
#include "cmStringAlgorithms.h"

int cmExpr_yyparse(yyscan_t yyscanner);
//
cmExprParserHelper::cmExprParserHelper()
{
  this->FileLine = -1;
  this->FileName = nullptr;
  this->Result = 0;
}

cmExprParserHelper::~cmExprParserHelper() = default;

int cmExprParserHelper::ParseString(char const* str, int verb)
{
  if (!str) {
    return 0;
  }
  // printf("Do some parsing: %s\n", str);

  this->Verbose = verb;
  this->InputBuffer = str;
  this->InputBufferPos = 0;
  this->CurrentLine = 0;

  this->Result = 0;

  yyscan_t yyscanner;
  cmExpr_yylex_init(&yyscanner);
  cmExpr_yyset_extra(this, yyscanner);

  try {
    int res = cmExpr_yyparse(yyscanner);
    if (res != 0) {
      std::string e =
        cmStrCat("cannot parse the expression: \"", this->InputBuffer,
                 "\": ", this->ErrorString, '.');
      this->SetError(std::move(e));
    }
  } catch (std::runtime_error const& fail) {
    std::string e = cmStrCat("cannot evaluate the expression: \"",
                             this->InputBuffer, "\": ", fail.what(), '.');
    this->SetError(std::move(e));
  } catch (std::out_of_range const&) {
    std::string e =
      cmStrCat("cannot evaluate the expression: \"", this->InputBuffer,
               "\": a numeric value is out of range.");
    this->SetError(std::move(e));
  } catch (...) {
    std::string e =
      cmStrCat("cannot parse the expression: \"", this->InputBuffer, "\".");
    this->SetError(std::move(e));
  }
  cmExpr_yylex_destroy(yyscanner);
  if (!this->ErrorString.empty()) {
    return 0;
  }

  if (this->Verbose) {
    std::cerr << "Expanding [" << str << "] produced: [" << this->Result << "]"
              << std::endl;
  }
  return 1;
}

int cmExprParserHelper::LexInput(char* buf, int maxlen)
{
  // std::cout << "JPLexInput ";
  // std::cout.write(buf, maxlen);
  // std::cout << std::endl;
  if (maxlen < 1) {
    return 0;
  }
  if (this->InputBufferPos < this->InputBuffer.size()) {
    buf[0] = this->InputBuffer[this->InputBufferPos++];
    if (buf[0] == '\n') {
      this->CurrentLine++;
    }
    return (1);
  }
  buf[0] = '\n';
  return (0);
}

void cmExprParserHelper::Error(char const* str)
{
  unsigned long pos = static_cast<unsigned long>(this->InputBufferPos);
  std::ostringstream ostr;
  ostr << str << " (" << pos << ")";
  this->ErrorString = ostr.str();
}

void cmExprParserHelper::Warning(std::string str)
{
  this->WarningString = cmStrCat(this->WarningString, std::move(str), '\n');
}

void cmExprParserHelper::UnexpectedChar(char c)
{
  unsigned long pos = static_cast<unsigned long>(this->InputBufferPos);
  std::ostringstream ostr;
  ostr << "Unexpected character in expression at position " << pos << ": " << c
       << "\n";
  this->WarningString += ostr.str();
}

void cmExprParserHelper::SetResult(std::int64_t value)
{
  this->Result = value;
}

void cmExprParserHelper::SetError(std::string errorString)
{
  this->ErrorString = std::move(errorString);
}

std::int64_t cmExprParserHelper::ShL(std::int64_t l, std::int64_t r)
{
  if (l < 0) {
    this->Warning(
      cmStrCat("left shift of negative value in:\n  ", l, " << ", r));
  }
  if (r < 0) {
    this->Warning(
      cmStrCat("shift exponent is negative in:\n  ", l, " << ", r));
    r &= 0x3F;
  }
  if (r >= 64) {
    this->Warning(
      cmStrCat("shift exponent is too large in:\n  ", l, " << ", r));
    r &= 0x3F;
  }
  return static_cast<std::int64_t>(static_cast<std::uint64_t>(l) << r);
}

std::int64_t cmExprParserHelper::ShR(std::int64_t l, std::int64_t r)
{
  if (r < 0) {
    this->Warning(
      cmStrCat("shift exponent is negative in:\n  ", l, " >> ", r));
    r &= 0x3F;
  }
  if (r >= 64) {
    this->Warning(
      cmStrCat("shift exponent is too large in:\n  ", l, " >> ", r));
    r &= 0x3F;
  }
  return l >> r;
}

std::int64_t cmExprParserHelper::Add(std::int64_t l, std::int64_t r)
{
  std::int64_t sum;
  if (this->AddOverflow(l, r, &sum)) {
    this->Warning(cmStrCat("signed integer overflow in:\n  ", l, " + ", r));
  }
  return sum;
}

std::int64_t cmExprParserHelper::Sub(std::int64_t l, std::int64_t r)
{
  std::int64_t diff;
  if (this->SubOverflow(l, r, &diff)) {
    this->Warning(cmStrCat("signed integer overflow in:\n  ", l, " - ", r));
  }
  return diff;
}

std::int64_t cmExprParserHelper::Mul(std::int64_t l, std::int64_t r)
{
  std::int64_t prod;
  if (this->MulOverflow(l, r, &prod)) {
    this->Warning(cmStrCat("signed integer overflow in:\n  ", l, " * ", r));
  }
  return prod;
}

std::int64_t cmExprParserHelper::Div(std::int64_t l, std::int64_t r)
{
  if (r == 0) {
    throw std::overflow_error("divide by zero");
  }
  if (l == INT64_MIN && r == -1) {
    throw std::overflow_error("signed integer overflow in division");
  }
  return l / r;
}

std::int64_t cmExprParserHelper::Mod(std::int64_t l, std::int64_t r)
{
  if (r == 0) {
    throw std::overflow_error("modulo by zero");
  }
  if (l == INT64_MIN && r == -1) {
    throw std::overflow_error("signed integer overflow in modulo");
  }
  return l % r;
}

std::int64_t cmExprParserHelper::Neg(std::int64_t x)
{
  if (static_cast<std::uint64_t>(x) == 0x8000000000000000) {
    this->Warning(cmStrCat("signed integer cannot negate:\n  ", x));
    return x;
  }
  return -x;
}

// The __has_builtin preprocessor check was added in Clang 2.6 and GCC 10.
// The __builtin_X_overflow intrinsics were added in Clang 3.4 and GCC 5.
#ifndef __has_builtin
#  if defined(__GNUC__) && __GNUC__ >= 5
#    define __has_builtin(x) 1
#  else
#    define __has_builtin(x) 0
#  endif
#endif

bool cmExprParserHelper::AddOverflow(long l, long r, long* p)
{
#if __has_builtin(__builtin_saddl_overflow)
  return __builtin_saddl_overflow(l, r, p);
#else
  *p = l + r;
  return false;
#endif
}

bool cmExprParserHelper::AddOverflow(long long l, long long r, long long* p)
{
#if __has_builtin(__builtin_saddll_overflow)
  return __builtin_saddll_overflow(l, r, p);
#else
  *p = l + r;
  return false;
#endif
}

bool cmExprParserHelper::SubOverflow(long l, long r, long* p)
{
#if __has_builtin(__builtin_ssubl_overflow)
  return __builtin_ssubl_overflow(l, r, p);
#else
  *p = l - r;
  return false;
#endif
}

bool cmExprParserHelper::SubOverflow(long long l, long long r, long long* p)
{
#if __has_builtin(__builtin_ssubll_overflow)
  return __builtin_ssubll_overflow(l, r, p);
#else
  *p = l - r;
  return false;
#endif
}

bool cmExprParserHelper::MulOverflow(long l, long r, long* p)
{
#if __has_builtin(__builtin_smull_overflow)
  return __builtin_smull_overflow(l, r, p);
#else
  *p = l * r;
  return false;
#endif
}

bool cmExprParserHelper::MulOverflow(long long l, long long r, long long* p)
{
#if __has_builtin(__builtin_smulll_overflow)
  return __builtin_smulll_overflow(l, r, p);
#else
  *p = l * r;
  return false;
#endif
}