//
// Copyright (c) 2018, Red Hat, Inc. All rights reserved.
//
// 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.
//
//

source_hpp %{
#include "gc/shenandoah/shenandoahBarrierSetAssembler.hpp"
%}

instruct shenandoahRB(rRegP dst, rRegP src, rFlagsReg cr) %{
  match(Set dst (ShenandoahReadBarrier src));
  effect(DEF dst, USE src);
  ins_cost(125); // XXX
  format %{ "shenandoah_rb $dst, $src" %}
  ins_encode %{
    Register d = $dst$$Register;
    Register s = $src$$Register;
    __ movptr(d, Address(s, ShenandoahBrooksPointer::byte_offset()));
  %}
  ins_pipe(ialu_reg_mem);
%}

instruct shenandoahRBNarrow(rRegP dst, rRegN src) %{
  predicate(UseCompressedOops && (Universe::narrow_oop_shift() == 0));
  match(Set dst (ShenandoahReadBarrier (DecodeN src)));
  effect(DEF dst, USE src);
  ins_cost(125); // XXX
  format %{ "shenandoah_rb $dst, $src" %}
  ins_encode %{
    Register d = $dst$$Register;
    Register s = $src$$Register;
    __ movptr(d, Address(r12, s, Address::times_1, ShenandoahBrooksPointer::byte_offset()));
  %}
  ins_pipe(ialu_reg_mem);
%}

instruct shenandoahRBNarrowShift(rRegP dst, rRegN src) %{
  predicate(UseCompressedOops && (Universe::narrow_oop_shift() == Address::times_8));
  match(Set dst (ShenandoahReadBarrier (DecodeN src)));
  effect(DEF dst, USE src);
  ins_cost(125); // XXX
  format %{ "shenandoah_rb $dst, $src" %}
  ins_encode %{
    Register d = $dst$$Register;
    Register s = $src$$Register;
    __ movptr(d, Address(r12, s, Address::times_8, ShenandoahBrooksPointer::byte_offset()));
  %}
  ins_pipe(ialu_reg_mem);
%}

instruct compareAndSwapP_shenandoah(rRegI res,
                                    memory mem_ptr,
                                    rRegP tmp1, rRegP tmp2,
                                    rax_RegP oldval, rRegP newval,
                                    rFlagsReg cr)
%{
  predicate(VM_Version::supports_cx8());
  match(Set res (ShenandoahCompareAndSwapP mem_ptr (Binary oldval newval)));
  match(Set res (ShenandoahWeakCompareAndSwapP mem_ptr (Binary oldval newval)));
  effect(TEMP tmp1, TEMP tmp2, KILL cr, KILL oldval);

  format %{ "shenandoah_cas_oop $mem_ptr,$newval" %}

  ins_encode %{
    ShenandoahBarrierSet::assembler()->cmpxchg_oop(&_masm,
                                                   $res$$Register, $mem_ptr$$Address, $oldval$$Register, $newval$$Register,
                                                   false, // swap
                                                   false, $tmp1$$Register, $tmp2$$Register
                                                   );
  %}
  ins_pipe( pipe_cmpxchg );
%}

instruct compareAndSwapN_shenandoah(rRegI res,
                                    memory mem_ptr,
                                    rRegP tmp1, rRegP tmp2,
                                    rax_RegN oldval, rRegN newval,
                                    rFlagsReg cr) %{
  match(Set res (ShenandoahCompareAndSwapN mem_ptr (Binary oldval newval)));
  match(Set res (ShenandoahWeakCompareAndSwapN mem_ptr (Binary oldval newval)));
  effect(TEMP tmp1, TEMP tmp2, KILL cr, KILL oldval);

  format %{ "shenandoah_cas_oop $mem_ptr,$newval" %}

  ins_encode %{
    ShenandoahBarrierSet::assembler()->cmpxchg_oop(&_masm,
                                                   $res$$Register, $mem_ptr$$Address, $oldval$$Register, $newval$$Register,
                                                   false, // swap
                                                   false, $tmp1$$Register, $tmp2$$Register
                                                   );
  %}
  ins_pipe( pipe_cmpxchg );
%}

instruct compareAndExchangeN_shenandoah(memory mem_ptr,
                                        rax_RegN oldval, rRegN newval,
                                        rRegP tmp1, rRegP tmp2,
                                        rFlagsReg cr) %{
  match(Set oldval (ShenandoahCompareAndExchangeN mem_ptr (Binary oldval newval)));
  effect(TEMP tmp1, TEMP tmp2, KILL cr);

  format %{ "shenandoah_cas_oop $mem_ptr,$newval" %}

  ins_encode %{
    ShenandoahBarrierSet::assembler()->cmpxchg_oop(&_masm,
                                                   NULL, $mem_ptr$$Address, $oldval$$Register, $newval$$Register,
                                                   true, // exchange
                                                   false, $tmp1$$Register, $tmp2$$Register
                                                   );
  %}
  ins_pipe( pipe_cmpxchg );
%}

instruct compareAndExchangeP_shenandoah(memory mem_ptr,
                                        rax_RegP oldval, rRegP newval,
                                        rRegP tmp1, rRegP tmp2,
                                        rFlagsReg cr)
%{
  predicate(VM_Version::supports_cx8());
  match(Set oldval (ShenandoahCompareAndExchangeP mem_ptr (Binary oldval newval)));
  effect(KILL cr, TEMP tmp1, TEMP tmp2);
  ins_cost(1000);

  format %{ "shenandoah_cas_oop $mem_ptr,$newval" %}

  ins_encode %{
    ShenandoahBarrierSet::assembler()->cmpxchg_oop(&_masm,
                                                   NULL, $mem_ptr$$Address, $oldval$$Register, $newval$$Register,
                                                   true,  // exchange
                                                   false, $tmp1$$Register, $tmp2$$Register
                                                   );
  %}
  ins_pipe( pipe_cmpxchg );
%}