/*

 * Copyright (c) 2015, 2017, Oracle and/or its affiliates. All rights reserved.

 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

 *

 * This code is free software; you can redistribute it and/or modify it

 * under the terms of the GNU General Public License version 2 only, as

 * published by the Free Software Foundation.

 *

 * This code is distributed in the hope that it will be useful, but WITHOUT

 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

 * version 2 for more details (a copy is included in the LICENSE file that

 * accompanied this code).

 *

 * You should have received a copy of the GNU General Public License version

 * 2 along with this work; if not, write to the Free Software Foundation,

 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

 *

 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

 * or visit www.oracle.com if you need additional information or have any

 * questions.

 *

 */

#include "precompiled.hpp"

#include "classfile/stringTable.hpp"

#include "classfile/symbolTable.hpp"

#include "runtime/arguments.hpp"

#include "runtime/os.hpp"

#include "utilities/macros.hpp"

#ifdef COMPILER1

#include "c1/c1_globals.hpp"

#endif

#ifdef COMPILER2

#include "opto/c2_globals.hpp"

#endif

  const bool* _ptr;

public:

  // the "name" argument must be a string literal

    bool value = *_ptr;

    return _constraint(value, verbose);

  }

    return _constraint(value, verbose);

  }

};

  const int* _ptr;

public:

  // the "name" argument must be a string literal

    int value = *_ptr;

    return _constraint(value, verbose);

  }

    return _constraint(value, verbose);

  }

};

  const intx* _ptr;

public:

  // the "name" argument must be a string literal

    intx value = *_ptr;

    return _constraint(value, verbose);

  }

    return _constraint(value, verbose);

  }

};

  const uint* _ptr;

public:

  // the "name" argument must be a string literal

    uint value = *_ptr;

    return _constraint(value, verbose);

  }

    return _constraint(value, verbose);

  }

};

  const uintx* _ptr;

public:

  // the "name" argument must be a string literal

    uintx value = *_ptr;

    return _constraint(value, verbose);

  }

    return _constraint(value, verbose);

  }

};

  const uint64_t* _ptr;

public:

  // the "name" argument must be a string literal

    uint64_t value = *_ptr;

    return _constraint(value, verbose);

  }

    return _constraint(value, verbose);

  }

};

  const size_t* _ptr;

public:

  // the "name" argument must be a string literal

    size_t value = *_ptr;

    return _constraint(value, verbose);

  }

    return _constraint(value, verbose);

  }

};

  const double* _ptr;

public:

  // the "name" argument must be a string literal

    double value = *_ptr;

    return _constraint(value, verbose);

  }

    return _constraint(value, verbose);

  }

};

// No constraint emitting

void emit_constraint_no(...)                                                      { /* NOP */ }

// No constraint emitting if function argument is NOT provided

void emit_constraint_bool(const char* /*name*/, const bool* /*value*/)            { /* NOP */ }

void emit_constraint_ccstr(const char* /*name*/, const ccstr* /*value*/)          { /* NOP */ }

void emit_constraint_ccstrlist(const char* /*name*/, const ccstrlist* /*value*/)  { /* NOP */ }

void emit_constraint_int(const char* /*name*/, const int* /*value*/)              { /* NOP */ }

void emit_constraint_intx(const char* /*name*/, const intx* /*value*/)            { /* NOP */ }

void emit_constraint_uint(const char* /*name*/, const uint* /*value*/)            { /* NOP */ }

void emit_constraint_uintx(const char* /*name*/, const uintx* /*value*/)          { /* NOP */ }

void emit_constraint_uint64_t(const char* /*name*/, const uint64_t* /*value*/)    { /* NOP */ }

void emit_constraint_size_t(const char* /*name*/, const size_t* /*value*/)        { /* NOP */ }

void emit_constraint_double(const char* /*name*/, const double* /*value*/)        { /* NOP */ }

}

}

}

}

}

}

}

}

// Generate code to call emit_constraint_xxx function

#define EMIT_CONSTRAINT_PRODUCT_FLAG(type, name, value, doc)      ); emit_constraint_##type(#name,&name

#define EMIT_CONSTRAINT_COMMERCIAL_FLAG(type, name, value, doc)   ); emit_constraint_##type(#name,&name

#define EMIT_CONSTRAINT_DIAGNOSTIC_FLAG(type, name, value, doc)   ); emit_constraint_##type(#name,&name

#define EMIT_CONSTRAINT_EXPERIMENTAL_FLAG(type, name, value, doc) ); emit_constraint_##type(#name,&name

#define EMIT_CONSTRAINT_MANAGEABLE_FLAG(type, name, value, doc)   ); emit_constraint_##type(#name,&name

#define EMIT_CONSTRAINT_PRODUCT_RW_FLAG(type, name, value, doc)   ); emit_constraint_##type(#name,&name

#define EMIT_CONSTRAINT_PD_PRODUCT_FLAG(type, name, doc)          ); emit_constraint_##type(#name,&name

#define EMIT_CONSTRAINT_PD_DIAGNOSTIC_FLAG(type, name, doc)       ); emit_constraint_##type(#name,&name

#ifndef PRODUCT

#define EMIT_CONSTRAINT_DEVELOPER_FLAG(type, name, value, doc)    ); emit_constraint_##type(#name,&name

#define EMIT_CONSTRAINT_PD_DEVELOPER_FLAG(type, name, doc)        ); emit_constraint_##type(#name,&name

#define EMIT_CONSTRAINT_NOTPRODUCT_FLAG(type, name, value, doc)   ); emit_constraint_##type(#name,&name

#else

#define EMIT_CONSTRAINT_DEVELOPER_FLAG(type, name, value, doc)    ); emit_constraint_no(#name,&name

#define EMIT_CONSTRAINT_PD_DEVELOPER_FLAG(type, name, doc)        ); emit_constraint_no(#name,&name

#define EMIT_CONSTRAINT_NOTPRODUCT_FLAG(type, name, value, doc)   ); emit_constraint_no(#name,&name

#endif

#ifdef _LP64

#define EMIT_CONSTRAINT_LP64_PRODUCT_FLAG(type, name, value, doc) ); emit_constraint_##type(#name,&name

#else

#define EMIT_CONSTRAINT_LP64_PRODUCT_FLAG(type, name, value, doc) ); emit_constraint_no(#name,&name

#endif

// Generate func argument to pass into emit_constraint_xxx functions

// the "name" argument must be a string literal

#define INITIAL_CONSTRAINTS_SIZE 72

// Check the ranges of all flags that have them or print them out and exit if requested

  emit_constraint_no(NULL VM_FLAGS(EMIT_CONSTRAINT_DEVELOPER_FLAG,

                                   EMIT_CONSTRAINT_PD_DEVELOPER_FLAG,

                                   EMIT_CONSTRAINT_PRODUCT_FLAG,

                                   EMIT_CONSTRAINT_PD_PRODUCT_FLAG,

                                   EMIT_CONSTRAINT_DIAGNOSTIC_FLAG,

                                   EMIT_CONSTRAINT_PD_DIAGNOSTIC_FLAG,

                                   EMIT_CONSTRAINT_EXPERIMENTAL_FLAG,

                                   EMIT_CONSTRAINT_NOTPRODUCT_FLAG,

                                   EMIT_CONSTRAINT_MANAGEABLE_FLAG,

                                   EMIT_CONSTRAINT_PRODUCT_RW_FLAG,

                                   EMIT_CONSTRAINT_LP64_PRODUCT_FLAG,

                                   IGNORE_RANGE,

                                   EMIT_CONSTRAINT_CHECK,

                                   IGNORE_WRITEABLE));

  EMIT_CONSTRAINTS_FOR_GLOBALS_EXT

  emit_constraint_no(NULL ARCH_FLAGS(EMIT_CONSTRAINT_DEVELOPER_FLAG,

                                     EMIT_CONSTRAINT_PRODUCT_FLAG,

                                     EMIT_CONSTRAINT_DIAGNOSTIC_FLAG,

                                     EMIT_CONSTRAINT_EXPERIMENTAL_FLAG,

                                     EMIT_CONSTRAINT_NOTPRODUCT_FLAG,

                                     IGNORE_RANGE,

                                     EMIT_CONSTRAINT_CHECK,

                                     IGNORE_WRITEABLE));

#ifdef COMPILER1

  emit_constraint_no(NULL C1_FLAGS(EMIT_CONSTRAINT_DEVELOPER_FLAG,

                                   EMIT_CONSTRAINT_PD_DEVELOPER_FLAG,

                                   EMIT_CONSTRAINT_PRODUCT_FLAG,

                                   EMIT_CONSTRAINT_PD_PRODUCT_FLAG,

                                   EMIT_CONSTRAINT_DIAGNOSTIC_FLAG,

                                   EMIT_CONSTRAINT_PD_DIAGNOSTIC_FLAG,

                                   EMIT_CONSTRAINT_NOTPRODUCT_FLAG,

                                   IGNORE_RANGE,

                                   EMIT_CONSTRAINT_CHECK,

                                   IGNORE_WRITEABLE));

#endif // COMPILER1

#ifdef COMPILER2

  emit_constraint_no(NULL C2_FLAGS(EMIT_CONSTRAINT_DEVELOPER_FLAG,

                                   EMIT_CONSTRAINT_PD_DEVELOPER_FLAG,

                                   EMIT_CONSTRAINT_PRODUCT_FLAG,

                                   EMIT_CONSTRAINT_PD_PRODUCT_FLAG,

                                   EMIT_CONSTRAINT_DIAGNOSTIC_FLAG,

                                   EMIT_CONSTRAINT_PD_DIAGNOSTIC_FLAG,

                                   EMIT_CONSTRAINT_EXPERIMENTAL_FLAG,

                                   EMIT_CONSTRAINT_NOTPRODUCT_FLAG,

                                   IGNORE_RANGE,

                                   EMIT_CONSTRAINT_CHECK,

                                   IGNORE_WRITEABLE));

#endif // COMPILER2

}

  for (int i=0; i<length(); i++) {

    if (strcmp(constraint->name(), name) == 0) {

      found = constraint;

      break;

    }

  }

  return found;

}

// Find constraints by name and return only if found constraint's type is equal or lower than current validating type.

  if (constraint && (constraint->type() <= _validating_type)) {

    found = constraint;

  }

  return found;

}

// Check constraints for specific constraint type.

  guarantee(type > _validating_type, "Constraint check is out of order.");

  _validating_type = type;

  bool status = true;

  for (int i=0; i<length(); i++) {

    if (type != constraint->type()) continue;

  }

  return status;

}