/*

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

 * Copyright (c) 2016 SAP SE. 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 "interpreter/interpreter.hpp"

#include "memory/resourceArea.hpp"

#include "oops/markOop.hpp"

#include "oops/oop.inline.hpp"

#include "runtime/frame.inline.hpp"

#include "runtime/handles.inline.hpp"

#include "runtime/javaCalls.hpp"

#include "runtime/monitorChunk.hpp"

#include "runtime/signature.hpp"

#include "runtime/stubCodeGenerator.hpp"

#include "runtime/stubRoutines.hpp"

#include "vmreg_s390.inline.hpp"

#ifdef COMPILER1

#include "c1/c1_Runtime1.hpp"

#include "runtime/vframeArray.hpp"

#endif

// Major contributions by Aha, AS.

#ifdef ASSERT

void RegisterMap::check_location_valid() {

}

#endif // ASSERT

// Profiling/safepoint support

bool frame::safe_for_sender(JavaThread *thread) {

  bool safe = false;

  address sp = (address)_sp;

  address fp = (address)_fp;

  address unextended_sp = (address)_unextended_sp;

  // Consider stack guards when trying to determine "safe" stack pointers

  static size_t stack_guard_size = os::uses_stack_guard_pages() ?

    JavaThread::stack_red_zone_size() + JavaThread::stack_yellow_reserved_zone_size() : 0;

  size_t usable_stack_size = thread->stack_size() - stack_guard_size;

  // sp must be within the usable part of the stack (not in guards)

  bool sp_safe = (sp < thread->stack_base()) &&

                 (sp >= thread->stack_base() - usable_stack_size);

  if (!sp_safe) {

    return false;

  }

  // Unextended sp must be within the stack

  bool unextended_sp_safe = (unextended_sp < thread->stack_base());

  if (!unextended_sp_safe) {

    return false;

  }

  // An fp must be within the stack and above (but not equal) sp.

  bool fp_safe = (fp <= thread->stack_base()) &&  (fp > sp);

  // An interpreter fp must be within the stack and above (but not equal) sp.

  // Moreover, it must be at least the size of the z_ijava_state structure.

  bool fp_interp_safe = (fp <= thread->stack_base()) && (fp > sp) &&

    ((fp - sp) >= z_ijava_state_size);

  // We know sp/unextended_sp are safe, only fp is questionable here

  // If the current frame is known to the code cache then we can attempt to

  // to construct the sender and do some validation of it. This goes a long way

  // toward eliminating issues when we get in frame construction code

  if (_cb != NULL ) {

    // Entry frame checks

    if (is_entry_frame()) {

      // An entry frame must have a valid fp.

      return fp_safe && is_entry_frame_valid(thread);

    }

    // Now check if the frame is complete and the test is

    // reliable. Unfortunately we can only check frame completeness for

    // runtime stubs. Other generic buffer blobs are more

    // problematic so we just assume they are OK. Adapter blobs never have a

    // complete frame and are never OK. nmethods should be OK on s390.

    if (!_cb->is_frame_complete_at(_pc)) {

      if (_cb->is_adapter_blob() || _cb->is_runtime_stub()) {

        return false;

      }

    }

    // Could just be some random pointer within the codeBlob.

    if (!_cb->code_contains(_pc)) {

      return false;

    }

    if (is_interpreted_frame() && !fp_interp_safe) {

      return false;

    }

    z_abi_160* sender_abi = (z_abi_160*) fp;

    intptr_t* sender_sp = (intptr_t*) sender_abi->callers_sp;

    address   sender_pc = (address) sender_abi->return_pc;

    // We must always be able to find a recognizable pc.

    CodeBlob* sender_blob = CodeCache::find_blob_unsafe(sender_pc);

    if (sender_blob == NULL) {

      return false;

    }

    // Could be a zombie method

    if (sender_blob->is_zombie() || sender_blob->is_unloaded()) {

      return false;

    }

    // It should be safe to construct the sender though it might not be valid.

    frame sender(sender_sp, sender_pc);

    // Do we have a valid fp?

    address sender_fp = (address) sender.fp();

    // sender_fp must be within the stack and above (but not

    // equal) current frame's fp.

    if (sender_fp > thread->stack_base() || sender_fp <= fp) {

        return false;

    }

    // If the potential sender is the interpreter then we can do some more checking.

    if (Interpreter::contains(sender_pc)) {

      return sender.is_interpreted_frame_valid(thread);

    }

    // Could just be some random pointer within the codeBlob.

    if (!sender.cb()->code_contains(sender_pc)) {

      return false;

    }

    // We should never be able to see an adapter if the current frame is something from code cache.

    if (sender_blob->is_adapter_blob()) {

      return false;

    }

    if (sender.is_entry_frame()) {

      return sender.is_entry_frame_valid(thread);

    }

    // Frame size is always greater than zero. If the sender frame size is zero or less,

    // something is really weird and we better give up.

    if (sender_blob->frame_size() <= 0) {

      return false;

    }

    return true;

  }

  // Must be native-compiled frame. Since sender will try and use fp to find

  // linkages it must be safe

  if (!fp_safe) {

    return false;

  }

  return true;

}

bool frame::is_interpreted_frame() const {

  return Interpreter::contains(pc());

}

// sender_sp

intptr_t* frame::interpreter_frame_sender_sp() const {

  return sender_sp();

}

frame frame::sender_for_entry_frame(RegisterMap *map) const {

  assert(map != NULL, "map must be set");

  // Java frame called from C. Skip all C frames and return top C

  // frame of that chunk as the sender.

  JavaFrameAnchor* jfa = entry_frame_call_wrapper()->anchor();

  assert(!entry_frame_is_first(), "next Java sp must be non zero");

  assert(jfa->last_Java_sp() > _sp, "must be above this frame on stack");

  map->clear();

  assert(map->include_argument_oops(), "should be set by clear");

  if (jfa->last_Java_pc() != NULL) {

    frame fr(jfa->last_Java_sp(), jfa->last_Java_pc());

    return fr;

  }

  // Last_java_pc is not set if we come here from compiled code.

  frame fr(jfa->last_Java_sp());

  return fr;

}

frame frame::sender_for_interpreter_frame(RegisterMap *map) const {

  // Pass callers sender_sp as unextended_sp.

  return frame(sender_sp(), sender_pc(), (intptr_t*)(ijava_state()->sender_sp));

}

frame frame::sender_for_compiled_frame(RegisterMap *map) const {

  assert(map != NULL, "map must be set");

  // Frame owned by compiler.

  address pc = *compiled_sender_pc_addr(_cb);

  frame caller(compiled_sender_sp(_cb), pc);

  // Now adjust the map.

  // Get the rest.

  if (map->update_map()) {

    // Tell GC to use argument oopmaps for some runtime stubs that need it.

    map->set_include_argument_oops(_cb->caller_must_gc_arguments(map->thread()));

    if (_cb->oop_maps() != NULL) {

      OopMapSet::update_register_map(this, map);

    }

  }

  return caller;

}

intptr_t* frame::compiled_sender_sp(CodeBlob* cb) const {

  return sender_sp();

}

address* frame::compiled_sender_pc_addr(CodeBlob* cb) const {

  return sender_pc_addr();

}

frame frame::sender(RegisterMap* map) const {

  // Default is we don't have to follow them. The sender_for_xxx will

  // update it accordingly.

  map->set_include_argument_oops(false);

  if (is_entry_frame()) {

    return sender_for_entry_frame(map);

  }

  if (is_interpreted_frame()) {

    return sender_for_interpreter_frame(map);

  }

  assert(_cb == CodeCache::find_blob(pc()),"Must be the same");

  if (_cb != NULL) {

    return sender_for_compiled_frame(map);

  }

  // Must be native-compiled frame, i.e. the marshaling code for native

  // methods that exists in the core system.

  return frame(sender_sp(), sender_pc());

}

void frame::patch_pc(Thread* thread, address pc) {

  if (TracePcPatching) {

    tty->print_cr("patch_pc at address  " PTR_FORMAT " [" PTR_FORMAT " -> " PTR_FORMAT "] ",

                  p2i(&((address*) _sp)[-1]), p2i(((address*) _sp)[-1]), p2i(pc));

  }

  own_abi()->return_pc = (uint64_t)pc;

  _cb = CodeCache::find_blob(pc);

  address original_pc = CompiledMethod::get_deopt_original_pc(this);

  if (original_pc != NULL) {

    assert(original_pc == _pc, "expected original to be stored before patching");

    _deopt_state = is_deoptimized;

    // Leave _pc as is.

  } else {

    _deopt_state = not_deoptimized;

    _pc = pc;

  }

}

bool frame::is_interpreted_frame_valid(JavaThread* thread) const {

  // Is there anything to do?

  assert(is_interpreted_frame(), "Not an interpreted frame");

  return true;

}

BasicType frame::interpreter_frame_result(oop* oop_result, jvalue* value_result) {

  assert(is_interpreted_frame(), "interpreted frame expected");

  Method* method = interpreter_frame_method();

  BasicType type = method->result_type();

  if (method->is_native()) {

    address lresult = (address)&(ijava_state()->lresult);

    address fresult = (address)&(ijava_state()->fresult);

    switch (type) {

      case T_OBJECT:

      case T_ARRAY: {

        *oop_result = (oop) (void*) ijava_state()->oop_tmp;

        break;

      }

      // We use std/stfd to store the values.

      case T_BOOLEAN : value_result->z = (jboolean) *(unsigned long*)lresult; break;

      case T_INT     : value_result->i = (jint)     *(long*)lresult;          break;

      case T_CHAR    : value_result->c = (jchar)    *(unsigned long*)lresult; break;

      case T_SHORT   : value_result->s = (jshort)   *(long*)lresult;          break;

      case T_BYTE    : value_result->z = (jbyte)    *(long*)lresult;          break;

      case T_LONG    : value_result->j = (jlong)    *(long*)lresult;          break;

      case T_FLOAT   : value_result->f = (jfloat)   *(float*)fresult;        break;

      case T_DOUBLE  : value_result->d = (jdouble)  *(double*)fresult;        break;

      case T_VOID    : break; // Nothing to do.

      default        : ShouldNotReachHere();

    }

  } else {

    intptr_t* tos_addr = interpreter_frame_tos_address();

    switch (type) {

      case T_OBJECT:

      case T_ARRAY: {

       oop obj = *(oop*)tos_addr;

       assert(obj == NULL || Universe::heap()->is_in(obj), "sanity check");

       *oop_result = obj;

       break;

      }

      case T_BOOLEAN : value_result->z = (jboolean) *(jint*)tos_addr; break;

      case T_BYTE    : value_result->b = (jbyte) *(jint*)tos_addr; break;

      case T_CHAR    : value_result->c = (jchar) *(jint*)tos_addr; break;

      case T_SHORT   : value_result->s = (jshort) *(jint*)tos_addr; break;

      case T_INT     : value_result->i = *(jint*)tos_addr; break;

      case T_LONG    : value_result->j = *(jlong*)tos_addr; break;

      case T_FLOAT   : value_result->f = *(jfloat*)tos_addr; break;

      case T_DOUBLE  : value_result->d = *(jdouble*)tos_addr; break;

      case T_VOID    : break; // Nothing to do.

      default        : ShouldNotReachHere();

    }

  }

  return type;

}

// Dump all frames starting a given C stack-pointer.

// Use max_frames to limit the number of traced frames.

void frame::back_trace(outputStream* st, intptr_t* start_sp, intptr_t* top_pc, unsigned long flags, int max_frames) {

  static char buf[ 150 ];

  bool print_outgoing_arguments = flags & 0x1;

  bool print_istate_pointers    = flags & 0x2;

  int num = 0;

  intptr_t* current_sp = (intptr_t*) start_sp;

  int last_num_jargs = 0;

  int frame_type = 0;

  int last_frame_type = 0;

  while (current_sp) {

    intptr_t* current_fp = (intptr_t*) *current_sp;

    address   current_pc = (num == 0)

                           ? (address) top_pc

                           : (address) *((intptr_t*)(((address) current_sp) + _z_abi(return_pc)));

    if ((intptr_t*) current_fp != 0 && (intptr_t*) current_fp <= current_sp) {

      st->print_cr("ERROR: corrupt stack");

      return;

    }

    st->print("#%-3d ", num);

    const char* type_name = "    ";

    const char* function_name = NULL;

    // Detect current frame's frame_type, default to 'C frame'.

    frame_type = 0;

    CodeBlob* blob = NULL;

    if (Interpreter::contains(current_pc)) {

      frame_type = 1;

    } else if (StubRoutines::contains(current_pc)) {

      if (StubRoutines::returns_to_call_stub(current_pc)) {

        frame_type = 2;

      } else {

        frame_type = 4;

        type_name = "stu";

        StubCodeDesc* desc = StubCodeDesc::desc_for (current_pc);

        if (desc) {

          function_name = desc->name();

        } else {

          function_name = "unknown stub";

        }

      }

    } else if (CodeCache::contains(current_pc)) {

      blob = CodeCache::find_blob_unsafe(current_pc);

      if (blob) {

        if (blob->is_nmethod()) {

          frame_type = 3;

        } else if (blob->is_deoptimization_stub()) {

          frame_type = 4;

          type_name = "deo";

          function_name = "deoptimization blob";

        } else if (blob->is_uncommon_trap_stub()) {

          frame_type = 4;

          type_name = "uct";

          function_name = "uncommon trap blob";

        } else if (blob->is_exception_stub()) {

          frame_type = 4;

          type_name = "exc";

          function_name = "exception blob";

        } else if (blob->is_safepoint_stub()) {

          frame_type = 4;

          type_name = "saf";

          function_name = "safepoint blob";

        } else if (blob->is_runtime_stub()) {

          frame_type = 4;

          type_name = "run";

          function_name = ((RuntimeStub *)blob)->name();

        } else if (blob->is_method_handles_adapter_blob()) {

          frame_type = 4;

          type_name = "mha";

          function_name = "method handles adapter blob";

        } else {

          frame_type = 4;

          type_name = "blo";

          function_name = "unknown code blob";

        }

      } else {

        frame_type = 4;

        type_name = "blo";

        function_name = "unknown code blob";

      }

    }

    st->print("sp=" PTR_FORMAT " ", p2i(current_sp));

    if (frame_type == 0) {

      current_pc = (address) *((intptr_t*)(((address) current_sp) + _z_abi(gpr14)));

    }

    st->print("pc=" PTR_FORMAT " ", p2i(current_pc));

    st->print(" ");

    switch (frame_type) {

      case 0: // C frame:

        {

          st->print("    ");

          if (current_pc == 0) {

            st->print("? ");

          } else {

             // name

            int func_offset;

            char demangled_name[256];

            int demangled_name_len = 256;

            if (os::dll_address_to_function_name(current_pc, demangled_name, demangled_name_len, &func_offset)) {

              demangled_name[demangled_name_len-1] = '\0';

              st->print(func_offset == -1 ? "%s " : "%s+0x%x", demangled_name, func_offset);

            } else {

              st->print("? ");

            }

          }

        }

        break;

      case 1: // interpreter frame:

        {

          st->print(" i  ");

          if (last_frame_type != 1) last_num_jargs = 8;

          // name

          Method* method = *(Method**)((address)current_fp + _z_ijava_state_neg(method));

          if (method) {

            if (method->is_synchronized()) st->print("synchronized ");

            if (method->is_static()) st->print("static ");

            if (method->is_native()) st->print("native ");

            method->name_and_sig_as_C_string(buf, sizeof(buf));

            st->print("%s ", buf);

          }

          else

            st->print("? ");

          intptr_t* tos = (intptr_t*) *(intptr_t*)((address)current_fp + _z_ijava_state_neg(esp));

          if (print_istate_pointers) {

            st->cr();

            st->print("     ");

            st->print("ts=" PTR_FORMAT " ", p2i(tos));

          }

          // Dump some Java stack slots.

          if (print_outgoing_arguments) {

            if (method->is_native()) {

#ifdef ASSERT

              intptr_t* cargs = (intptr_t*) (((address)current_sp) + _z_abi(carg_1));

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

                // Cargs is not prepushed.

                st->cr();

                st->print("        ");

                st->print(PTR_FORMAT, *(cargs));

                cargs++;

              }

#endif /* ASSERT */

            }

            else {

              if (tos) {

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

                  // tos+0 is prepushed, ignore.

                  tos++;

                  if (tos >= (intptr_t *)((address)current_fp + _z_ijava_state_neg(monitors)))

                    break;

                  st->cr();

                  st->print("        ");