< prev index next >

src/hotspot/cpu/x86/gc/shenandoah/c1/shenandoahBarrierSetC1_x86.cpp

Print this page

  1 /*
  2  * Copyright (c) 2018, 2021, Red Hat, Inc. All rights reserved.

  3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  4  *
  5  * This code is free software; you can redistribute it and/or modify it
  6  * under the terms of the GNU General Public License version 2 only, as
  7  * published by the Free Software Foundation.
  8  *
  9  * This code is distributed in the hope that it will be useful, but WITHOUT
 10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 12  * version 2 for more details (a copy is included in the LICENSE file that
 13  * accompanied this code).
 14  *
 15  * You should have received a copy of the GNU General Public License version
 16  * 2 along with this work; if not, write to the Free Software Foundation,
 17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 18  *
 19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 20  * or visit www.oracle.com if you need additional information or have any
 21  * questions.
 22  *

 70 #endif
 71 
 72 LIR_Opr ShenandoahBarrierSetC1::atomic_cmpxchg_at_resolved(LIRAccess& access, LIRItem& cmp_value, LIRItem& new_value) {
 73 
 74   if (access.is_oop()) {
 75     LIRGenerator* gen = access.gen();
 76     if (ShenandoahSATBBarrier) {
 77       pre_barrier(gen, access.access_emit_info(), access.decorators(), access.resolved_addr(),
 78                   LIR_OprFact::illegalOpr /* pre_val */);
 79     }
 80     if (ShenandoahCASBarrier) {
 81       cmp_value.load_item_force(FrameMap::rax_oop_opr);
 82       new_value.load_item();
 83 
 84       LIR_Opr t1 = gen->new_register(T_OBJECT);
 85       LIR_Opr t2 = gen->new_register(T_OBJECT);
 86       LIR_Opr addr = access.resolved_addr()->as_address_ptr()->base();
 87       LIR_Opr result = gen->new_register(T_INT);
 88 
 89       __ append(new LIR_OpShenandoahCompareAndSwap(addr, cmp_value.result(), new_value.result(), t1, t2, result));




 90       return result;
 91     }
 92   }
 93   return BarrierSetC1::atomic_cmpxchg_at_resolved(access, cmp_value, new_value);







 94 }
 95 
 96 LIR_Opr ShenandoahBarrierSetC1::atomic_xchg_at_resolved(LIRAccess& access, LIRItem& value) {
 97   LIRGenerator* gen = access.gen();
 98   BasicType type = access.type();
 99 
100   LIR_Opr result = gen->new_register(type);
101   value.load_item();
102   LIR_Opr value_opr = value.result();
103 
104   if (access.is_oop()) {
105     value_opr = iu_barrier(access.gen(), value_opr, access.access_emit_info(), access.decorators());
106   }
107 
108   // Because we want a 2-arg form of xchg and xadd
109   __ move(value_opr, result);
110 
111   assert(type == T_INT || is_reference_type(type) LP64_ONLY( || type == T_LONG ), "unexpected type");
112   __ xchg(access.resolved_addr(), result, result, LIR_OprFact::illegalOpr);
113 
114   if (access.is_oop()) {
115     result = load_reference_barrier(access.gen(), result, LIR_OprFact::addressConst(0), access.decorators());
116     LIR_Opr tmp = gen->new_register(type);
117     __ move(result, tmp);
118     result = tmp;
119     if (ShenandoahSATBBarrier) {
120       pre_barrier(access.gen(), access.access_emit_info(), access.decorators(), LIR_OprFact::illegalOpr,
121                   result /* pre_val */);
122     }



123   }
124 
125   return result;
126 }

  1 /*
  2  * Copyright (c) 2018, 2021, Red Hat, Inc. All rights reserved.
  3  * Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
  4  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  5  *
  6  * This code is free software; you can redistribute it and/or modify it
  7  * under the terms of the GNU General Public License version 2 only, as
  8  * published by the Free Software Foundation.
  9  *
 10  * This code is distributed in the hope that it will be useful, but WITHOUT
 11  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 12  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 13  * version 2 for more details (a copy is included in the LICENSE file that
 14  * accompanied this code).
 15  *
 16  * You should have received a copy of the GNU General Public License version
 17  * 2 along with this work; if not, write to the Free Software Foundation,
 18  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 19  *
 20  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 21  * or visit www.oracle.com if you need additional information or have any
 22  * questions.
 23  *

 71 #endif
 72 
 73 LIR_Opr ShenandoahBarrierSetC1::atomic_cmpxchg_at_resolved(LIRAccess& access, LIRItem& cmp_value, LIRItem& new_value) {
 74 
 75   if (access.is_oop()) {
 76     LIRGenerator* gen = access.gen();
 77     if (ShenandoahSATBBarrier) {
 78       pre_barrier(gen, access.access_emit_info(), access.decorators(), access.resolved_addr(),
 79                   LIR_OprFact::illegalOpr /* pre_val */);
 80     }
 81     if (ShenandoahCASBarrier) {
 82       cmp_value.load_item_force(FrameMap::rax_oop_opr);
 83       new_value.load_item();
 84 
 85       LIR_Opr t1 = gen->new_register(T_OBJECT);
 86       LIR_Opr t2 = gen->new_register(T_OBJECT);
 87       LIR_Opr addr = access.resolved_addr()->as_address_ptr()->base();
 88       LIR_Opr result = gen->new_register(T_INT);
 89 
 90       __ append(new LIR_OpShenandoahCompareAndSwap(addr, cmp_value.result(), new_value.result(), t1, t2, result));
 91 
 92       if (ShenandoahCardBarrier) {
 93         post_barrier(access, access.resolved_addr(), new_value.result());
 94       }
 95       return result;
 96     }
 97   }
 98 
 99   LIR_Opr result = BarrierSetC1::atomic_cmpxchg_at_resolved(access, cmp_value, new_value);
100 
101   if (ShenandoahCardBarrier && access.is_oop()) {
102     post_barrier(access, access.resolved_addr(), new_value.result());
103   }
104 
105   return result;
106 }
107 
108 LIR_Opr ShenandoahBarrierSetC1::atomic_xchg_at_resolved(LIRAccess& access, LIRItem& value) {
109   LIRGenerator* gen = access.gen();
110   BasicType type = access.type();
111 
112   LIR_Opr result = gen->new_register(type);
113   value.load_item();
114   LIR_Opr value_opr = value.result();
115 
116   if (access.is_oop()) {
117     value_opr = iu_barrier(access.gen(), value_opr, access.access_emit_info(), access.decorators());
118   }
119 
120   // Because we want a 2-arg form of xchg and xadd
121   __ move(value_opr, result);
122 
123   assert(type == T_INT || is_reference_type(type) LP64_ONLY( || type == T_LONG ), "unexpected type");
124   __ xchg(access.resolved_addr(), result, result, LIR_OprFact::illegalOpr);
125 
126   if (access.is_oop()) {
127     result = load_reference_barrier(access.gen(), result, LIR_OprFact::addressConst(0), access.decorators());
128     LIR_Opr tmp = gen->new_register(type);
129     __ move(result, tmp);
130     result = tmp;
131     if (ShenandoahSATBBarrier) {
132       pre_barrier(access.gen(), access.access_emit_info(), access.decorators(), LIR_OprFact::illegalOpr,
133                   result /* pre_val */);
134     }
135     if (ShenandoahCardBarrier) {
136       post_barrier(access, access.resolved_addr(), result);
137     }
138   }
139 
140   return result;
141 }
< prev index next >